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.locked | 131 ++++++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 131 insertions(+)
 create mode 100644 mininix.opam.locked

(limited to 'mininix.opam.locked')

diff --git a/mininix.opam.locked b/mininix.opam.locked
new file mode 100644
index 0000000..3cabd84
--- /dev/null
+++ b/mininix.opam.locked
@@ -0,0 +1,131 @@
+opam-version: "2.0"
+name: "mininix"
+version: "dev"
+authors: "Anonymous Authors"
+license: "LICENSE"
+depends: [
+  "astring" {= "0.8.5" & with-doc}
+  "base" {= "v0.16.3"}
+  "base-bigarray" {= "base"}
+  "base-threads" {= "base"}
+  "base-unix" {= "base"}
+  "base_bigstring" {= "v0.16.0"}
+  "base_quickcheck" {= "v0.16.0"}
+  "bin_prot" {= "v0.16.0"}
+  "bisect_ppx" {= "2.8.3"}
+  "camlp-streams" {= "5.0.1" & with-doc}
+  "cmdliner" {= "1.3.0"}
+  "conf-bash" {= "1"}
+  "conf-g++" {= "1.0"}
+  "conf-gmp" {= "4"}
+  "conf-linux-libc-dev" {= "0"}
+  "conf-pkg-config" {= "4"}
+  "coq" {= "8.20.1"}
+  "coq-core" {= "8.20.1"}
+  "coq-flocq" {= "4.2.0"}
+  "coq-stdlib" {= "8.20.1"}
+  "coq-stdpp" {= "1.11.0"}
+  "coqide-server" {= "8.20.1"}
+  "core" {= "v0.16.2"}
+  "core_kernel" {= "v0.16.0"}
+  "core_unix" {= "v0.16.0"}
+  "cppo" {= "1.8.0" & with-doc}
+  "crunch" {= "3.3.1" & with-doc}
+  "csexp" {= "1.5.2"}
+  "dune" {= "3.17.2"}
+  "dune-configurator" {= "3.17.2"}
+  "expect_test_helpers_core" {= "v0.16.0"}
+  "fieldslib" {= "v0.16.0"}
+  "fmt" {= "0.9.0" & with-doc}
+  "fpath" {= "0.7.3" & with-doc}
+  "int_repr" {= "v0.16.0"}
+  "jane-street-headers" {= "v0.16.0"}
+  "jst-config" {= "v0.16.0"}
+  "linenoise" {= "1.5.1"}
+  "menhir" {= "20240715"}
+  "menhirCST" {= "20240715"}
+  "menhirLib" {= "20240715"}
+  "menhirSdk" {= "20240715"}
+  "num" {= "1.5-1"}
+  "ocaml" {= "4.14.2"}
+  "ocaml-base-compiler" {= "4.14.2"}
+  "ocaml-compiler-libs" {= "v0.12.4"}
+  "ocaml-config" {= "2"}
+  "ocaml-options-vanilla" {= "1"}
+  "ocaml_intrinsics" {= "v0.16.1"}
+  "ocamlbuild" {= "0.15.0" & with-doc}
+  "ocamlfind" {= "1.9.6"}
+  "odoc" {= "2.4.4" & with-doc}
+  "odoc-parser" {= "2.4.4" & with-doc}
+  "parsexp" {= "v0.16.0"}
+  "pprint" {= "20230830"}
+  "ppx_assert" {= "v0.16.0"}
+  "ppx_base" {= "v0.16.0"}
+  "ppx_bench" {= "v0.16.0"}
+  "ppx_bin_prot" {= "v0.16.0"}
+  "ppx_blob" {= "0.9.0"}
+  "ppx_cold" {= "v0.16.0"}
+  "ppx_compare" {= "v0.16.0"}
+  "ppx_custom_printf" {= "v0.16.0"}
+  "ppx_derivers" {= "1.2.1"}
+  "ppx_disable_unused_warnings" {= "v0.16.0"}
+  "ppx_enumerate" {= "v0.16.0"}
+  "ppx_expect" {= "v0.16.1"}
+  "ppx_fields_conv" {= "v0.16.0"}
+  "ppx_fixed_literal" {= "v0.16.0"}
+  "ppx_globalize" {= "v0.16.0"}
+  "ppx_hash" {= "v0.16.0"}
+  "ppx_here" {= "v0.16.0"}
+  "ppx_ignore_instrumentation" {= "v0.16.0"}
+  "ppx_inline_test" {= "v0.16.1"}
+  "ppx_jane" {= "v0.16.0"}
+  "ppx_let" {= "v0.16.0"}
+  "ppx_log" {= "v0.16.0"}
+  "ppx_module_timer" {= "v0.16.0"}
+  "ppx_optcomp" {= "v0.16.0"}
+  "ppx_optional" {= "v0.16.0"}
+  "ppx_pipebang" {= "v0.16.0"}
+  "ppx_sexp_conv" {= "v0.16.0"}
+  "ppx_sexp_message" {= "v0.16.0"}
+  "ppx_sexp_value" {= "v0.16.0"}
+  "ppx_stable" {= "v0.16.0"}
+  "ppx_stable_witness" {= "v0.16.0"}
+  "ppx_string" {= "v0.16.0"}
+  "ppx_tydi" {= "v0.16.0"}
+  "ppx_typerep_conv" {= "v0.16.0"}
+  "ppx_variants_conv" {= "v0.16.0"}
+  "ppxlib" {= "0.34.0"}
+  "ptime" {= "1.2.0" & with-doc}
+  "re" {= "1.12.0"}
+  "result" {= "1.5" & with-doc}
+  "seq" {= "base"}
+  "sexp_pretty" {= "v0.16.0"}
+  "sexplib" {= "v0.16.0"}
+  "sexplib0" {= "v0.16.0"}
+  "spawn" {= "v0.17.0"}
+  "splittable_random" {= "v0.16.0"}
+  "stdio" {= "v0.16.0"}
+  "stdlib-shims" {= "0.3.0"}
+  "time_now" {= "v0.16.0"}
+  "timezone" {= "v0.16.0"}
+  "topkg" {= "1.0.7" & with-doc}
+  "typerep" {= "v0.16.0"}
+  "tyxml" {= "4.6.0" & with-doc}
+  "uutf" {= "1.0.3" & with-doc}
+  "variantslib" {= "v0.16.0"}
+  "zarith" {= "1.14"}
+]
+build: [
+  ["dune" "subst"] {dev}
+  [
+    "dune"
+    "build"
+    "-p"
+    name
+    "-j"
+    jobs
+    "@install"
+    "@runtest" {with-test}
+    "@doc" {with-doc}
+  ]
+]
\ No newline at end of file
-- 
cgit v1.2.3