From 61b3bb14828a0d08c30982a41da896d3b65d64b8 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Tue, 16 Feb 2021 15:58:17 +0000
Subject: Use dune_2 instead

---
 default.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'default.nix')

diff --git a/default.nix b/default.nix
index b004643..ae99da5 100644
--- a/default.nix
+++ b/default.nix
@@ -28,7 +28,7 @@ stdenv.mkDerivation {
   name = "vericert";
   src = ./.;
 
-  buildInputs = [ ncoq dune gcc
+  buildInputs = [ ncoq dune_2 gcc
                   ocaml ocamlPackages.findlib ocamlPackages.menhir
                   ocamlPackages.ocamlgraph
                 ];
-- 
cgit 


From 522d995c874baf06c8d3935b06b51d0182f59303 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Tue, 16 Feb 2021 18:02:45 +0000
Subject: Pin nixpkgs

---
 default.nix | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'default.nix')

diff --git a/default.nix b/default.nix
index ae99da5..8308389 100644
--- a/default.nix
+++ b/default.nix
@@ -1,5 +1,4 @@
-with import <nixpkgs> {};
-
+with import (fetchTarball "https://github.com/NixOS/nixpkgs/archive/269fc4ddb896c1c5994eb4bb8c750ec18cb3db82.tar.gz") {};
 let
   ncoq = coq_8_12;
   ncoqPackages = coqPackages_8_12;
-- 
cgit