pyrox.dev / nixpkgs
lol
fork atom

coqPackages.goedel: enable for Coq 8.16

Vincent Laporte ac447c97 9ad12d1d

+1 -1
unified split
+1 -1
pkgs/development/coq-modules/goedel/default.nix
··· 12 13 inherit version; 14 defaultVersion = with versions; switch coq.coq-version [ 15 - { case = range "8.11" "8.15"; out = "8.13.0"; } 16 ] null; 17 18 propagatedBuildInputs = [ hydra-battles pocklington ];
··· 12 13 inherit version; 14 defaultVersion = with versions; switch coq.coq-version [ 15 + { case = range "8.11" "8.16"; out = "8.13.0"; } 16 ] null; 17 18 propagatedBuildInputs = [ hydra-battles pocklington ];