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

---
 mininix.opam | 39 +++++++++++++++++++++++++++++++++++++++
 1 file changed, 39 insertions(+)
 create mode 100644 mininix.opam

(limited to 'mininix.opam')

diff --git a/mininix.opam b/mininix.opam
new file mode 100644
index 0000000..f28f0cb
--- /dev/null
+++ b/mininix.opam
@@ -0,0 +1,39 @@
+# This file is generated by dune, edit dune-project instead
+opam-version: "2.0"
+authors: ["Anonymous Authors"]
+license: "LICENSE"
+depends: [
+  "dune" {>= "3.15"}
+  "ocaml" {< "5"}
+  "coq" {>= "8.20" & < "8.21"}
+  "coq-stdpp" {>= "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}
+  "odoc" {with-doc}
+]
+build: [
+  ["dune" "subst"] {dev}
+  [
+    "dune"
+    "build"
+    "-p"
+    name
+    "-j"
+    jobs
+    "@install"
+    "@runtest" {with-test}
+    "@doc" {with-doc}
+  ]
+]
-- 
cgit v1.2.3