BoomMicrophone/nixpkgs-suyu
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

coqPackages.Verdi: 20190202 → 20200131

Browse source
This commit is contained in:
Vincent Laporte 2020-05-26 17:39:02 +02:00 committed by Vincent Laporte
parent 6f9d12460b
commit f0d985cf9c
1 changed files with 4 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
pkgs/development/coq-modules/Verdi/default.nix
View file

@ -3,9 +3,9 @@
let param = let param =
if stdenv.lib.versionAtLeast coq.coq-version "8.7" then if stdenv.lib.versionAtLeast coq.coq-version "8.7" then
{ {
version = "20190202"; version = "20200131";
rev = "bc193be9ea8485add7646a0f72e2aa76a9c7e01f"; rev = "fdb4ede19d2150c254f0ebcfbed4fb9547a734b0";
sha256 = "1adkwxnmc9qfah2bya0hpd2vzkmk1y212z4n7fcmvr1a85ykgd7z"; sha256 = "1a2k19f9q5k5djbxplqmmpwck49kw3lrm3aax920h4yb40czkd8m";
} else { } else {
version = "20181102"; version = "20181102";
rev = "25b79cf1be5527ab8dc1b8314fcee93e76a2e564"; rev = "25b79cf1be5527ab8dc1b8314fcee93e76a2e564";
@ -32,6 +32,6 @@ stdenv.mkDerivation {
installFlags = [ "COQLIB=$(out)/lib/coq/${coq.coq-version}/" ]; installFlags = [ "COQLIB=$(out)/lib/coq/${coq.coq-version}/" ];
passthru = { passthru = {
compatibleCoqVersions = v: builtins.elem v [ "8.6" "8.7" "8.8" "8.9" ]; compatibleCoqVersions = v: builtins.elem v [ "8.6" "8.7" "8.8" "8.9" "8.10" "8.11" ];
}; };
} }