diff --git a/released/packages/coq-cheri-capabilities/coq-cheri-capabilities.1.1.0/opam b/released/packages/coq-cheri-capabilities/coq-cheri-capabilities.1.1.0/opam
new file mode 100644
index 000000000..e70ee103d
--- /dev/null
+++ b/released/packages/coq-cheri-capabilities/coq-cheri-capabilities.1.1.0/opam
@@ -0,0 +1,33 @@
+opam-version: "2.0"
+synopsis: "Coq interface for CHERI capabilities"
+description: "An abstract interface for CHERI capabilities and a concrete one for the Arm Morello architecture"
+maintainer: "Sail Devs <cl-sail-dev@lists.cam.ac.uk>"
+authors: ["Ricardo Almeida <ricardomoa00@gmail.com>" "Vadim Zaliva"]
+license: "BSD-3-clause"
+homepage: "https://github.com/rems-project/coq-cheri-capabilities"
+dev-repo: "git+https://github.com/rems-project/coq-cheri-capabilities.git"
+bug-reports: "https://github.com/rems-project/coq-cheri-capabilities/issues"
+version: "1.1.0"
+depends: [
+  "dune" {>= "3.7" & <= "3.16.0"}
+  "coq" {= "8.19.0"}
+  "coq-stdpp" { (= "dev") | (>= "dev.2022-12-05.0.0231fed2" & <= "dev.2024-03-11.0.a8c0c0f8") }
+  "coq-stdpp-unstable" { (= "dev") | (>= "dev.2022-12-05.0.0231fed2" & <= "dev.2024-03-11.0.a8c0c0f8") }
+  "coq-sail-stdpp" {= "0.17" }
+  "odoc" {with-doc}
+]
+build: [
+  [make "-j%{jobs}%"]
+]
+install: [
+  [make "install"]
+]
+tags: [
+  "logpath:CheriCaps"
+  "category:Computer Science/Semantics and Compilation/Semantics"
+]
+
+url {
+	src: "https://github.com/rems-project/coq-cheri-capabilities/archive/refs/tags/1.1.0.tar.gz"
+	checksum: "sha256=9a57bb7139a21761f72b890d5c8c5cd01bf67ec4f4e3a05eb186c36a8fd4ea4a"
+}