this repo has no description

Merge pull request #23747 from guillaumeduhamel/opam-publish-archetype.1.4.2

Package archetype.1.4.2

Kate 13986365 85529a4b

Changed files
+56
packages
archetype
archetype.1.4.2
+56
packages/archetype/archetype.1.4.2/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"
+
"alcotest"
+
"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.4.2.tar.gz"
+
checksum: [
+
"md5=ba863c6395e80c84a60724189e68b7d2"
+
"sha512=5859f8a32c32dc316a3ab37ed536fcd1ded10762fde264ae0ab285935117c7d7b46899d0ba8ee9516bdf32f58215abf6b9a3912e58b8ef7f932d81790d395b35"
+
]
+
}