diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2017-08-23 08:24:20 +0000 |
|---|---|---|
| committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2017-08-23 08:25:49 +0000 |
| commit | 9d4b711908a6f53669dc42a762c78c686c5390ed (patch) | |
| tree | 4fe93a85492e4dbc68b167871d2973770b39be01 /pkgs/development/python-modules/httpserver | |
| parent | 2afb096e83f74d32ee68369bf325a8725653d651 (diff) | |
Revert "coq: default version is the one of coqPackages"
This reverts commit 5f04a61d4fe8fac31dfb4b1d58f599a1067017c6.
That way, the Coq that is used to build other coq packages
can be overridden.
The top-level `coq` attribute is `coqPackages.coq` thus both
“un-versioned” attributes are consistent.
Diffstat (limited to 'pkgs/development/python-modules/httpserver')
0 files changed, 0 insertions, 0 deletions