this repo has no description
0
fork

Configure Feed

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

Merge pull request #27127 from guillaumeduhamel/opam-publish-archetype.1.5.3

Package archetype.1.5.3

authored by

Marcello Seri and committed by
GitHub
799195c0 280d0d69

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