META.in 177 Bytes
Newer Older
1
description = "The Why3 Ocaml library"
François Bobot's avatar
François Bobot committed
2
version = "@VERSION@"
3 4
archive(byte) = "why3.cma"
archive(native) = "why3.cmxa"
François Bobot's avatar
François Bobot committed
5
requires = "str unix num @META_DYNLINK@ @META_OCAMLGRAPH@"