this repo has no description
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

Merge pull request #25742 from guillaumeduhamel/opam-publish-archetype.1.5.2

Package archetype.1.5.2

authored by

Marcello Seri and committed by
GitHub
9a777c31 52b716e7

+57
+57
packages/archetype/archetype.1.5.2/opam
··· 1 + # This file is generated by dune, edit dune-project instead 2 + opam-version: "2.0" 3 + synopsis: "Archetype language compiler" 4 + description: """ 5 + Archetype is a general purpose language to develop smart contracts 6 + on the Tezos blockchain, with a specific focus on contract security 7 + """ 8 + maintainer: ["The Archetype development team <archetype-dev@edukera.com>"] 9 + authors: [ 10 + "Benoit Rognier <benoit.rognier@edukera.com>" 11 + "Guillaume Duhamel <guillaume.duhamel@edukera.com>" 12 + "Pierre-Yves Strub <pierre-yves.strub@polytechnique.edu>" 13 + ] 14 + license: "MIT" 15 + homepage: "https://archetype-lang.org" 16 + doc: "https://archetype-lang.org" 17 + bug-reports: "https://github.com/completium/archetype-lang/issues" 18 + depends: [ 19 + "dune" {>= "2.7"} 20 + "ocaml" {>= "4.08.0"} 21 + "menhir" {>= "20180523"} 22 + "num" 23 + "yojson" {>= "1.6.0"} 24 + "ppx_deriving" 25 + "ppx_deriving_yojson" 26 + "uri" 27 + "visitors" {>= "20200207"} 28 + "js_of_ocaml" {>= "3.9.0"} 29 + "js_of_ocaml-ppx" {>= "3.9.0"} 30 + "hex" {>= "1.4.0"} 31 + "xmlm" 32 + "alcotest" 33 + "odoc" {with-doc} 34 + ] 35 + conflicts: ["ocaml-option-bytecode-only"] 36 + build: [ 37 + ["dune" "subst"] {dev} 38 + [ 39 + "dune" 40 + "build" 41 + "-p" 42 + name 43 + "-j" 44 + jobs 45 + "@install" 46 + "@runtest" {with-test} 47 + "@doc" {with-doc} 48 + ] 49 + ] 50 + dev-repo: "git+https://github.com/completium/archetype-lang.git" 51 + url { 52 + src: "https://github.com/completium/archetype-lang/archive/1.5.2.tar.gz" 53 + checksum: [ 54 + "md5=a094afa2528372bab2178c2a516f6a3d" 55 + "sha512=4bd06e6ba22c426ba1712118ec0e14e39af74f0a7b5fb373900db635f4a488b5adde47d558d48795df41d7c2035e19c3ccefc47e4531b9478a710da17170902c" 56 + ] 57 + }