diff options
| author | Théo Zimmermann <theo.zimmermann@inria.fr> | 2021-08-17 15:59:06 +0200 |
|---|---|---|
| committer | Théo Zimmermann <theo.zimmermann@inria.fr> | 2021-08-17 15:59:06 +0200 |
| commit | 839354e312e604e0001d80d114df917788f711a4 (patch) | |
| tree | 74e373ed0ffbb49959f42968a508a65b7c202f27 /pkgs/development/python-modules/rangehttpserver | |
| parent | 26e1c41f93659fc9f12537e4c26112e09fcc9c48 (diff) | |
coqPackages.mathcomp: change default version for Coq 8.10+
Fix the build of mathcomp-analysis with Coq 8.12 (by selecting a version which is compatible with HB 1.1.0).
Diffstat (limited to 'pkgs/development/python-modules/rangehttpserver')
0 files changed, 0 insertions, 0 deletions