From 8948b660e191022c49cf376669ec48cc77aa050c Mon Sep 17 00:00:00 2001 From: Gil Hur Date: Wed, 18 Dec 2024 01:16:06 +0900 Subject: [PATCH] coq-ordinal 0.5.4 compiles with Coq 8.20 --- .../coq-ordinal/coq-ordinal.0.5.4/opam | 29 +++++++++++++++++++ 1 file changed, 29 insertions(+) create mode 100644 released/packages/coq-ordinal/coq-ordinal.0.5.4/opam diff --git a/released/packages/coq-ordinal/coq-ordinal.0.5.4/opam b/released/packages/coq-ordinal/coq-ordinal.0.5.4/opam new file mode 100644 index 0000000000..37a71bd139 --- /dev/null +++ b/released/packages/coq-ordinal/coq-ordinal.0.5.4/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 " +] +license: "MIT" +build: [make "-j%{jobs}%"] +install: [make "-f" "Makefile.coq" "install"] +depends: [ + "coq" {>= "8.13" & < "8.21~"} +] +tags: [ + "date:2024-12-18" + + "category:Mathematics/Logic" + + "keyword:ordinal numbers" + "keyword:set theory" + + "logpath:Ordinal" +] +url { + http: "https://github.com/snu-sf/Ordinal/archive/refs/tags/v0.5.4.tar.gz" + checksum: "sha512=239b25d4f904f9fc119de3903d64c9246b740db5142e4bdc9c96cd616d9a4c7bf53504f00c716d255afedf54a8799018a0fc8466399987627d01acf77569641b" +}