Unverified Commit e11ba0e7 authored by Vincent Laporte's avatar Vincent Laporte
Browse files

coq: default to version 8.17

parent 0697e32a

pkgs/top-level/all-packages.nix

+1 −1
Original line number Diff line number Diff line
@@ -14483,7 +14483,7 @@ with pkgs; 














  comby = callPackage ../development/tools/comby { };



























  inherit (coqPackages) compcert;













  inherit (coqPackages_8_16) compcert;





























  computecpp-unwrapped = callPackage ../development/compilers/computecpp { };















  computecpp = wrapCCWith rec {

























pkgs/top-level/coq-packages.nix



+1
−1






























Original line number
Diff line number
Diff line








@@ -183,7 +183,7 @@ in rec {













  coqPackages_8_15 = mkCoqPackages coq_8_15;















  coqPackages_8_16 = mkCoqPackages coq_8_16;















  coqPackages_8_17 = mkCoqPackages coq_8_17;













  coqPackages = recurseIntoAttrs coqPackages_8_16;













  coqPackages = recurseIntoAttrs coqPackages_8_17;















  coq = coqPackages.coq;































}