diff options
| author | Théo Zimmermann <theo.zimmermann@inria.fr> | 2021-09-06 16:56:12 +0200 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2021-09-08 15:15:28 +0200 |
| commit | 7136060765c03921e438c2a4032cb25f40607a11 (patch) | |
| tree | ce24cb23fde1159816f987b88d03f0ccc630acdb /pkgs/development/python-modules/rangehttpserver | |
| parent | 087513bc11ed548a98587a7ac6b69472e3323231 (diff) | |
mkCoqDerivation: use COQMF_COQLIB for dev versions of Coq
Diffstat (limited to 'pkgs/development/python-modules/rangehttpserver')
0 files changed, 0 insertions, 0 deletions