diff --git a/packages/ppx_mica/ppx_mica.0.1.0/opam b/packages/ppx_mica/ppx_mica.0.1.0/opam
new file mode 100644
index 00000000000..c4a4e582131
--- /dev/null
+++ b/packages/ppx_mica/ppx_mica.0.1.0/opam
@@ -0,0 +1,45 @@
+# This file is generated by dune, edit dune-project instead
+opam-version: "2.0"
+synopsis: "PPX deriver that automates differential testing for OCaml modules"
+maintainer: ["Ernest Ng <ernest@cs.cornell.edu>"]
+authors: ["Ernest Ng <ernest@cs.cornell.edu>"]
+license: "ISC"
+homepage: "https://github.com/ngernest/mica"
+doc: "https://ngernest.github.io/mica"
+bug-reports: "https://github.com/ngernest/mica/issues"
+depends: [
+  "dune" {>= "3.7"}
+  "ocaml" {>= "4.13"}
+  "odoc" {with-doc}
+  "core" {>= "v0.15.1"}
+  "ppx_jane" {>= "v0.15.0"}
+  "ppx_assert" {>= "v0.15.0"}
+  "base" {>= "v0.15.1"}
+  "base_quickcheck" {>= "v0.15.0"}
+  "ppx_deriving" {>= "6.0.2"}
+  "ppxlib" {>= "0.33.0"}
+  "alcotest" {with-test & >= "1.8.0"}
+  "core_unix" {>= "v0.17.0"}
+]
+build: [
+  ["dune" "subst"] {dev}
+  [
+    "dune"
+    "build"
+    "-p"
+    name
+    "-j"
+    jobs
+    "@install"
+    "@runtest" {with-test}
+    "@doc" {with-doc}
+  ]
+]
+dev-repo: "git+https://github.com/ngernest/mica.git"
+url {
+  src: "https://github.com/ngernest/mica/archive/refs/tags/v0.1.0.tar.gz"
+  checksum: [
+    "md5=ffea7388bfc17c7d3a1c6186f1413de6"
+    "sha512=dd56c36663c90494fb033847bafaf6cc0d05c0342ab7f8a056ac8d540fb23963aa5d6f20c2f0f3b48d1039df47266d0162d50739ca0071ffa0086f99642382ca"
+  ]
+}