pyrox.dev / nixpkgs
lol
fork atom

coqPackages.paco: enable for Coq 8.16

authored by Vincent Laporte and committed by Vincent Laporte b8e366f1 3d80ca27

+1 -1
unified split
+1 -1
pkgs/development/coq-modules/paco/default.nix
··· 5 owner = "snu-sf"; 6 inherit version; 7 defaultVersion = with versions; switch coq.coq-version [ 8 - { case = range "8.12" "8.15"; out = "4.1.2"; } 9 { case = range "8.9" "8.13"; out = "4.1.1"; } 10 { case = range "8.6" "8.13"; out = "4.0.2"; } 11 { case = isEq "8.5"; out = "1.2.8"; }
··· 5 owner = "snu-sf"; 6 inherit version; 7 defaultVersion = with versions; switch coq.coq-version [ 8 + { case = range "8.12" "8.16"; out = "4.1.2"; } 9 { case = range "8.9" "8.13"; out = "4.1.1"; } 10 { case = range "8.6" "8.13"; out = "4.0.2"; } 11 { case = isEq "8.5"; out = "1.2.8"; }