We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
deprecated
mehari-eio-unix
1 parent e3beeca commit 56788c6Copy full SHA for 56788c6
packages/mehari-eio-unix/mehari-eio-unix.0.1/opam
@@ -6,6 +6,7 @@ authors: ["The mehari programmers"]
6
license: "LGPL-3.0-or-later"
7
homepage: "https://github.com/Psi-Prod/Mehari"
8
bug-reports: "https://github.com/Psi-Prod/Mehari/issues"
9
+flags: deprecated
10
depends: [
11
"dune" {>= "2.9"}
12
"ocaml" {>= "5.0.0"}
0 commit comments