From ba61dfd69504ec6263a9dee9931d93adeb6f3142 Mon Sep 17 00:00:00 2001
From: Rutger Broekhoff
Date: Mon, 7 Jul 2025 21:52:08 +0200
Subject: Initialize repository

---
 dune-project | 22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)
 create mode 100644 dune-project

(limited to 'dune-project')

diff --git a/dune-project b/dune-project
new file mode 100644
index 0000000..32c81cd
--- /dev/null
+++ b/dune-project
@@ -0,0 +1,22 @@
+(lang dune 3.15)
+
+(name mininix)
+
+(generate_opam_files true)
+
+(using menhir 3.0)
+(using coq 0.8)
+
+(authors "Rutger Broekhoff" "Robbert Krebbers")
+
+(license LICENSE)
+
+(package
+ (name mininix)
+ (depends (ocaml (< 5))
+          (coq (and (>= 8.20) (< 8.21)))
+          (coq-stdpp (and (>= 1.11) (< 1.12)))
+          coq-flocq
+          core core_unix linenoise menhir pprint sexp_pretty stdio
+          ppx_sexp_conv ppx_blob ppx_let bisect_ppx
+          (merlin :dev) (ocamlformat :dev)))
-- 
cgit v1.2.3