From a089b873a517e30747b1518e82fa241feeb943b5 Mon Sep 17 00:00:00 2001
From: Rutger Broekhoff
Date: Tue, 8 Jul 2025 21:00:58 +0200
Subject: Update dune-project, opam file

---
 dune-project | 2 +-
 mininix.opam | 4 ++--
 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"}
-- 
cgit v1.2.3