Merge pull request #8 from bobot/flint3

Bump to Flint3

Author: bobot

CHANGES

@@ -1,3 +1,9 @@
+  - As in the C library regroup all package into flint  
+  - Bump to flint version 3.0.0
+
+## Release 0.3.3 ##
+  - Fix library name for archlinux: arb instead of flint-arb
+
 ## Release 0.3.2 ##
   - Bump to dune 3.7 using ctypes stanza 0.3
 

antic.opam

@@ -1,20 +1,14 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-synopsis: "Stub of the C library Antic. Algebraic number"
+synopsis: "deprecated use flint"
 maintainer: ["François Bobot"]
 authors: ["François Bobot"]
 license: "LGPL-2.1-only"
 homepage: "https://github.com/bobot/ocaml-flint"
 bug-reports: "https://github.com/bobot/ocaml-flint/issues"
 depends: [
   "dune" {>= "3.7"}
-  "conf-antic"
   "flint" {= version}
-  "ctypes" {>= "0.20.1"}
-  "conf-mpfr" {>= "3"}
-  "ocaml" {>= "4.10"}
-  "conf-pkg-config" {>= "2"}
-  "dune-configurator"
   "odoc" {with-doc}
 ]
 build: [
@@ -32,7 +26,3 @@ build: [
   ]
 ]
 dev-repo: "git+https://github.com/bobot/ocaml-flint.git"
-conflicts: [ "ocaml-option-bytecode-only" ]
-messages: [ "Problem with the installation of the external
-             libraries can be fixed using version 0.3 which
-             compile them locally" { failure } ]

antic/dune

@@ -1,20 +1,14 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-synopsis: "Stub of the C library Arb. Ball approximation"
+synopsis: "deprecated use flint"
 maintainer: ["François Bobot"]
 authors: ["François Bobot"]
 license: "LGPL-2.1-only"
 homepage: "https://github.com/bobot/ocaml-flint"
 bug-reports: "https://github.com/bobot/ocaml-flint/issues"
 depends: [
   "dune" {>= "3.7"}
-  "conf-arb"
   "flint" {= version}
-  "ctypes" {>= "0.20.1"}
-  "conf-mpfr" {>= "3"}
-  "ocaml" {>= "4.10"}
-  "conf-pkg-config" {>= "2"}
-  "dune-configurator"
   "odoc" {with-doc}
 ]
 build: [
@@ -32,7 +26,3 @@ build: [
   ]
 ]
 dev-repo: "git+https://github.com/bobot/ocaml-flint.git"
-conflicts: [ "ocaml-option-bytecode-only" ]
-messages: [ "Problem with the installation of the external
-             libraries can be fixed using version 0.3 which
-             compile them locally" { failure } ]