pyrox.dev / nixpkgs
lol
fork atom

coqPackages_8_18.dpdgraph: init at 1.0+8.18

authored by Vincent Laporte and committed by Vincent Laporte a19ba12b f50c8859

+2
unified split
+2
pkgs/development/coq-modules/dpdgraph/default.nix
··· 8 repo = "coq-dpdgraph"; 9 inherit version; 10 defaultVersion = lib.switch coq.coq-version [ 11 { case = "8.17"; out = "1.0+8.17"; } 12 { case = "8.16"; out = "1.0+8.16"; } 13 { case = "8.15"; out = "1.0+8.15"; } ··· 23 { case = "8.5"; out = "0.6"; } 24 ] null; 25 26 release."1.0+8.17".sha256 = "sha256-gcvL3vseLKEF9xinT0579jXBBaA5E3rJ5KaU8RfKtm4="; 27 release."1.0+8.16".sha256 = "sha256-xy4xcVHaD1OHBdGUzUy3SeZnHtOf1+UIh6YjUYFINm0="; 28 release."1.0+8.15".sha256 = "sha256:1pxr0gakcz297y8hhrnssv5j07ccd58pv7rh7qv5g7855pfqrkg7";
··· 8 repo = "coq-dpdgraph"; 9 inherit version; 10 defaultVersion = lib.switch coq.coq-version [ 11 + { case = "8.18"; out = "1.0+8.18"; } 12 { case = "8.17"; out = "1.0+8.17"; } 13 { case = "8.16"; out = "1.0+8.16"; } 14 { case = "8.15"; out = "1.0+8.15"; } ··· 24 { case = "8.5"; out = "0.6"; } 25 ] null; 26 27 + release."1.0+8.18".sha256 = "sha256-z14MI1VSYzPqmF1PqDXzymXWRMYoTlQAfR/P3Pdf7fI="; 28 release."1.0+8.17".sha256 = "sha256-gcvL3vseLKEF9xinT0579jXBBaA5E3rJ5KaU8RfKtm4="; 29 release."1.0+8.16".sha256 = "sha256-xy4xcVHaD1OHBdGUzUy3SeZnHtOf1+UIh6YjUYFINm0="; 30 release."1.0+8.15".sha256 = "sha256:1pxr0gakcz297y8hhrnssv5j07ccd58pv7rh7qv5g7855pfqrkg7";