Put farith.opam at top level so that it is found by opam pin

Makefile

@@ -19,7 +19,7 @@
 ##########################################################################
 
 all:
-	dune build --root=$$(pwd) @install colibri2.opam colibrics.opam
+	dune build --root=$$(pwd) @install colibri2.opam colibrics.opam farith.opam
 
 test:
 	dune runtest --root=$$(pwd)

dune-project

@@ -53,3 +53,12 @@
            ("ocaml" (>= "4.08"))
          )
 )
+
+(package (name farith)
+         (authors "François Bobot" "Loïc Correnson")
+         (maintainers "François Bobot")
+         (license LGPL-3.0-only)
+         (synopsis "A Library for IEEE floating points number with fixed arbitary exponent and mantissa size")
+         (description "Obtained from extraction of the Flocq library proved in Coq")
+         (depends "zarith")
+)

farith.opam

+# This file is generated by dune, edit dune-project instead
+opam-version: "2.0"
+synopsis:
+  "A Library for IEEE floating points number with fixed arbitary exponent and mantissa size"
+description: "Obtained from extraction of the Flocq library proved in Coq"
+maintainer: ["François Bobot"]
+authors: ["François Bobot" "Loïc Correnson"]
+license: "LGPL-3.0-only"
+homepage: "https://git.frama-c.com/bobot/colibrics"
+bug-reports: "https://git.frama-c.com/bobot/colibrics/issues"
+depends: [
+  "dune" {>= "2.8"}
+  "zarith"
+  "odoc" {with-doc}
+]
+build: [
+  ["dune" "subst"] {dev}
+  [
+    "dune"
+    "build"
+    "-p"
+    name
+    "-j"
+    jobs
+    "@install"
+    "@runtest" {with-test}
+    "@doc" {with-doc}
+  ]
+]
+dev-repo: "git+https://git.frama-c.com/bobot/colibrics.git"

farith/dune-project

-(lang dune 1.0)