Commit a9675c55 authored by François Bobot's avatar François Bobot
Browse files

[Add license field, and ocaml version low limit

parent 13be3cbe
......@@ -14,5 +14,8 @@
(homepage "https://git.frama-c.com/pub/farith")
(bug_reports "https://git.frama-c.com/pub/farith/issues")
(source (uri "git+https://git.frama-c.com/pub/farith.git"))
(depends zarith base ppx_deriving ppx_hash)
(depends zarith base ppx_deriving ppx_hash
(ocaml (>= 4.10))
)
(license "LGPL-2.1")
)
......@@ -5,6 +5,7 @@ synopsis:
"Floating point numbers library extracted from the Flocq Coq Library"
maintainer: ["François Bobot"]
authors: ["François Bobot" "Loïc Correnson" "Arthur Correnson"]
license: "LGPL-2.1"
homepage: "https://git.frama-c.com/pub/farith"
bug-reports: "https://git.frama-c.com/pub/farith/issues"
depends: [
......@@ -13,6 +14,7 @@ depends: [
"base"
"ppx_deriving"
"ppx_hash"
"ocaml" {>= "4.10"}
"odoc" {with-doc}
]
build: [
......
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