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 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-authors: ["Anonymous Authors"]
+authors: ["Rutger Broekhoff" "Robbert Krebbers"]
-license: "LICENSE"
+license: "COPYING"
 depends: [
  "dune" {>= "3.15"}
  "ocaml" {< "5"}

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
2	opam-version: "2.0"	2	opam-version: "2.0"
3	authors: ["Anonymous Authors"]	3	authors: ["Rutger Broekhoff" "Robbert Krebbers"]
4	license: "LICENSE"	4	license: "COPYING"
5	depends: [	5	depends: [
6	"dune" {>= "3.15"}	6	"dune" {>= "3.15"}
7	"ocaml" {< "5"}	7	"ocaml" {< "5"}