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"
]
conflicts: [
  "digestif" {= "0.7.4"}
]
url {
  src: "https://github.com/edukera/archetype-lang/archive/0.1.9.tar.gz"
  checksum: [
    "md5=782ed3e1654b365f057923e2b16bb72c"
    "sha512=0aaab9dc0d99da509ab729077088f7cad0629abba7d66036908855bfaaa215ff2f6bc92095acf09dcdbedbb2e5abae85b60652a262c139326b04c90dd14266d1"
  ]
}
