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

coqPackages.Verdi: 20181102 -> 20190202

Browse source
This commit is contained in:
Vincent Laporte 2019-04-18 10:38:28 +00:00 committed by Vincent Laporte
parent 1011fae581
commit e3a03659e5
1 changed files with 5 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -1,7 +1,12 @@
{ stdenv, fetchFromGitHub, coq, Cheerios, InfSeqExt, ssreflect }:
let param =
if stdenv.lib.versionAtLeast coq.coq-version "8.7" then
{
version = "20190202";
rev = "bc193be9ea8485add7646a0f72e2aa76a9c7e01f";
sha256 = "1adkwxnmc9qfah2bya0hpd2vzkmk1y212z4n7fcmvr1a85ykgd7z";
} else {
version = "20181102";
rev = "25b79cf1be5527ab8dc1b8314fcee93e76a2e564";
sha256 = "1vw47c37k5vaa8vbr6ryqy8riagngwcrfmb3rai37yi9xhdqg55z";