Merge remote-tracking branch 'origin/master'

opam/opam → opam

-opam-version: "1.2.0"
+opam-version: "2.0"
 name: "farith"
-version: "0.1"
+synopsis: "Formally proven floating point library"
+version: "1.0"
 maintainer: "francois.bobot@cea.fr"
 authors: [
   "François Bobot"
@@ -9,29 +10,18 @@ authors: [
   "Guillaume Melquiond"
 ]
 license: "GNU Lesser General Public License version 2.1"
+homepage: "https://git.frama-c.com/soprano/farith"
+bug-reports: "https://git.frama-c.com/soprano/farith/issues"
 tags: [
   "floating point"
   "formally proved"
 ]
 
-build: [
-  [make]
-  [make "install"]
-]
-
-remove: [
-  [make "uninstall"]
-  ["rm" "-rf" "%{farith:doc}%"]
-]
-
-build-doc: [
-   [make "doc"]
-   ["rm" "-rf" "%{farith:doc}%"]
-   ["mv" "html" "%{farith:doc}%"]
-]
+build: [[make]]
+install: [[make "install"]]
+remove: [[make "uninstall"]]
 
 depends: [
   "ocamlfind"
   "zarith"
 ]
-

opam/descr

-Multi-precision floating-point computation library.
-
-This library is the OCaml extraction of the foramally proved Flocq Coq
-library.
\ No newline at end of file