diff --git a/packages/hegel/hegel.0.17.2/opam b/packages/hegel/hegel.0.17.2/opam
new file mode 100644
index 00000000000..9328af2985e
--- /dev/null
+++ b/packages/hegel/hegel.0.17.2/opam
@@ -0,0 +1,52 @@
+# This file is generated by dune, edit dune-project instead
+opam-version: "2.0"
+synopsis: "Hegel property-based testing library for OCaml"
+description:
+  "A property-based testing library that communicates with the Hegel engine to enable universal property-based testing from OCaml."
+maintainer: ["Ethan Chou <ethan.chou@antithesis.com>"]
+authors: ["Hegel Developers <https://github.com/hegeldev>"]
+license: "MIT"
+homepage: "https://github.com/hegeldev/hegel-ocaml"
+bug-reports: "https://github.com/hegeldev/hegel-ocaml/issues"
+depends: [
+  "dune" {>= "3.16"}
+  "ocaml" {>= "5.1"}
+  "sexplib0" {>= "v0.17"}
+  "ctypes" {>= "0.20"}
+  "ctypes-foreign" {>= "0.20"}
+  "ipaddr" {>= "5.0"}
+  "dune-site" {>= "3.16"}
+  "alcotest" {with-test & >= "1.7"}
+  "core_unix" {with-test & >= "v0.17"}
+  "ppx_expect" {with-test & >= "v0.17"}
+  "ocplib-endian" {>= "1.2"}
+  "ppx_js_style" {>= "v0.17"}
+  "bisect_ppx" {with-dev-setup & >= "2.8"}
+  "ocamlformat" {with-dev-setup & = "0.29.0"}
+  "yojson" {>= "1.7"}
+  "odoc" {with-doc}
+]
+depopts: [
+  "core" {>= "v0.17"}
+  "sexp_diff" {>= "v0.17"}
+]
+dev-repo: "git+https://github.com/hegeldev/hegel-ocaml.git"
+available: arch != "riscv64"
+build: [
+  ["dune" "subst"] {dev}
+  [
+    "dune" "build" "-p" name "-j" jobs "--promote-install-files=false"
+    "@install"
+    "@runtest" {with-test & !(os = "macos" & arch = "x86_64")}
+    "@doc" {with-doc}
+  ]
+  ["dune" "install" "-p" name "--create-install-files" name]
+]
+url {
+  src:
+    "https://github.com/hegeldev/hegel-ocaml/releases/download/v0.17.2/hegel-0.17.2-opam.tar.gz"
+  checksum: [
+    "md5=f8babcc38bfd27ab09e907ae9bbff3bc"
+    "sha512=ef6fe74237de67a22f8895cef4c97d87fbc556744afafb458d69c828cf7c7d10b46b5b7954a38e528aa955305278832d18f3698fd09f7456576ee58aaa890746"
+  ]
+}
diff --git a/packages/ppx_hegel_compat/ppx_hegel_compat.0.17.2/opam b/packages/ppx_hegel_compat/ppx_hegel_compat.0.17.2/opam
new file mode 100644
index 00000000000..34e2f940158
--- /dev/null
+++ b/packages/ppx_hegel_compat/ppx_hegel_compat.0.17.2/opam
@@ -0,0 +1,43 @@
+# This file is generated by dune, edit dune-project instead
+opam-version: "2.0"
+synopsis: "Internal ppxlib AST shim shared by Hegel's PPX packages"
+description:
+  "Abstracts over the differences between standard OCaml's ppxlib AST and OxCaml's ppxlib AST (labeled tuples, constructor modalities) so the Hegel PPX deriver and test rewriter can share a single implementation. Not intended for direct use."
+maintainer: ["Ethan Chou <ethan.chou@antithesis.com>"]
+authors: ["Hegel Developers <https://github.com/hegeldev>"]
+license: "MIT"
+homepage: "https://github.com/hegeldev/hegel-ocaml"
+bug-reports: "https://github.com/hegeldev/hegel-ocaml/issues"
+depends: [
+  "dune" {>= "3.16"}
+  "ppx_sexp_conv" {>= "v0.16"}
+  "ocaml" {>= "5.1"}
+  "ppxlib" {>= "0.28"}
+  "odoc" {with-doc}
+]
+build: [
+  ["dune" "subst"] {dev}
+  [
+    "dune"
+    "build"
+    "-p"
+    name
+    "-j"
+    jobs
+    "--promote-install-files=false"
+    "@install"
+    "@runtest" {with-test}
+    "@doc" {with-doc}
+  ]
+  ["dune" "install" "-p" name "--create-install-files" name]
+]
+dev-repo: "git+https://github.com/hegeldev/hegel-ocaml.git"
+available: [ os != "win32" ]
+url {
+  src:
+    "https://github.com/hegeldev/hegel-ocaml/releases/download/v0.17.2/hegel-0.17.2-opam.tar.gz"
+  checksum: [
+    "md5=f8babcc38bfd27ab09e907ae9bbff3bc"
+    "sha512=ef6fe74237de67a22f8895cef4c97d87fbc556744afafb458d69c828cf7c7d10b46b5b7954a38e528aa955305278832d18f3698fd09f7456576ee58aaa890746"
+  ]
+}
diff --git a/packages/ppx_hegel_generator/ppx_hegel_generator.0.17.2/opam b/packages/ppx_hegel_generator/ppx_hegel_generator.0.17.2/opam
new file mode 100644
index 00000000000..d25c9daed8c
--- /dev/null
+++ b/packages/ppx_hegel_generator/ppx_hegel_generator.0.17.2/opam
@@ -0,0 +1,43 @@
+# This file is generated by dune, edit dune-project instead
+opam-version: "2.0"
+synopsis: "PPX deriver for Hegel generator derivation"
+description:
+  "Automatically derives Hegel generators for OCaml types annotated with [@@deriving hegel_generator]."
+maintainer: ["Ethan Chou <ethan.chou@antithesis.com>"]
+authors: ["Hegel Developers <https://github.com/hegeldev>"]
+license: "MIT"
+homepage: "https://github.com/hegeldev/hegel-ocaml"
+bug-reports: "https://github.com/hegeldev/hegel-ocaml/issues"
+depends: [
+  "dune" {>= "3.16"}
+  "ocaml" {>= "5.1"}
+  "ppxlib" {>= "0.28"}
+  "ppx_js_style" {>= "v0.17"}
+  "ppx_hegel_compat" {= version}
+  "hegel" {= version}
+  "ppx_hegel_test" {with-test & = version}
+  "alcotest" {with-test & >= "1.7"}
+  "core" {with-test & >= "v0.17"}
+  "core_unix" {with-test & >= "v0.17"}
+  "odoc" {with-doc}
+]
+dev-repo: "git+https://github.com/hegeldev/hegel-ocaml.git"
+available: arch != "riscv64"
+build: [
+  ["dune" "subst"] {dev}
+  [
+    "dune" "build" "-p" name "-j" jobs "--promote-install-files=false"
+    "@install"
+    "@runtest" {with-test & !(os = "macos" & arch = "x86_64")}
+    "@doc" {with-doc}
+  ]
+  ["dune" "install" "-p" name "--create-install-files" name]
+]
+url {
+  src:
+    "https://github.com/hegeldev/hegel-ocaml/releases/download/v0.17.2/hegel-0.17.2-opam.tar.gz"
+  checksum: [
+    "md5=f8babcc38bfd27ab09e907ae9bbff3bc"
+    "sha512=ef6fe74237de67a22f8895cef4c97d87fbc556744afafb458d69c828cf7c7d10b46b5b7954a38e528aa955305278832d18f3698fd09f7456576ee58aaa890746"
+  ]
+}
diff --git a/packages/ppx_hegel_test/ppx_hegel_test.0.17.2/opam b/packages/ppx_hegel_test/ppx_hegel_test.0.17.2/opam
new file mode 100644
index 00000000000..e9728150493
--- /dev/null
+++ b/packages/ppx_hegel_test/ppx_hegel_test.0.17.2/opam
@@ -0,0 +1,42 @@
+# This file is generated by dune, edit dune-project instead
+opam-version: "2.0"
+synopsis: "PPX expander for Hegel test definitions with Antithesis support"
+description: "Provides the [let%hegel_test] extension."
+maintainer: ["Ethan Chou <ethan.chou@antithesis.com>"]
+authors: ["Hegel Developers <https://github.com/hegeldev>"]
+license: "MIT"
+homepage: "https://github.com/hegeldev/hegel-ocaml"
+bug-reports: "https://github.com/hegeldev/hegel-ocaml/issues"
+depends: [
+  "dune" {>= "3.16"}
+  "ocaml" {>= "5.1"}
+  "ppxlib" {>= "0.28"}
+  "ppx_js_style" {>= "v0.17"}
+  "ppx_hegel_compat" {= version}
+  "hegel" {= version}
+  "alcotest" {with-test & >= "1.7"}
+  "core" {with-test & >= "v0.17"}
+  "core_unix" {with-test & >= "v0.17"}
+  "yojson" {with-test & >= "1.7"}
+  "odoc" {with-doc}
+]
+dev-repo: "git+https://github.com/hegeldev/hegel-ocaml.git"
+available: arch != "riscv64"
+build: [
+  ["dune" "subst"] {dev}
+  [
+    "dune" "build" "-p" name "-j" jobs "--promote-install-files=false"
+    "@install"
+    "@runtest" {with-test & !(os = "macos" & arch = "x86_64")}
+    "@doc" {with-doc}
+  ]
+  ["dune" "install" "-p" name "--create-install-files" name]
+]
+url {
+  src:
+    "https://github.com/hegeldev/hegel-ocaml/releases/download/v0.17.2/hegel-0.17.2-opam.tar.gz"
+  checksum: [
+    "md5=f8babcc38bfd27ab09e907ae9bbff3bc"
+    "sha512=ef6fe74237de67a22f8895cef4c97d87fbc556744afafb458d69c828cf7c7d10b46b5b7954a38e528aa955305278832d18f3698fd09f7456576ee58aaa890746"
+  ]
+}