diff --git a/opam/opam b/opam
similarity index 51%
rename from opam/opam
rename to opam
index 7149341ac2182b98218f59b2cec7e8b35ed30a39..82dd924aec4d54202b70e53c6e99fa993e99c2a1 100644
--- a/opam/opam
+++ b/opam
@@ -1,6 +1,7 @@
-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"
 ]
-
diff --git a/opam/descr b/opam/descr
deleted file mode 100644
index 68626ee231751ae60bcc5916bf4d4f3d2db4a72c..0000000000000000000000000000000000000000
--- a/opam/descr
+++ /dev/null
@@ -1,4 +0,0 @@
-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