diff --git a/packages/archetype/archetype.1.1.2/opam b/packages/archetype/archetype.1.1.2/opam new file mode 100644 index 00000000000..5b025a09b3b --- /dev/null +++ b/packages/archetype/archetype.1.1.2/opam @@ -0,0 +1,44 @@ +opam-version: "2.0" +build: [ + ["dune" "subst"] {pinned} + ["dune" "build" "-p" name "-j" jobs] + ["dune" "runtest" "-p" name "-j" jobs] {with-test} + ["dune" "build" "-p" name "@doc"] {with-doc} +] +maintainer: ["The Archetype development team "] +authors: [ + "Benoit Rognier " + "Guillaume Duhamel " + "Pierre-Yves Strub " +] +bug-reports: "https://github.com/edukera/archetype-lang/issues" +homepage: "https://github.com/edukera/archetype-lang" +doc: "https://docs.archetype-lang.org/" +license: "MIT" +dev-repo: "git+https://github.com/edukera/archetype-lang.git" +synopsis: "Archetype language compiler" +description: """ +Archetype is a domain-specific language (DSL) to develop smart contracts +on the Tezos blockchain, with a specific focus on contract security +""" +depends: [ + "ocaml" {>= "4.07.0"} + "dune" {>= "1.10.0"} + "digestif" {>= "0.7.2"} + "menhir" + "num" + "yojson" + "ppx_deriving" + "ppx_deriving_yojson" + "visitors" +] +conflicts: [ + "digestif" {= "0.7.4"} +] +url { + src: "https://github.com/edukera/archetype-lang/archive/1.1.2.tar.gz" + checksum: [ + "md5=cc3e66ac130df626f0210be8ce68b1b0" + "sha512=913e561827e5559b8f7f68dc286e257ee484ccacb2fba8e7a4996576107969f7c4bb42f8a759ea082c1a6f0c2874297d52369f0840041177f23c85a2c99053e6" + ] +}