From 83d75d84da1b95349e20a7fd9e8f043b910e6a7f Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Fri, 22 Sep 2023 09:35:11 -0700 Subject: [PATCH] Release coq-rewriter.0.0.9 --- .../coq-rewriter/coq-rewriter.0.0.9/opam | 26 +++++++++++++++++++ 1 file changed, 26 insertions(+) create mode 100644 released/packages/coq-rewriter/coq-rewriter.0.0.9/opam diff --git a/released/packages/coq-rewriter/coq-rewriter.0.0.9/opam b/released/packages/coq-rewriter/coq-rewriter.0.0.9/opam new file mode 100644 index 000000000..735dec4fc --- /dev/null +++ b/released/packages/coq-rewriter/coq-rewriter.0.0.9/opam @@ -0,0 +1,26 @@ +opam-version: "2.0" +authors: [ + "Google Inc." + "Massachusetts Institute of Technology" +] +maintainer: "Jason Gross " +homepage: "https://github.com/mit-plv/rewriter" +bug-reports: "https://github.com/mit-plv/rewriter/issues" +license: "MIT OR Apache-2.0 OR BSD-1-Clause" +build: [ + [make "-j%{jobs}%"] +] +install: [make "install"] +depends: [ + "conf-findutils" {build} + "ocaml" {build} + "ocaml" {build & >= "4.14.0" & arch != "arm64"} + "coq" {>= "8.15~"} +] +dev-repo: "git+https://github.com/mit-plv/rewriter.git" +synopsis: "Reflective PHOAS rewriting/pattern-matching-compilation framework for simply-typed equalities and let-lifting, experimental and tailored for use in Fiat Cryptography" +tags: ["logpath:Rewriter"] +url { + src: "https://github.com/mit-plv/rewriter/archive/refs/tags/v0.0.9.tar.gz" + checksum: "sha512=d46f5cc5086c65f1f5ea28f949a18c2cd5f4299022a0861b4c894f8dd6f5c27c898878d1a810f5b1c99cbfa4f026bec7673d475db3db739d3126ad7c17b15b6e" +}