2 files changed, 3 insertions, 3 deletions

diff --git a/dune-project b/dune-project
index 32c81cd..c74d7ef 100644
--- a/dune-project
+++ b/dune-project
@@ -9,7 +9,7 @@
 
 (authors "Rutger Broekhoff" "Robbert Krebbers")
 
-(license LICENSE)
+(license COPYING)
 
 (package
  (name mininix)
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"]
-license: "LICENSE"
+authors: ["Rutger Broekhoff" "Robbert Krebbers"]
+license: "COPYING"
 depends: [
   "dune" {>= "3.15"}
   "ocaml" {< "5"}