Mise à jour terminée. Pour connaître les apports de la version 13.8.4 par rapport à notre ancienne version vous pouvez lire les "Release Notes" suivantes :

Commit bda9f907 authored by Andrei Paskevich's avatar Andrei Paskevich

fix META.in, thanks Johanness for the report

parent 2f4047b9
description = "The Why3 Ocaml library"
version = "@VERSION@"
archive(byte) = "why.cma"
archive(native) = "why.cmxa"
archive(byte) = "why3.cma"
archive(native) = "why3.cmxa"
requires = "str unix num @META_DYNLINK@ @META_OCAMLGRAPH@"
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment