diff --git a/packages/beluga/beluga.1.1.2/opam b/packages/beluga/beluga.1.1.2/opam
new file mode 100644
index 000000000000..6c1a02e1552e
--- /dev/null
+++ b/packages/beluga/beluga.1.1.2/opam
@@ -0,0 +1,56 @@
+opam-version: "2.0"
+synopsis:
+  "Implementation of contextual modal logic for reasoning with higher-order abstract syntax"
+maintainer: ["marc-antoine.ouimet@mail.mcgill.ca"]
+authors: [
+  "Brigitte Pientka"
+  "Joshua Dunfield"
+  "Andrew Cave"
+  "Jacob Thomas Errington"
+  "Junyoung Clare Jang"
+  "Marc-Antoine Ouimet"
+]
+license: "GPL-3.0-only"
+homepage: "http://complogic.cs.mcgill.ca/beluga/"
+bug-reports: "https://github.com/Beluga-lang/Beluga/issues"
+depends: [
+  "dune" {>= "3.7"}
+  "dune-build-info" {>= "3.7.0"}
+  "extlib" {>= "1.7.9"}
+  "gen" {>= "1.0"}
+  "linenoise" {>= "1.4.0"}
+  "ocaml" {>= "4.14"}
+  "sedlex" {>= "2.5"}
+  "omd" {>= "1.3.2"}
+  "uri" {>= "4.2.0"}
+  "ocamlformat" {= "0.25.1" & with-test}
+  "yojson" {>= "2.0.2" & with-test}
+  "ounit2" {>= "2.2.6" & with-test}
+  "bisect_ppx" {>= "2.8.1" & with-test}
+  "odoc" {>= "2.2.0" & 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/Beluga-lang/Beluga.git"
+run-test: [make "test"]
+url {
+  src:
+    "https://github.com/Beluga-lang/Beluga/releases/download/v1.1.2/beluga-1.1.2.tbz"
+  checksum: [
+    "sha256=b212cd25f28487591e7eb08207f31c45c1329cdd5f76544aca00904089ed8718"
+    "sha512=2e1e029912a6352733a44689a38cc9161a49c870990930e4432e48c2e376902b18bd5f21d64db936dfb0574fffb69ed17eecde2823f2295fc7bb7255b81638aa"
+  ]
+}
+x-commit-hash: "36e541d7a7e8a415795ce1587d26e05ffaf60041"