Skip to content

Commit 1398636

Browse files
authored
Merge pull request ocaml#23747 from guillaumeduhamel/opam-publish-archetype.1.4.2
Package archetype.1.4.2
2 parents 85529a4 + 542009e commit 1398636

File tree

1 file changed

+56
-0
lines changed
  • packages/archetype/archetype.1.4.2

1 file changed

+56
-0
lines changed
Lines changed: 56 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,56 @@
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 <[email protected]>"]
9+
authors: [
10+
"Benoit Rognier <[email protected]>"
11+
"Guillaume Duhamel <[email protected]>"
12+
"Pierre-Yves Strub <[email protected]>"
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+
build: [
36+
["dune" "subst"] {dev}
37+
[
38+
"dune"
39+
"build"
40+
"-p"
41+
name
42+
"-j"
43+
jobs
44+
"@install"
45+
"@runtest" {with-test}
46+
"@doc" {with-doc}
47+
]
48+
]
49+
dev-repo: "git+https://github.com/completium/archetype-lang.git"
50+
url {
51+
src: "https://github.com/completium/archetype-lang/archive/1.4.2.tar.gz"
52+
checksum: [
53+
"md5=ba863c6395e80c84a60724189e68b7d2"
54+
"sha512=5859f8a32c32dc316a3ab37ed536fcd1ded10762fde264ae0ab285935117c7d7b46899d0ba8ee9516bdf32f58215abf6b9a3912e58b8ef7f932d81790d395b35"
55+
]
56+
}

0 commit comments

Comments
 (0)