this repo has no description

Merge pull request #21610 from guillaumeduhamel/opam-publish-archetype.1.3.1

Package archetype.1.3.1

Kate 74ecec8e 1ae0c748

Changed files
+55
packages
archetype
archetype.1.3.1
+55
packages/archetype/archetype.1.3.1/opam
···
+
# This file is generated by dune, edit dune-project instead
+
opam-version: "2.0"
+
synopsis: "Archetype language compiler"
+
description: """
+
Archetype is a general purpose language to develop smart contracts
+
on the Tezos blockchain, with a specific focus on contract security
+
"""
+
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>"
+
]
+
license: "MIT"
+
homepage: "https://archetype-lang.org"
+
doc: "https://archetype-lang.org"
+
bug-reports: "https://github.com/completium/archetype-lang/issues"
+
depends: [
+
"dune" {>= "2.7"}
+
"ocaml" {>= "4.08.0"}
+
"menhir" {>= "20180523"}
+
"num"
+
"yojson" {>= "1.6.0"}
+
"ppx_deriving"
+
"ppx_deriving_yojson"
+
"uri"
+
"visitors" {>= "20200207"}
+
"js_of_ocaml" {>= "3.9.0"}
+
"js_of_ocaml-ppx" {>= "3.9.0"}
+
"hex" {>= "1.4.0"}
+
"xmlm"
+
"odoc" {with-doc}
+
]
+
build: [
+
["dune" "subst"] {dev}
+
[
+
"dune"
+
"build"
+
"-p"
+
name
+
"-j"
+
jobs
+
"@install"
+
"@runtest" {with-test}
+
"@doc" {with-doc}
+
]
+
]
+
dev-repo: "git+https://github.com/completium/archetype-lang.git"
+
url {
+
src: "https://github.com/completium/archetype-lang/archive/1.3.1.tar.gz"
+
checksum: [
+
"md5=814f53ca8e5e8c22feddf11fb54a53f4"
+
"sha512=cfd72b9d5f6c736b7200ba7189180aeccd364903bc42462f2d47a86b9e68ec524f4807c7935adf35f934aa8455819b9388c7383a8b4075facf344b5e040e1e6c"
+
]
+
}