Opam dependencies #1

Merged
reynir merged 3 commits from tyre-dep into master 2025-01-22 10:54:31 +00:00
Showing only changes of commit c3c6a8ecb9 - Show all commits

View file

@ -16,6 +16,7 @@ depends: [
"cmdliner" "cmdliner"
"httpcats" "httpcats"
"tyre" "tyre"
"mirage-crypto-rng-miou-unix"
] ]
conflicts: [ "result" {< "1.5"} ] conflicts: [ "result" {< "1.5"} ]
build: [ build: [