this repo has no description

Merge pull request #22145 from guillaumeduhamel/opam-publish-archetype.1.3.5

Package archetype.1.3.5

Changed files
+55
packages
archetype
archetype.1.3.5
+55
packages/archetype/archetype.1.3.5/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.5.tar.gz"
+
checksum: [
+
"md5=c1bcef6cfb47e6971dde156ac6dba24c"
+
"sha512=8c5e44cf6b519418298046e90b5e50331a9ea70fb1d2e15662f1efa1902f1dca1e5c87b09d978c9617048fd87d52fc6e4529323f2944d3a0fb7a377c843d5809"
+
]
+
}