Skip to content

Commit 6ff9938

Browse files
jaredlyjaredly
committed
trying out rely
1 parent 4dd2224 commit 6ff9938

File tree

44 files changed

+1450
-322
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

44 files changed

+1450
-322
lines changed

‎esy.lock/index.json

Lines changed: 663 additions & 138 deletions
Large diffs are not rendered by default.

‎esy.lock/opam/atd.2.0.0/opam

Lines changed: 34 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,34 @@
1+
opam-version: "2.0"
2+
maintainer: "martin@mjambon.com"
3+
authors: ["Martin Jambon"]
4+
5+
homepage: "https://github.com/mjambon/atd"
6+
bug-reports: "https://github.com/mjambon/atd/issues"
7+
dev-repo: "git://github.com/mjambon/atd.git"
8+
9+
build: [
10+
["jbuilder" "subst" "-p" name] {pinned}
11+
["jbuilder" "build" "-p" name "-j" jobs]
12+
]
13+
14+
# Restore when https://github.com/mjambon/atd/issues/121 is resolved.
15+
# build-test: [
16+
# ["jbuilder" "runtest" "-p" name]
17+
# ]
18+
19+
depends: [
20+
"ocaml" {>= "4.03.0"}
21+
"jbuilder"
22+
"menhir" {build}
23+
"easy-format"
24+
]
25+
synopsis: "Parser for the ATD data format description language"
26+
description: """
27+
ATD is the OCaml library providing a parser for the ATD language and
28+
various utilities. ATD stands for Adjustable Type Definitions in
29+
reference to its main property of supporting annotations that allow a
30+
good fit with a variety of data formats."""
31+
url {
32+
src: "https://github.com/mjambon/atd/releases/download/2.0.0/atd-2.0.0.tbz"
33+
checksum: "md5=14e47609397c524ea0eae7c3f14f7ccf"
34+
}

‎esy.lock/opam/atdgen-runtime.2.0.0/opam

Lines changed: 29 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,29 @@
1+
opam-version: "2.0"
2+
maintainer: "martin@mjambon.com"
3+
authors: ["Martin Jambon"]
4+
5+
homepage: "https://github.com/mjambon/atd"
6+
bug-reports: "https://github.com/mjambon/atd/issues"
7+
dev-repo: "git://github.com/mjambon/atd.git"
8+
9+
build: [
10+
["jbuilder" "subst" "-p" name] {pinned}
11+
["jbuilder" "build" "-p" name "-j" jobs]
12+
]
13+
14+
# Restore when https://github.com/mjambon/atd/issues/121 is resolved.
15+
# build-test: [
16+
# ["jbuilder" "runtest" "-p" name]
17+
# ]
18+
19+
depends: [
20+
"ocaml" {>= "4.02.3"}
21+
"jbuilder"
22+
"biniou" {>= "1.0.6"}
23+
"yojson" {>= "1.2.1"}
24+
]
25+
synopsis: "Runtime library for code generated by atdgen."
26+
url {
27+
src: "https://github.com/mjambon/atd/releases/download/2.0.0/atd-2.0.0.tbz"
28+
checksum: "md5=14e47609397c524ea0eae7c3f14f7ccf"
29+
}

‎esy.lock/opam/atdgen.2.0.0/opam

Lines changed: 44 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,44 @@
1+
opam-version: "2.0"
2+
maintainer: "martin@mjambon.com"
3+
authors: ["Martin Jambon"]
4+
5+
homepage: "https://github.com/mjambon/atd"
6+
bug-reports: "https://github.com/mjambon/atd/issues"
7+
dev-repo: "git://github.com/mjambon/atd.git"
8+
9+
build: [
10+
["jbuilder" "subst" "-p" name] {pinned}
11+
["jbuilder" "build" "-p" name "-j" jobs]
12+
]
13+
14+
# Restore when https://github.com/mjambon/atd/issues/121 is resolved.
15+
# build-test: [
16+
# ["jbuilder" "runtest" "-p" name]
17+
# ]
18+
19+
depends: [
20+
"ocaml" {>= "4.03.0"}
21+
"jbuilder"
22+
"atd" {>= "2.0.0"}
23+
"atdgen-runtime" {>= "2.0.0"}
24+
"biniou" {>= "1.0.6"}
25+
"yojson" {>= "1.2.1"}
26+
]
27+
synopsis:
28+
"Generates efficient JSON serializers, deserializers and validators"
29+
description: """
30+
Atdgen is a command-line program that takes as input type definitions in the
31+
ATD syntax and produces OCaml code suitable for data serialization and
32+
deserialization.
33+
34+
Two data formats are currently supported, these are biniou and JSON.
35+
Atdgen-biniou and Atdgen-json will refer to Atdgen used in one context or the
36+
other.
37+
38+
Atdgen was designed with efficiency and durability in mind. Software authors
39+
are encouraged to use Atdgen directly and to write tools that may reuse part of
40+
Atdgen’s source code."""
41+
url {
42+
src: "https://github.com/mjambon/atd/releases/download/2.0.0/atd-2.0.0.tbz"
43+
checksum: "md5=14e47609397c524ea0eae7c3f14f7ccf"
44+
}

