public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

coqPackages_8_4.heq: remove

Browse Source
This commit is contained in:
Vincent Laporte
2017-12-02 08:47:12 +00:00
parent 5bd0a09351
commit 1ba141bf18
1 changed files with 0 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
pkgs/top-level/all-packages.nix
View File

@@ -18806,7 +18806,6 @@ with pkgs;
in
recurseIntoAttrs contribs;
heq = callPackage ../development/coq-modules/heq {};
interval = callPackage ../development/coq-modules/interval {};
mathcomp = callPackage ../development/coq-modules/mathcomp {};
paco = callPackage ../development/coq-modules/paco {};