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

coqPackages.metalib: clean & init at 8.15

Browse source
This commit is contained in:
Vincent Laporte 2022-04-20 06:43:27 +02:00 committed by Vincent Laporte
parent 2b85441bb0
commit 5e718d7071
1 changed files with 7 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
pkgs/development/coq-modules/metalib/default.nix
View file

@ -4,9 +4,13 @@ with lib; mkCoqDerivation {
pname = "metalib";
owner = "plclub";
inherit version;
defaultVersion = if versions.range "8.10" "8.13" coq.coq-version then "20200527" else null;
release."20200527".rev = "597fd7d0c93eb159274e84a39d554f10f1efccf8";
release."20200527".sha256 = "0wbypc05d2lqfm9qaw98ynr5yc1p0ipsvyc3bh1rk9nz7zwirmjs";
defaultVersion = with versions; switch coq.coq-version [
{ case = range "8.14" "8.15"; out = "8.15"; }
{ case = range "8.10" "8.13"; out = "8.10"; }
] null;
releaseRev = v: "coq${v}";
release."8.15".sha256 = "0wbp058zwa4bkdjj38aysy2g1avf9nrh8q23a3dil0q00qczi616";
release."8.10".sha256 = "0wbypc05d2lqfm9qaw98ynr5yc1p0ipsvyc3bh1rk9nz7zwirmjs";
sourceRoot = "source/Metalib";
installFlags = "COQMF_COQLIB=$(out)/lib/coq/${coq.coq-version}";