diff --git a/packages/antic/antic.0.4.1/opam b/packages/antic/antic.0.4.1/opam
new file mode 100644
index 000000000000..ec8ff3d6d2b7
--- /dev/null
+++ b/packages/antic/antic.0.4.1/opam
@@ -0,0 +1,36 @@
+opam-version: "2.0"
+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"}
+  "flint" {= version}
+  "odoc" {with-doc}
+]
+build: [
+  ["dune" "subst"] {dev}
+  [
+    "dune"
+    "build"
+    "-p"
+    name
+    "-j"
+    jobs
+    "@install"
+    "@runtest" {with-test}
+    "@doc" {with-doc}
+  ]
+]
+dev-repo: "git+https://github.com/bobot/ocaml-flint.git"
+url {
+  src:
+    "https://github.com/bobot/ocaml-flint/releases/download/0.4.1/flint-0.4.1.tbz"
+  checksum: [
+    "sha256=8a068962f87da2d13260acbb641aa5e74eb83d11c681d2acd9983c86bf3ff8a6"
+    "sha512=cc810c96d278221fa615bf83b722a235a3c06d8dcb431009540c06a64debf4e02fd7b24b51815b6c9b751d7b3ac74fe67442f7e85d48d1f5e0b762aeba95140d"
+  ]
+}
+x-commit-hash: "e3678bc1c36015bed9350feab4a22e9938e132a5"
diff --git a/packages/arb/arb.0.4.1/opam b/packages/arb/arb.0.4.1/opam
new file mode 100644
index 000000000000..ec8ff3d6d2b7
--- /dev/null
+++ b/packages/arb/arb.0.4.1/opam
@@ -0,0 +1,36 @@
+opam-version: "2.0"
+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"}
+  "flint" {= version}
+  "odoc" {with-doc}
+]
+build: [
+  ["dune" "subst"] {dev}
+  [
+    "dune"
+    "build"
+    "-p"
+    name
+    "-j"
+    jobs
+    "@install"
+    "@runtest" {with-test}
+    "@doc" {with-doc}
+  ]
+]
+dev-repo: "git+https://github.com/bobot/ocaml-flint.git"
+url {
+  src:
+    "https://github.com/bobot/ocaml-flint/releases/download/0.4.1/flint-0.4.1.tbz"
+  checksum: [
+    "sha256=8a068962f87da2d13260acbb641aa5e74eb83d11c681d2acd9983c86bf3ff8a6"
+    "sha512=cc810c96d278221fa615bf83b722a235a3c06d8dcb431009540c06a64debf4e02fd7b24b51815b6c9b751d7b3ac74fe67442f7e85d48d1f5e0b762aeba95140d"
+  ]
+}
+x-commit-hash: "e3678bc1c36015bed9350feab4a22e9938e132a5"
diff --git a/packages/calcium/calcium.0.4.1/opam b/packages/calcium/calcium.0.4.1/opam
new file mode 100644
index 000000000000..d3f656ab8ca2
--- /dev/null
+++ b/packages/calcium/calcium.0.4.1/opam
@@ -0,0 +1,38 @@
+opam-version: "2.0"
+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"}
+  "flint" {= version}
+  "antic" {= version}
+  "arb" {= version}
+  "odoc" {with-doc}
+]
+build: [
+  ["dune" "subst"] {dev}
+  [
+    "dune"
+    "build"
+    "-p"
+    name
+    "-j"
+    jobs
+    "@install"
+    "@runtest" {with-test}
+    "@doc" {with-doc}
+  ]
+]
+dev-repo: "git+https://github.com/bobot/ocaml-flint.git"
+url {
+  src:
+    "https://github.com/bobot/ocaml-flint/releases/download/0.4.1/flint-0.4.1.tbz"
+  checksum: [
+    "sha256=8a068962f87da2d13260acbb641aa5e74eb83d11c681d2acd9983c86bf3ff8a6"
+    "sha512=cc810c96d278221fa615bf83b722a235a3c06d8dcb431009540c06a64debf4e02fd7b24b51815b6c9b751d7b3ac74fe67442f7e85d48d1f5e0b762aeba95140d"
+  ]
+}
+x-commit-hash: "e3678bc1c36015bed9350feab4a22e9938e132a5"
diff --git a/packages/conf-flint/conf-flint.3.0/opam b/packages/conf-flint/conf-flint.3.0/opam
index 5f6df5e908ef..321d2ea3257a 100644
--- a/packages/conf-flint/conf-flint.3.0/opam
+++ b/packages/conf-flint/conf-flint.3.0/opam
@@ -22,10 +22,9 @@ depexts: [
   ["libflint-dev"] {os-distribution = "ubuntu" }
   ["flint"] {os = "macos" & os-distribution = "homebrew"}
   ["flint"] {os-distribution = "macports" & os = "macos"}
-  ["flint" "flint-devel"] {os-distribution = "centos"}
   ["flint" "flint-devel"] {os-family = "fedora"}
   ["flint" "flint-devel"] {os-distribution = "ol"}
-  ["flint-dev"] {os-distribution = "alpine"}
+  ["flint-dev@testing"] {os-distribution = "alpine"}
   ["flint-devel"] {os-family = "opensuse"}
   ["libflint-devel"] {os = "win32" & os-distribution = "cygwinports"}
   ["flint"] {os-distribution = "nixos"}
diff --git a/packages/flint/flint.0.4.1/opam b/packages/flint/flint.0.4.1/opam
new file mode 100644
index 000000000000..d1c8d9e8f859
--- /dev/null
+++ b/packages/flint/flint.0.4.1/opam
@@ -0,0 +1,48 @@
+opam-version: "2.0"
+synopsis: "Stub of the C library Flint3"
+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-flint" {>= "3.0"}
+  "zarith" {>= "1.12"}
+  "ctypes" {>= "0.20.1"}
+  "conf-mpfr" {>= "3"}
+  "dune-site" {with-test}
+  "ocaml" {>= "4.10"}
+  "conf-pkg-config" {>= "2"}
+  "dune-configurator"
+  "odoc" {with-doc}
+]
+build: [
+  ["dune" "subst"] {dev}
+  [
+    "dune"
+    "build"
+    "-p"
+    name
+    "-j"
+    jobs
+    "@install"
+    "@runtest" {with-test}
+    "@doc" {with-doc}
+  ]
+]
+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 } ]
+x-maintenance-intent: ["(latest)"]
+url {
+  src:
+    "https://github.com/bobot/ocaml-flint/releases/download/0.4.1/flint-0.4.1.tbz"
+  checksum: [
+    "sha256=8a068962f87da2d13260acbb641aa5e74eb83d11c681d2acd9983c86bf3ff8a6"
+    "sha512=cc810c96d278221fa615bf83b722a235a3c06d8dcb431009540c06a64debf4e02fd7b24b51815b6c9b751d7b3ac74fe67442f7e85d48d1f5e0b762aeba95140d"
+  ]
+}
+x-commit-hash: "e3678bc1c36015bed9350feab4a22e9938e132a5"
\ No newline at end of file