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 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dune-project')

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)
-- 
cgit v1.2.3