From ba61dfd69504ec6263a9dee9931d93adeb6f3142 Mon Sep 17 00:00:00 2001
From: Rutger Broekhoff
Date: Mon, 7 Jul 2025 21:52:08 +0200
Subject: Initialize repository

---
 theories/dune | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 theories/dune

(limited to 'theories/dune')

diff --git a/theories/dune b/theories/dune
new file mode 100644
index 0000000..0034b5d
--- /dev/null
+++ b/theories/dune
@@ -0,0 +1,8 @@
+(include_subdirs qualified)
+
+(coq.theory
+ (name mininix)
+ ; This ensures that all files are checked when using the install alias.
+ ; (This does not happen otherwise when just compiling the front-end.)
+ (package mininix)
+ (theories Flocq stdpp))
-- 
cgit v1.2.3