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/libraries/kde-frameworks/kconfig.nix | |
parent | 2afb096e83f74d32ee68369bf325a8725653d651 (diff) | |
download | nixpkgs-9d4b711908a6f53669dc42a762c78c686c5390ed.tar nixpkgs-9d4b711908a6f53669dc42a762c78c686c5390ed.tar.gz nixpkgs-9d4b711908a6f53669dc42a762c78c686c5390ed.tar.bz2 nixpkgs-9d4b711908a6f53669dc42a762c78c686c5390ed.tar.lz nixpkgs-9d4b711908a6f53669dc42a762c78c686c5390ed.tar.xz nixpkgs-9d4b711908a6f53669dc42a762c78c686c5390ed.tar.zst nixpkgs-9d4b711908a6f53669dc42a762c78c686c5390ed.zip |
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/libraries/kde-frameworks/kconfig.nix')
0 files changed, 0 insertions, 0 deletions