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

coqPackages_8_4.QuickChick: remove

Browse Source
This commit is contained in:
Vincent Laporte 2017-12-02 08:51:02 +00:00
parent 459860043a
commit f307634f9d
No known key found for this signature in database
GPG Key ID: EBD582ADDDB1F81F
2 changed files with 0 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
pkgs/development/coq-modules/QuickChick/default.nix
View File

@ -2,12 +2,6 @@
let param = let param =
{ {
"8.4" = {
version = "20160529";
rev = "a9e89f1d4246a787bf1d8873072077a319635c3e";
sha256 = "14ng71p890q12xvsj00si2a3fjcbsap2gy0r8sxpw4zndnlq74wa";
};
"8.5" = { "8.5" = {
version = "20170512"; version = "20170512";
rev = "31eb050ae5ce57ab402db9726fb7cd945a0b4d03"; rev = "31eb050ae5ce57ab402db9726fb7cd945a0b4d03";

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

@ -18806,7 +18806,6 @@ with pkgs;
in in
recurseIntoAttrs contribs; recurseIntoAttrs contribs;
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 {};
unimath = callPackage ../development/coq-modules/unimath {}; unimath = callPackage ../development/coq-modules/unimath {};