From b4ba77d3e49a677c2171fcc705e62dba045d7a4b Mon Sep 17 00:00:00 2001 From: Yannick Forster Date: Mon, 30 Sep 2024 11:24:38 +0200 Subject: [PATCH 1/2] add coq-library-undecidability.1.1.2+8.20 --- .../opam | 37 +++++++++++++++++++ 1 file changed, 37 insertions(+) create mode 100644 released/packages/coq-library-undecidability/coq-library-undecidability.1.1.2+8.20/opam diff --git a/released/packages/coq-library-undecidability/coq-library-undecidability.1.1.2+8.20/opam b/released/packages/coq-library-undecidability/coq-library-undecidability.1.1.2+8.20/opam new file mode 100644 index 000000000..14c8307a1 --- /dev/null +++ b/released/packages/coq-library-undecidability/coq-library-undecidability.1.1.2+8.20/opam @@ -0,0 +1,37 @@ +opam-version: "2.0" +maintainer: "forster@ps.uni-saarland.de" +homepage: "https://github.com/uds-psl/coq-library-undecidability/" +dev-repo: "git+https://github.com/uds-psl/coq-library-undecidability/" +bug-reports: "https://github.com/uds-psl/coq-library-undecidability/issues" +authors: ["Yannick Forster" + "Dominique Larchey-Wendling" + "Andrej Dudenhefner" + "Edith Heiter" + "Marc Hermes" + "Johannes Hostert" + "Dominik Kirst" + "Mark Koch" + "Fabian Kunze" + "Gert Smolka" + "Simon Spies" + "Dominik Wehr" + "Maxi Wuttke"] + +license: "MPL-2.0" +build: [ + [make "-j%{jobs}%"] +] +install: [ + [make "install"] +] +depends: [ + "coq" {>= "8.20" & < "8.21~"} + "ocaml" + "coq-metacoq-template" {= "1.3.2+8.20"} +] + +synopsis: "A Coq Library of Undecidability Proofs" +url { + src: "https://github.com/uds-psl/coq-library-undecidability/archive/refs/tags/v1.1.2+8.20.tar.gz" + checksum: "sha256=38566d822f97f65d284aca8913d19ba1e7943fdd998ba8e50466baf8c8f07d1a" +} From faf3b3d4d2a25f0b9a312e416d1a43c826e25ec7 Mon Sep 17 00:00:00 2001 From: Yannick Forster Date: Mon, 30 Sep 2024 13:10:36 +0200 Subject: [PATCH 2/2] Update released/packages/coq-library-undecidability/coq-library-undecidability.1.1.2+8.20/opam Co-authored-by: Karl Palmskog --- .../coq-library-undecidability.1.1.2+8.20/opam | 1 - 1 file changed, 1 deletion(-) diff --git a/released/packages/coq-library-undecidability/coq-library-undecidability.1.1.2+8.20/opam b/released/packages/coq-library-undecidability/coq-library-undecidability.1.1.2+8.20/opam index 14c8307a1..c2b67f8f1 100644 --- a/released/packages/coq-library-undecidability/coq-library-undecidability.1.1.2+8.20/opam +++ b/released/packages/coq-library-undecidability/coq-library-undecidability.1.1.2+8.20/opam @@ -26,7 +26,6 @@ install: [ ] depends: [ "coq" {>= "8.20" & < "8.21~"} - "ocaml" "coq-metacoq-template" {= "1.3.2+8.20"} ]