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 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

archetypeversion 0.1.3 0.1.30.1.40.1.50.1.60.1.80.1.90.1.100.1.110.1.120.1.130.1.141.0.01.1.01.1.11.1.21.2.01.2.11.2.21.2.31.2.41.2.51.2.61.2.71.2.81.2.91.2.101.2.111.2.121.2.131.2.141.2.151.2.161.3.01.3.11.3.21.3.31.3.41.3.51.3.61.4.01.4.11.4.21.4.31.5.01.5.11.5.2 (latest)