‎esy.lock/opam/base.v0.12.2/opam renamed to ‎esy.lock/opam/base.v0.13.0/opam

Lines changed: 6 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -10,12 +10,10 @@ build: [
1010
["dune" "build" "-p" name "-j" jobs]
1111
]
1212
depends: [
13-
"ocaml" {>= "4.04.2" & < "4.09.0"}
14-
"sexplib0" {>= "v0.12" & < "v0.13"}
15-
"dune" {>= "1.5.1"}
16-
]
17-
depopts: [
18-
"base-native-int63"
13+
"ocaml" {>= "4.04.2" & < "4.10.0"}
14+
"sexplib0" {>= "v0.13" & < "v0.14"}
15+
"dune" {>= "1.5.1"}
16+
"dune-configurator"
1917
]
2018
synopsis: "Full standard library replacement for OCaml"
2119
description: "
@@ -33,6 +31,6 @@ provided by companion libraries such as stdio:
3331
https://github.com/janestreet/stdio
3432
"
3533
url {
36-
src: "https://github.com/janestreet/base/archive/v0.12.2.tar.gz"
37-
checksum: "md5=7150e848a730369a2549d01645fb6c72"
34+
src: "https://ocaml.janestreet.com/ocaml-core/v0.13/files/base-v0.13.0.tar.gz"
35+
checksum: "md5=527289dbc2c7de748f965d3caae450cb"
3836
}

‎esy.lock/opam/biniou.1.2.1/opam

Lines changed: 45 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,45 @@
1+
opam-version: "2.0"
2+
build: [
3+
["dune" "subst"] {pinned}
4+
["dune" "build" "-p" name "-j" jobs]
5+
["dune" "runtest" "-p" name "-j" jobs] {with-test}
6+
["dune" "build" "-p" name "@doc"] {with-doc}
7+
]
8+
maintainer: ["martin@mjambon.com"]
9+
authors: ["Martin Jambon"]
10+
bug-reports: "https://github.com/mjambon/biniou/issues"
11+
homepage: "https://github.com/mjambon/biniou"
12+
doc: "https://mjambon.github.io/biniou/"
13+
license: "BSD-3-Clause"
14+
dev-repo: "git+https://github.com/mjambon/biniou.git"
15+
synopsis:
16+
"Binary data format designed for speed, safety, ease of use and backward compatibility as protocols evolve"
17+
description: """
18+
19+
Biniou (pronounced "be new") is a binary data format designed for speed, safety,
20+
ease of use and backward compatibility as protocols evolve. Biniou is vastly
21+
equivalent to JSON in terms of functionality but allows implementations several
22+
times faster (4 times faster than yojson), with 25-35% space savings.
23+
24+
Biniou data can be decoded into human-readable form without knowledge of type
25+
definitions except for field and variant names which are represented by 31-bit
26+
hashes. A program named bdump is provided for routine visualization of biniou
27+
data files.
28+
29+
The program atdgen is used to derive OCaml-Biniou serializers and deserializers
30+
from type definitions.
31+
32+
Biniou format specification: mjambon.github.io/atdgen-doc/biniou-format.txt"""
33+
depends: [
34+
"easy-format"
35+
"dune" {>= "1.10"}
36+
"ocaml" {>= "4.02.3"}
37+
]
38+
url {
39+
src:
40+
"https://github.com/mjambon/biniou/releases/download/1.2.1/biniou-1.2.1.tbz"
41+
checksum: [
42+
"sha256=35546c68b1929a8e6d27a3b39ecd17b38303a0d47e65eb9d1480c2061ea84335"
43+
"sha512=82670cc77bf3e869ee26e5fbe5a5affa45a22bc8b6c4bd7e85473912780e0111baca59b34a2c14feae3543ce6e239d7fddaeab24b686a65bfe642cdb91d27ebf"
44+
]
45+
}

