From 09381e7b8a367bbd25a84cf17c304208543fd553 Mon Sep 17 00:00:00 2001 From: Arthur Azevedo de Amorim Date: Mon, 9 Dec 2024 13:20:59 -0500 Subject: [PATCH 1/2] Release Extructures 0.5.0. --- .../coq-extructures.0.5.0/opam | 30 +++++++++++++++++++ 1 file changed, 30 insertions(+) create mode 100644 released/packages/coq-extructures/coq-extructures.0.5.0/opam diff --git a/released/packages/coq-extructures/coq-extructures.0.5.0/opam b/released/packages/coq-extructures/coq-extructures.0.5.0/opam new file mode 100644 index 0000000000..ad93c3fd8d --- /dev/null +++ b/released/packages/coq-extructures/coq-extructures.0.5.0/opam @@ -0,0 +1,30 @@ +synopsis: "Finite sets, maps, and other data structures with extensional reasoning" +opam-version: "2.0" +maintainer: "arthur.aa@gmail.com" +homepage: "https://github.com/arthuraa/extructures" +dev-repo: "git+https://github.com/arthuraa/extructures.git" +bug-reports: "https://github.com/arthuraa/extructures/issues" +authors: ["Arthur Azevedo de Amorim"] +license: "MIT" +build: [ + [make "-j%{jobs}%"] +] +install: [ + [make "install"] +] +depends: [ + "ocaml" + "coq" {(>= "8.17" & < "8.21~")} + "coq-mathcomp-ssreflect" {(>= "2.0.0")} + "coq-deriving" {(>= "0.2.0")} +] +tags: [ + "keyword:finite maps" + "keyword:extensionality" + "category:Computer Science/Data Types and Data Structures" + "logpath:extructures" +] +url { + src: "https://github.com/arthuraa/extructures/archive/v0.5.0.tar.gz" + checksum: "sha512=bedb42e09ace965024d3141e104a2ca04afa76c6753e632b6a42f11784671047c9d40d94d814b405a6e997a51ecc54c84e00de86f2c63e4de068fef9ea44717b" +} From 60999ef0bda5edc5a8a53269e4eb8e0f1034b5a0 Mon Sep 17 00:00:00 2001 From: Karl Palmskog Date: Mon, 9 Dec 2024 21:15:45 +0100 Subject: [PATCH 2/2] Update released/packages/coq-extructures/coq-extructures.0.5.0/opam --- released/packages/coq-extructures/coq-extructures.0.5.0/opam | 1 - 1 file changed, 1 deletion(-) diff --git a/released/packages/coq-extructures/coq-extructures.0.5.0/opam b/released/packages/coq-extructures/coq-extructures.0.5.0/opam index ad93c3fd8d..8741647bcb 100644 --- a/released/packages/coq-extructures/coq-extructures.0.5.0/opam +++ b/released/packages/coq-extructures/coq-extructures.0.5.0/opam @@ -13,7 +13,6 @@ install: [ [make "install"] ] depends: [ - "ocaml" "coq" {(>= "8.17" & < "8.21~")} "coq-mathcomp-ssreflect" {(>= "2.0.0")} "coq-deriving" {(>= "0.2.0")}