coqPackages.ITree: 4.0.0 → 5.1.0
This commit is contained in:
parent
265f0cae75
commit
9d8a066fd4
|
@ -5,8 +5,10 @@ mkCoqDerivation rec {
|
||||||
owner = "DeepSpec";
|
owner = "DeepSpec";
|
||||||
inherit version;
|
inherit version;
|
||||||
defaultVersion = with lib.versions; lib.switch coq.version [
|
defaultVersion = with lib.versions; lib.switch coq.version [
|
||||||
|
{ case = range "8.13" "8.17"; out = "5.1.0"; }
|
||||||
{ case = range "8.10" "8.16"; out = "4.0.0"; }
|
{ case = range "8.10" "8.16"; out = "4.0.0"; }
|
||||||
] null;
|
] null;
|
||||||
|
release."5.1.0".sha256 = "sha256-ny7Mi1KgWADiFznkNJiRgD7Djc5SUclNgKOmWRxK+eo=";
|
||||||
release."4.0.0".sha256 = "0h5rhndl8syc24hxq1gch86kj7mpmgr89bxp2hmf28fd7028ijsm";
|
release."4.0.0".sha256 = "0h5rhndl8syc24hxq1gch86kj7mpmgr89bxp2hmf28fd7028ijsm";
|
||||||
releaseRev = v: "${v}";
|
releaseRev = v: "${v}";
|
||||||
propagatedBuildInputs = [ coq-ext-lib paco ];
|
propagatedBuildInputs = [ coq-ext-lib paco ];
|
||||||
|
|
Loading…
Reference in a new issue