diff --git a/packages/coq-debr-lvl/coq-debr-lvl.1.0.2/opam b/packages/coq-debr-lvl/coq-debr-lvl.1.0.2/opam
new file mode 100644
index 00000000000..a26e28f9206
--- /dev/null
+++ b/packages/coq-debr-lvl/coq-debr-lvl.1.0.2/opam
@@ -0,0 +1,43 @@
+# This file is generated by dune, edit dune-project instead
+opam-version: "2.0"
+synopsis:
+  "Collection of interfaces and implementations for a modular using of De Bruijn level"
+description: """
+Formalization of a language often implies variables or equivalent. A specific representation of them is required in order 
+    to avoid capture issues. Consequently, we define here a collection of interfaces and implementations for using De Bruijn level.
+    In addition to the definition of a level and its minimal set of functions/properties, we propose a modular way to define a
+    'leveled' elements and provide numerous predefined data types and data structures such as option, pair, list, map, etc."""
+maintainer: ["Ischard Jordan"]
+authors: ["Ischard Jordan"]
+license: "GPL-3.0-or-later"
+homepage: "https://github.com/JordanIschard/DeBrLevel"
+bug-reports: "https://github.com/JordanIschard/DeBrLevel/issues"
+depends: [
+  "dune" {>= "3.12"}
+  "coq" {= "8.18.0"}
+  "coq-mmaps" {>= "1.1"}
+  "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/JordanIschard/DeBrLevel.git"
+url {
+  src:
+    "https://github.com/JordanIschard/DeBrLevel/archive/refs/tags/1.0.2.tar.gz"
+  checksum: [
+    "md5=6fdea649137736c0d45dad74b8f586d4"
+    "sha512=704d0f3965dca252b558dc96ca413733b7c7a4ea85484a7b76074d6a6a8781848c0c4fdf61464aa25b3c1a5adcd0f2a291261f324fbd9053aa352fdca05d48de"
+  ]
+}