chore: depopt in opam

This commit is contained in:
Simon Cruanes 2025-04-09 09:27:46 -04:00
parent 7cde72d0e6
commit 7092217158
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4
2 changed files with 2 additions and 0 deletions

View file

@ -27,6 +27,7 @@
dune) dune)
(depopts (depopts
hmap hmap
unix
(mtime (mtime
(>= 2.0))) (>= 2.0)))
(tags (tags

View file

@ -16,6 +16,7 @@ depends: [
] ]
depopts: [ depopts: [
"hmap" "hmap"
"unix"
"mtime" {>= "2.0"} "mtime" {>= "2.0"}
] ]
build: [ build: [