aboutsummaryrefslogtreecommitdiffstats
path: root/mininix.opam
diff options
context:
space:
mode:
Diffstat (limited to 'mininix.opam')
-rw-r--r--mininix.opam4
1 files changed, 2 insertions, 2 deletions
diff --git a/mininix.opam b/mininix.opam
index f28f0cb..06a2cfe 100644
--- a/mininix.opam
+++ b/mininix.opam
@@ -1,7 +1,7 @@
1# This file is generated by dune, edit dune-project instead 1# This file is generated by dune, edit dune-project instead
2opam-version: "2.0" 2opam-version: "2.0"
3authors: ["Anonymous Authors"] 3authors: ["Rutger Broekhoff" "Robbert Krebbers"]
4license: "LICENSE" 4license: "COPYING"
5depends: [ 5depends: [
6 "dune" {>= "3.15"} 6 "dune" {>= "3.15"}
7 "ocaml" {< "5"} 7 "ocaml" {< "5"}