Release 0.1

CHANGES

+## 0.1
+
+ - Initial Release

dune-project

@@ -6,9 +6,13 @@
 (name farith)
 
 (package
+ (version 0.1)
  (name farith)
- (synopsis "formaly verified floating-points valuations based on Flocq")
+ (synopsis "Floating point numbers library extracted from the Flocq Coq Library")
  (maintainers "François Bobot")
  (authors "François Bobot" "Loïc Correnson" "Arthur Correnson")
+ (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)
 )

extracted/Version.ml

@@ -2,8 +2,9 @@
 (** val coq_Flocq_version : Farith_Big.big_int **)
 
 let coq_Flocq_version =
-  (Farith_Big.double (Farith_Big.double (Farith_Big.double (Farith_Big.double
+  (Farith_Big.double (Farith_Big.double (Farith_Big.succ_double
     (Farith_Big.double (Farith_Big.double (Farith_Big.succ_double
-    (Farith_Big.double (Farith_Big.double (Farith_Big.double
-    (Farith_Big.succ_double (Farith_Big.succ_double (Farith_Big.succ_double
-    (Farith_Big.double (Farith_Big.double Farith_Big.one)))))))))))))))
+    (Farith_Big.double (Farith_Big.succ_double (Farith_Big.double
+    (Farith_Big.double (Farith_Big.succ_double (Farith_Big.succ_double
+    (Farith_Big.succ_double (Farith_Big.double (Farith_Big.double
+    Farith_Big.one)))))))))))))))

farith.opam

 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-synopsis: "formaly verified floating-points valuations based on Flocq"
+version: "0.1"
+synopsis:
+  "Floating point numbers library extracted from the Flocq Coq Library"
 maintainer: ["François Bobot"]
 authors: ["François Bobot" "Loïc Correnson" "Arthur Correnson"]
+homepage: "https://git.frama-c.com/pub/farith"
+bug-reports: "https://git.frama-c.com/pub/farith/issues"
 depends: [
   "dune" {>= "3.0"}
   "zarith"
@@ -25,3 +29,4 @@ build: [
     "@doc" {with-doc}
   ]
 ]
+dev-repo: "git+https://git.frama-c.com/pub/farith.git"