pyrox.dev / nixpkgs
lol
fork atom

coqPackages.coq-ext-lib: enable for Coq 8.16

authored by Vincent Laporte and committed by Vincent Laporte 3d80ca27 27c73661

+1 -1
unified split
+1 -1
pkgs/development/coq-modules/coq-ext-lib/default.nix
··· 5 owner = "coq-ext-lib"; 6 inherit version; 7 defaultVersion = with versions; switch coq.coq-version [ 8 - { case = range "8.8" "8.15"; out = "0.11.6"; } 9 { case = range "8.8" "8.14"; out = "0.11.4"; } 10 { case = range "8.8" "8.13"; out = "0.11.3"; } 11 { case = "8.7"; out = "0.9.7"; }
··· 5 owner = "coq-ext-lib"; 6 inherit version; 7 defaultVersion = with versions; switch coq.coq-version [ 8 + { case = range "8.8" "8.16"; out = "0.11.6"; } 9 { case = range "8.8" "8.14"; out = "0.11.4"; } 10 { case = range "8.8" "8.13"; out = "0.11.3"; } 11 { case = "8.7"; out = "0.9.7"; }