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(-)

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