pyrox.dev
coq: 8.7+beta1 -> 8.7+beta2
authored by Maxime Dénès and committed by vbgl d1e1ee7b 48a49fc1
+1
-1
pkgs/applications/science/logic/coq/default.nix
+1
-1
pkgs/applications/science/logic/coq/default.nix
···
19
19
"8.5pl3" = "15c3rdk59nifzihsp97z4vjxis5xmsnrvpb86qiazj143z2fmdgw";
20
20
"8.6" = "148mb48zpdax56c0blfi7v67lx014lnmrvxxasi28hsibyz2lvg4";
21
21
"8.6.1" = "0llrxcxwy5j87vbbjnisw42rfw1n1pm5602ssx64xaxx3k176g6l";
22
-
"8.7+beta1" = "006rn5896pf39p4z9c6d4xj4zm80j4b67v5gwcixd63msrjqkmxp";
22
+
"8.7+beta2" = "1r274m44z774xigvj43g211ms9z9bwgyp1g43rvq4fswb3gzxc4b";
23
23
}."${version}";
24
24
coq-version = builtins.substring 0 3 version;
25
25
camlp5 = ocamlPackages.camlp5_strict;
+1
-1
pkgs/top-level/all-packages.nix
+1
-1
pkgs/top-level/all-packages.nix
···
18480
18480
};
18481
18481
coq_8_6 = callPackage ../applications/science/logic/coq {};
18482
18482
coq_8_7 = callPackage ../applications/science/logic/coq {
18483
-
version = "8.7+beta1";
18483
+
version = "8.7+beta2";
18484
18484
};
18485
18485
coq_HEAD = callPackage ../applications/science/logic/coq/HEAD.nix {};
18486
18486