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"}
  "menhir"
  "digestif" {>= "0.7.2"}
  "num"
  "yojson"
  "ppx_deriving"
  "ppx_deriving_yojson"
  "visitors"
]
conflicts: [
  "digestif" {= "0.7.4"}
]
url {
  src: "https://github.com/edukera/archetype-lang/archive/0.1.14.tar.gz"
  checksum: [
    "md5=1a00801e3311cc4a54a239e09d3cbe56"
    "sha512=ea9643da74b7f7ca7c8743ec9101f531d701d2df2b15bfc11bc611a29f0fdbb572d77556e9b6f067e727bc1dd5d872088ef25c131e0cb645415fa811564fc5c7"
  ]
}
