diff options
| author | Ben Siraphob <bensiraphob@gmail.com> | 2021-08-17 10:56:28 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-08-17 10:56:28 -0500 |
| commit | fb560265412dd60e7af03278d83488780b153d4f (patch) | |
| tree | 5e1b9eff2735661407bf794821675e7c28699572 /pkgs/development/python-modules/rangehttpserver | |
| parent | cc4057321c7e3be7fbe3bd313220b362e2dbaf5c (diff) | |
| parent | 839354e312e604e0001d80d114df917788f711a4 (diff) | |
Merge pull request #134456 from Zimmi48/mathcomp-1.12
coqPackages.mathcomp: change default version for Coq 8.10+
Diffstat (limited to 'pkgs/development/python-modules/rangehttpserver')
0 files changed, 0 insertions, 0 deletions