From e2d7bba73f52285475da813433c703d7df7ae44a Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Thu, 27 Apr 2023 16:33:57 +0100
Subject: Update to Coq 8.17 and CompCert 3.12

---
 flake.nix | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'flake.nix')

diff --git a/flake.nix b/flake.nix
index e01bcd8..06f2cf9 100644
--- a/flake.nix
+++ b/flake.nix
@@ -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 {
-- 
cgit