diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2023-04-27 16:33:57 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2023-04-27 16:33:57 +0100 |
| commit | e2d7bba73f52285475da813433c703d7df7ae44a (patch) | |
| tree | 370ace815a967f1847103e4a26f7b94c81dc323d /flake.nix | |
| parent | 405e822a4e769969ef01a683d486accee0d71da2 (diff) | |
| download | vericert-e2d7bba73f52285475da813433c703d7df7ae44a.tar.gz vericert-e2d7bba73f52285475da813433c703d7df7ae44a.zip | |
Update to Coq 8.17 and CompCert 3.12
Diffstat (limited to 'flake.nix')
| -rw-r--r-- | flake.nix | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -6,13 +6,13 @@ outputs = { self, nixpkgs }: let vericertDevPackages = pkgs: let - ncoq = pkgs.coq_8_14; - ncoqPackages = pkgs.coqPackages_8_14; + ncoq = pkgs.coq_8_17; + ncoqPackages = pkgs.coqPackages_8_17; in pkgs.mkShell { buildInputs = with pkgs; [ ncoq ncoq.ocaml ncoqPackages.serapi dune_3 gcc python3 ] - ++ (with ncoq.ocamlPackages; [ findlib menhir menhirLib ocamlgraph ocp-indent utop ]) + ++ (with ncoq.ocamlPackages; [ findlib menhir menhirLib ocamlgraph ocp-indent utop merlin ]) ++ (with python3Packages; [ alectryon sphinx_rtd_theme ]); }; in { |