pyrox.dev
fork
Configure Feed
Select the types of activity you want to include in your feed.
lol
fork
Configure Feed
Select the types of activity you want to include in your feed.
1{ lib, mkCoqDerivation, coq, stdpp, version ? null }:
2
3mkCoqDerivation rec {
4 pname = "iris";
5 domain = "gitlab.mpi-sws.org";
6 owner = "iris";
7 inherit version;
8 defaultVersion = with lib.versions; lib.switch coq.coq-version [
9 { case = range "8.18" "8.19"; out = "4.2.0"; }
10 { case = range "8.16" "8.18"; out = "4.1.0"; }
11 { case = range "8.13" "8.17"; out = "4.0.0"; }
12 { case = range "8.12" "8.14"; out = "3.5.0"; }
13 { case = range "8.11" "8.13"; out = "3.4.0"; }
14 { case = range "8.9" "8.10"; out = "3.3.0"; }
15 ] null;
16 release."4.2.0".sha256 = "sha256-HuiHIe+5letgr1NN1biZZFq0qlWUbFmoVI7Q91+UIfM=";
17 release."4.1.0".sha256 = "sha256-nTZUeZOXiH7HsfGbMKDE7vGrNVCkbMaWxdMWUcTUNlo=";
18 release."4.0.0".sha256 = "sha256-Jc9TmgGvkiDaz9IOoExyeryU1E+Q37GN24NIM397/Gg=";
19 release."3.6.0".sha256 = "sha256:02vbq597fjxd5znzxdb54wfp36412wz2d4yash4q8yddgl1kakmj";
20 release."3.5.0".sha256 = "0hh14m0anfcv65rxm982ps2vp95vk9fwrpv4br8bxd9vz0091d70";
21 release."3.4.0".sha256 = "0vdc2mdqn5jjd6yz028c0c6blzrvpl0c7apx6xas7ll60136slrb";
22 release."3.3.0".sha256 = "0az4gkp5m8sq0p73dlh0r7ckkzhk7zkg5bndw01bdsy5ywj0vilp";
23 releaseRev = v: "iris-${v}";
24
25 propagatedBuildInputs = [ stdpp ];
26
27 preBuild = ''
28 if [[ -f coq-lint.sh ]]
29 then patchShebangs coq-lint.sh
30 fi
31 '';
32
33 meta = with lib; {
34 description = "The Coq development of the Iris Project";
35 license = licenses.bsd3;
36 maintainers = [ maintainers.vbgl maintainers.ineol ];
37 };
38}