Merge pull request #17003 from guillaumeduhamel/opam-publish-archetyp…

…e.1.1.2

Package archetype.1.1.2

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 <archetype-dev@edukera.com>"]
+authors: [
+  "Benoit Rognier <benoit.rognier@edukera.com>"
+  "Guillaume Duhamel <guillaume.duhamel@edukera.com>"
+  "Pierre-Yves Strub <pierre-yves.strub@polytechnique.edu>"
+]
+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"
+  ]
+}