opam - archetype.0.1.3

Archetype is a domain-specific language (DSL) to develop smart contracts on the Tezos blockchain, with a specific focus on contract security

Authors	Benoit Rognier <benoit.rognier@edukera.com>, Guillaume Duhamel <guillaume.duhamel@edukera.com> and Pierre-Yves Strub <pierre-yves.strub@polytechnique.edu>
License	MIT
Published	Sep 21, 2019
Homepage	https://github.com/edukera/archetype-lang
Issue Tracker	https://github.com/edukera/archetype-lang/issues
Maintainer	The Archetype development team <archetype-dev@edukera.com>
Dependencies	ocaml>=4.07.0 & <5.3 dune>=1.10.0 menhir uri digestif>=0.7.2 why3>=1.2.0 & <1.3.0 yojson ppx_deriving<6 ppx_deriving_yojson
Conflicts	digestif=0.7.4
Source [http]	https://github.com/edukera/archetype-lang/archive/0.1.3.tar.gz md5=d2596cc4bc873ab8eca49d753c31a348 sha512=0cfe9d1948b7baaf632f75f4bd783df5cfe9d5db57fef698d80ddef02d46c1912a0b73ac8ee06616dbe831f9ff3e4d4af26f78b4378dd466f2d7751634c2d6e5
Edit	https://github.com/ocaml/opam-repository/tree/master/packages/archetype/archetype.0.1.3/opam

No package is dependent