diff options
| author | Ben Siraphob <bensiraphob@gmail.com> | 2022-04-15 14:44:17 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-04-15 14:44:17 +0000 |
| commit | 7c188d8bae66239cc2f624a4bd5a0e3ce4a82a09 (patch) | |
| tree | 0ee53d0d2a31f7472d6b1bce1772abc9048f2d1d /pkgs/development/python-modules/rangehttpserver | |
| parent | 7b9e43199ed166f41ccaccbf42977f454b77d665 (diff) | |
| parent | a3e1e9271e0ff87309d44f9817baadb09b305757 (diff) | |
Merge pull request #162265 from siraben/smtcoq-init
coqPackages.trakt: init at 1.0, coqPackages.smtcoq: init at itp22
Diffstat (limited to 'pkgs/development/python-modules/rangehttpserver')
0 files changed, 0 insertions, 0 deletions