opam changed

This commit is contained in:
Dmitry Boulytchev 2024-11-15 23:22:30 +03:00
parent c3cc26c0d3
commit b91ac1b610

View file

@ -8,7 +8,7 @@ license: "GPL-3.0-only"
homepage: "https://github.com/PLTools/Lama" homepage: "https://github.com/PLTools/Lama"
bug-reports: "https://github.com/PLTools/Lama/issues" bug-reports: "https://github.com/PLTools/Lama/issues"
depends: [ depends: [
"dune" {>= "3.3"} "dune" {>= "3.11"}
"posix-uname" "posix-uname"
"GT" "GT"
"ostap" {>= "0.6"} "ostap" {>= "0.6"}