playing with dune

imdea-software · Sep 27, 2024 · 3dfe5dc · 3dfe5dc
1 parent be7aaa8
commit 3dfe5dc
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/dune-project b/dune-project
@@ -1,3 +1,3 @@
 (lang dune 3.6)
 (using coq 0.6)
-(name htt)
+(name coq-htt-core)
diff --git a/htt/dune b/htt/dune
@@ -2,7 +2,7 @@
 
 (coq.theory
  (name htt)
- (package coq-htt-core)
+ (package coq-htt)
  (synopsis "Hoare Type Theory")
  (flags :standard
  -w -notation-overridden