‎esy.lock/opam/conf-m4.1/opam

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@ maintainer: "tim@gfxmonk.net"
33
homepage: "http://www.gnu.org/software/m4/m4.html"
44
bug-reports: "https://github.com/ocaml/opam-repository/issues"
55
authors: "GNU Project"
6-
license: "GPL-3"
6+
license: "GPL-3.0-only"
77
build: [["sh" "-exc" "echo | m4"]]
88
depexts: [
99
["m4"] {os-family = "debian"}

‎esy.lock/opam/dune-configurator.1.0.0/opam

Lines changed: 9 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,9 @@
1+
opam-version: "2.0"
2+
authors: ["Jérémie Dimino"]
3+
homepage: "https://github.com/ocaml/dune"
4+
bug-reports: "https://github.com/ocaml/dune/issues"
5+
maintainer: "Jérémie Dimino"
6+
description: """
7+
dune.configurator library distributed with Dune 1.x
8+
"""
9+
depends: ["dune" {<"2.0.0"}]

‎esy.lock/opam/dune.1.11.3/opam renamed to ‎esy.lock/opam/dune.1.11.4/opam

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -45,9 +45,9 @@ build: [
4545
]
4646
url {
4747
src:
48-
"https://github.com/ocaml/dune/releases/download/1.11.3/dune-build-info-1.11.3.tbz"
48+
"https://github.com/ocaml/dune/releases/download/1.11.4/dune-build-info-1.11.4.tbz"
4949
checksum: [
50-
"sha256=c83a63e7e8245611b0e11d6adea07c6484dc1b4efffacb176315cd6674d4bbd2"
51-
"sha512=2c1532b91d223e6ea0628c5f5174792c1bb4113a464f6d8b878b3c58be1136beb84ba2d9883a330fa20e550367588aa923ba06ffb9b615a098a21374a9377e81"
50+
"sha256=77cb5f483221b266ded2b85fc84173ae0089a25134a086be922e82c131456ce6"
51+
"sha512=02f00fd872aa49b832fc8c1e928409f23c79ddf84a53009a58875f222cca36fbb92c905e12c539caec9cbad723f195a8aa24218382dca35a903b3f52b11f06f2"
5252
]
5353
}

‎esy.lock/opam/easy-format.1.3.2/opam

Lines changed: 46 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,46 @@
1+
opam-version: "2.0"
2+
build: [
3+
["dune" "subst"] {pinned}
4+
["dune" "build" "-p" name "-j" jobs]
5+
["dune" "runtest" "-p" name "-j" jobs] {with-test}
6+
["dune" "build" "-p" name "@doc"] {with-doc}
7+
]
8+
maintainer: ["martin@mjambon.com" "rudi.grinberg@gmail.com"]
9+
authors: ["Martin Jambon"]
10+
bug-reports: "https://github.com/mjambon/easy-format/issues"
11+
homepage: "https://github.com/mjambon/easy-format"
12+
doc: "https://mjambon.github.io/easy-format/"
13+
license: "BSD-3-Clause"
14+
dev-repo: "git+https://github.com/mjambon/easy-format.git"
15+
synopsis:
16+
"High-level and functional interface to the Format module of the OCaml standard library"
17+
description: """
18+
19+
This module offers a high-level and functional interface to the Format module of
20+
the OCaml standard library. It is a pretty-printing facility, i.e. it takes as
21+
input some code represented as a tree and formats this code into the most
22+
visually satisfying result, breaking and indenting lines of code where
23+
appropriate.
24+
25+
Input data must be first modelled and converted into a tree using 3 kinds of
26+
nodes:
27+
28+
* atoms
29+
* lists
30+
* labelled nodes
31+
32+
Atoms represent any text that is guaranteed to be printed as-is. Lists can model
33+
any sequence of items such as arrays of data or lists of definitions that are
34+
labelled with something like "int main", "let x =" or "x:"."""
35+
depends: [
36+
"dune" {>= "1.10"}
37+
"ocaml" {>= "4.02.3"}
38+
]
39+
url {
40+
src:
41+
"https://github.com/mjambon/easy-format/releases/download/1.3.2/easy-format-1.3.2.tbz"
42+
checksum: [
43+
"sha256=3440c2b882d537ae5e9011eb06abb53f5667e651ea4bb3b460ea8230fa8c1926"
44+
"sha512=e39377a2ff020ceb9ac29e8515a89d9bdbc91dfcfa871c4e3baafa56753fac2896768e5d9822a050dc1e2ade43c8967afb69391a386c0a8ecd4e1f774e236135"
45+
]
46+
}

‎esy.lock/opam/jbuilder.transition/opam

Lines changed: 18 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,18 @@
1+
opam-version: "2.0"
2+
maintainer: "opensource@janestreet.com"
3+
authors: ["Jane Street Group, LLC <opensource@janestreet.com>"]
4+
homepage: "https://github.com/ocaml/dune"
5+
bug-reports: "https://github.com/ocaml/dune/issues"
6+
dev-repo: "git+https://github.com/ocaml/dune.git"
7+
license: "MIT"
8+
depends: [
9+
"ocaml"
10+
"dune" {< "2.0"}
11+
]
12+
post-messages: [
13+
"Jbuilder has been renamed and the jbuilder package is now a transition \
14+
package. Use the dune package instead."
15+
]
16+
synopsis:
17+
"This is a transition package, jbuilder is now named dune. Use the dune"
18+
description: "package instead."

‎esy.lock/opam/junit.2.0.1/opam

Lines changed: 29 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,29 @@
1+
opam-version: "2.0"
2+
maintainer: "Louis Roché <louis@louisroche.net>"
3+
authors: "Louis Roché <louis@louisroche.net>"
4+
homepage: "https://github.com/Khady/ocaml-junit"
5+
bug-reports: "https://github.com/Khady/ocaml-junit/issues"
6+
license: "LGPL-3.0-or-later with OCaml-LGPL-linking-exception"
7+
dev-repo: "git+https://github.com/Khady/ocaml-junit.git"
8+
doc: "https://khady.github.io/ocaml-junit/"
9+
tags: ["junit" "jenkins"]
10+
depends: [
11+
"dune" {>= "1.0"}
12+
"ptime"
13+
"tyxml" {>= "4.0.0"}
14+
"odoc" {with-doc & >= "1.1.1"}
15+
]
16+
build: [
17+
["dune" "subst"] {pinned}
18+
["dune" "build" "-p" name "-j" jobs]
19+
["dune" "runtest" "-p" name "-j" jobs] {with-test}
20+
["dune" "build" "-p" name "-j" jobs] {with-doc}
21+
]
22+
name: "junit"
23+
synopsis: "JUnit XML reports generation library"
24+
description: "JUnit XML reports generation library"
25+
url {
26+
src:
27+
"https://github.com/Khady/ocaml-junit/releases/download/2.0.1/junit-2.0.1.tbz"
28+
checksum: "md5=40224fb3d4f5e47dc5ff4605587d383b"
29+
}

‎esy.lock/opam/menhir.20190626/opam renamed to ‎esy.lock/opam/menhir.20190924/opam

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -21,9 +21,9 @@ depends: [
2121
synopsis: "An LR(1) parser generator"
2222
url {
2323
src:
24-
"https://gitlab.inria.fr/fpottier/menhir/repository/20190626/archive.tar.gz"
24+
"https://gitlab.inria.fr/fpottier/menhir/repository/20190924/archive.tar.gz"
2525
checksum: [
26-
"md5=783961f8d124449a1a335cc8e50f013f"
27-
"sha512=bacc5161682130d894a6476fb79363aa73e5582543265a0c23c9a1f9d974007c04853dc8f6faa2b8bd2e82b2323b8604dcc4cb74308af667698079b394dfd492"
26+
"md5=677f1997fb73177d5a00fa1b8d61c3ef"
27+
"sha512=ea8a9a6d773529cf6ac05e4c6c4532770fbb8e574c9b646efcefe90d9f24544741e3e8cfd94c8afea0447e34059a8c79c2829b46764ce3a3d6dcb3e7f75980fc"
2828
]
2929
}

‎esy.lock/opam/ocaml-compiler-libs.v0.12.0/opam renamed to ‎esy.lock/opam/ocaml-compiler-libs.v0.12.1/opam

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -10,14 +10,14 @@ build: [
1010
]
1111
depends: [
1212
"ocaml" {>= "4.04.1"}
13-
"dune" {>= "1.0"}
13+
"dune" {>= "1.5.1"}
1414
]
1515
synopsis: "OCaml compiler libraries repackaged"
1616
description: """
1717
This packages exposes the OCaml compiler libraries repackages under
18-
the toplevel names Ocaml_common, Ocaml_bytecomp, ..."""
18+
the toplevel names Ocaml_common, Ocaml_bytecomp, Ocaml_optcomp, ..."""
1919
url {
2020
src:
21-
"https://github.com/janestreet/ocaml-compiler-libs/archive/v0.12.0.tar.gz"
22-
checksum: "md5=3351925ed99be59829641d2044fc80c0"
21+
"https://github.com/janestreet/ocaml-compiler-libs/archive/v0.12.1.tar.gz"
22+
checksum: "md5=2f929af7c764a3f681a5671f271210c4"
2323
}

‎esy.lock/opam/ocaml-migrate-parsetree.1.4.0/opam renamed to ‎esy.lock/opam/ocaml-migrate-parsetree.1.5.0/opam

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -29,9 +29,9 @@ rewriters independent of a compiler version.
2929
"""
3030
url {
3131
src:
32-
"https://github.com/ocaml-ppx/ocaml-migrate-parsetree/releases/download/v1.4.0/ocaml-migrate-parsetree-v1.4.0.tbz"
32+
"https://github.com/ocaml-ppx/ocaml-migrate-parsetree/releases/download/v1.5.0/ocaml-migrate-parsetree-v1.5.0.tbz"
3333
checksum: [
34-
"sha256=231fbdc205187b3ee266b535d9cfe44b599067b2f6e97883c782ea7bb577d3b8"
35-
"sha512=61ee91d2d146cc2d2ff2d5dc4ef5dea4dc4d3c8dbd8b4c9586d64b6ad7302327ab35547aa0a5b0103c3f07b66b13d416a1bee6d4d117293cd3cabe44113ec6d4"
34+
"sha256=7f56679c9561552762666de5b6b81c8e4cc2e9fd92272e2269878a2eb534e3c0"
35+
"sha512=87fdccafae83b0437f1ccd4f3cfbc49e699bc0804596480e0df88510ba33410f31d48c7f677fe72800ed3f442a3a586d82d86aee1d12a964f79892833847b16a"
3636
]
3737
}

‎esy.lock/opam/ocamlbuild.0.14.0/opam

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@ maintainer: "Gabriel Scherer <gabriel.scherer@gmail.com>"
33
authors: ["Nicolas Pouillard" "Berke Durak"]
44
homepage: "https://github.com/ocaml/ocamlbuild/"
55
bug-reports: "https://github.com/ocaml/ocamlbuild/issues"
6-
license: "LGPL-2 with OCaml linking exception"
6+
license: "LGPL-2.1-only with OCaml-LGPL-linking-exception"
77
doc: "https://github.com/ocaml/ocamlbuild/blob/master/manual/manual.adoc"
88
dev-repo: "git+https://github.com/ocaml/ocamlbuild.git"
99
build: [

‎esy.lock/opam/ocamlfind.1.8.1/opam

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -47,3 +47,4 @@ url {
4747
checksum: "md5=18ca650982c15536616dea0e422cbd8c"
4848
mirrors: "http://download2.camlcity.org/download/findlib-1.8.1.tar.gz"
4949
}
50+
depopts: ["graphics"]

‎esy.lock/opam/ppx_derivers.1.2.1/opam

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
opam-version: "2.0"
22
maintainer: "jeremie@dimino.org"
33
authors: ["Jérémie Dimino"]
4-
license: "BSD3"
4+
license: "BSD-3-Clause"
55
homepage: "https://github.com/ocaml-ppx/ppx_derivers"
66
bug-reports: "https://github.com/ocaml-ppx/ppx_derivers/issues"
77
dev-repo: "git://github.com/ocaml-ppx/ppx_derivers.git"

0 commit comments

Comments
 (0)