pyrox.dev
1{
2 lib,
3 mkCoqDerivation,
4 coq,
5 version ? null,
6 iris,
7}:
8
9mkCoqDerivation {
10 pname = "iris-named-props";
11 owner = "tchajed";
12 inherit version;
13 defaultVersion =
14 with lib.versions;
15 lib.switch coq.version [
16 {
17 case = range "8.16" "8.19";
18 out = "2023-08-14";
19 }
20 ] null;
21 release."2023-08-14".sha256 = "sha256-gu9qOdHO0qJ2B9Y9Vf66q08iNJcfuECJO66fizFB08g=";
22 release."2023-08-14".rev = "ca1871dd33649f27257a0fbf94076acc80ecffbc";
23 propagatedBuildInputs = [ iris ];
24 meta = {
25 description = "Named props for Iris";
26 maintainers = with lib.maintainers; [ ineol ];
27 };
28}