2025-11-05 19:51:17 +01:00 · 2025-11-05 19:51:17 +01:00 · 9b6e29bb4f
commit 9b6e29bb4f
parent 5970e01626
6 changed files with 87 additions and 500 deletions
--- a/src/dune
+++ b/src/dune
@ -1,4 +1,4 @@
 (library
 (name mte)
 (wrapped false)
- (libraries logs))
+ (libraries logs h1 h2))