diff --git a/released/packages/coq-unimath/coq-unimath.20231010/opam b/released/packages/coq-unimath/coq-unimath.20231010/opam
new file mode 100644
index 0000000000..e921019019
--- /dev/null
+++ b/released/packages/coq-unimath/coq-unimath.20231010/opam
@@ -0,0 +1,18 @@
+opam-version: "2.0"
+maintainer: "The UniMath Development Team"
+homepage: "https://github.com/UniMath/UniMath"
+dev-repo: "git+https://github.com/UniMath/UniMath.git"
+bug-reports: "https://github.com/UniMath/UniMath/issues"
+license: "Similar to MIT license"
+authors: ["The UniMath Development Team"]
+build: [make "BUILD_COQ=no" "-j%{jobs}%"]
+install: [make "BUILD_COQ=no" "install"]
+depends: [
+  "ocaml"
+  "coq" {>= "8.16.1"}
+]
+synopsis: "Library of Univalent Mathematics"
+url {
+  src: "https://github.com/UniMath/UniMath/archive/refs/tags/v20231010.tar.gz"
+  checksum: "sha512=27729e1e6cba0df2e07d4789fd2cefcdba71e2374afb16bdaabee4132d1ab8721096602aa83e2aa599b994e1a744b969f0d5134677fbaecb3241c916d32353ac"
+}