Commit fd00cd4d authored by Loïc Correnson's avatar Loïc Correnson
Browse files

Version 1.0

parent ffd4d6a5
opam-version: "2.0"
name: "farith"
synopsis: "Formally proven floating point library"
version: "0.1"
version: "1.0"
maintainer: "francois.bobot@cea.fr"
authors: [
"François Bobot"
......
Supports Markdown
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