diff --git a/packages/reanalyze/reanalyze.2.25.1/opam b/packages/reanalyze/reanalyze.2.25.1/opam
new file mode 100644
index 00000000000..32969be5ba2
--- /dev/null
+++ b/packages/reanalyze/reanalyze.2.25.1/opam
@@ -0,0 +1,38 @@
+opam-version: "2.0"
+synopsis: "Dead values/types, exception, and termination analysis for OCaml/ReScript"
+description: """
+Experimental analyses for ReScript/OCaml/Reason: for globally dead values/types, exception analysis, and termination analysis.
+"""
+maintainer: ["Cristiano Calcagno"]
+authors: ["Cristiano Calcagno"]
+license: "MIT"
+homepage: "https://github.com/rescript-association/reanalyze"
+bug-reports: "https://github.com/rescript-association/reanalyze/issues"
+depends: [
+  "dune" {>= "2.0"}
+  "ocaml" {>= "4.08.0" & < "5.3"}
+  "cppo" {build}
+]
+build: [
+  ["dune" "subst"] {dev}
+  [
+    "dune"
+    "build"
+    "-p"
+    name
+    "-j"
+    jobs
+    "@install"
+    "@runtest" {with-test}
+    "@doc" {with-doc}
+  ]
+]
+dev-repo: "git+https://github.com/rescript-association/reanalyze.git"
+url {
+  src:
+    "https://github.com/rescript-association/reanalyze/archive/refs/tags/v2.25.1.tar.gz"
+  checksum: [
+    "md5=6a7192955fbed06cd48db89872032db2"
+    "sha512=ae4d0459a088bdc88744bb8cbcab069a824eb43070d87f27c9039a939389cf76f010d63681f91c01b772a1060326cc5949f09f8378c933b948d994cb29ee542c"
+  ]
+}