pyrox.dev / nixpkgs
lol
fork atom

coqPackages.metalib: enable for Coq 8.16

authored by Vincent Laporte and committed by Vincent Laporte 577c9988 80fd9ab1

+1 -1
unified split
+1 -1
pkgs/development/coq-modules/metalib/default.nix
··· 5 owner = "plclub"; 6 inherit version; 7 defaultVersion = with versions; switch coq.coq-version [ 8 - { case = range "8.14" "8.15"; out = "8.15"; } 9 { case = range "8.10" "8.13"; out = "8.10"; } 10 ] null; 11 releaseRev = v: "coq${v}";
··· 5 owner = "plclub"; 6 inherit version; 7 defaultVersion = with versions; switch coq.coq-version [ 8 + { case = range "8.14" "8.16"; out = "8.15"; } 9 { case = range "8.10" "8.13"; out = "8.10"; } 10 ] null; 11 releaseRev = v: "coq${v}";