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

coqPackages_8_4.paco: remove

Browse Source
This commit is contained in:
Vincent Laporte 2017-12-02 08:50:21 +00:00
parent 5b7e3de309
commit 459860043a
No known key found for this signature in database
GPG Key ID: EBD582ADDDB1F81F
1 changed files with 0 additions and 1 deletions
Show Stats 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 in
recurseIntoAttrs contribs; recurseIntoAttrs contribs;
paco = callPackage ../development/coq-modules/paco {};
QuickChick = callPackage ../development/coq-modules/QuickChick {}; QuickChick = callPackage ../development/coq-modules/QuickChick {};
ssreflect = callPackage ../development/coq-modules/ssreflect {}; ssreflect = callPackage ../development/coq-modules/ssreflect {};
tlc = callPackage ../development/coq-modules/tlc {}; tlc = callPackage ../development/coq-modules/tlc {};