From c6127ab49eb444426c2f54868495cae9a475821e Mon Sep 17 00:00:00 2001
From: Jaehyung Lee <jaehyung.lee@sf.snu.ac.kr>
Date: Fri, 13 Oct 2023 13:06:03 +0900
Subject: [PATCH] coq-ordinal works on Coq 8.18

---
 .../coq-ordinal/coq-ordinal.0.5.3/opam        | 29 +++++++++++++++++++
 1 file changed, 29 insertions(+)
 create mode 100644 released/packages/coq-ordinal/coq-ordinal.0.5.3/opam

diff --git a/released/packages/coq-ordinal/coq-ordinal.0.5.3/opam b/released/packages/coq-ordinal/coq-ordinal.0.5.3/opam
new file mode 100644
index 000000000..913fb2814
--- /dev/null
+++ b/released/packages/coq-ordinal/coq-ordinal.0.5.3/opam
@@ -0,0 +1,29 @@
+opam-version: "2.0"
+maintainer: "jaehyung.lee@sf.snu.ac.kr"
+synopsis: "Ordinal Numbers in Coq"
+homepage: "https://github.com/snu-sf/Ordinal"
+dev-repo: "git+https://github.com/snu-sf/Ordinal"
+bug-reports: "https://github.com/snu-sf/Ordinal/issues"
+authors: [
+  "Minki Cho <minki.cho@sf.snu.ac.kr>"
+]
+license: "MIT"
+build: [make "-j%{jobs}%"]
+install: [make "-f" "Makefile.coq" "install"]
+depends: [
+  "coq" {>= "8.13" & < "8.19~"}
+]
+tags: [
+  "date:2023-10-13"
+
+  "category:Mathematics/Logic"
+
+  "keyword:ordinal numbers"
+  "keyword:set theory"
+
+  "logpath:Ordinal"
+]
+url {
+  http: "https://github.com/snu-sf/Ordinal/archive/refs/tags/v0.5.3.tar.gz"
+  checksum: "9749e0d32f351fa7b648abbd91f006d5"
+}