META.in 151 Bytes
Newer Older
1 2 3 4
description = "Why3 library"
version = "@VERSION@"
archive(byte) = "why3.cma"
archive(native) = "why3.cmxa"
5
requires = "str unix num dynlink @ZIPLIB@"