this repo has no description
Merge pull request #21507 from mjambon/release-atd-2.9.1
[new release] atdts, atds, atdpy, atdj, atdgen, atdgen-runtime, atdgen-codec-runtime and atd (2.9.1)
authored by
Marcello Seri
and committed by
GitHub
db17fab2
4bbe82f8
+770
+98
packages/atd/atd.2.9.1/opam
+98
packages/atd/atd.2.9.1/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "Parser for the ATD data format description language"
3
+
description: """
4
+
ATD is the OCaml library providing a parser for the ATD language and various
5
+
utilities. ATD stands for Adjustable Type Definitions in reference to its main
6
+
property of supporting annotations that allow a good fit with a variety of data
7
+
formats. """
8
+
maintainer: [
9
+
"Louis Roché <louis@louisroche.net>"
10
+
"Martin Jambon <martin@mjambon.com>"
11
+
"Rudi Grinberg <me@rgrinberg.com>"
12
+
]
13
+
authors: [
14
+
"Martin Jambon <martin@mjambon.com>"
15
+
"Rudi Grinberg <rudi.grinberg@gmail.com>"
16
+
"Martin Jambon <martin@r2c.dev>"
17
+
"Martin Jambon <github@mjambon.com>"
18
+
"Ivan Jager <aij+git@mrph.org>"
19
+
"oleksiy <oleksiy.golovko@ahrefs.com>"
20
+
"David Sheets <sheets@alum.mit.edu>"
21
+
"Rudi Grinberg <me@rgrinberg.com>"
22
+
"Martin Jambon <martin@esper.com>"
23
+
"Jeff Meister <nanaki@gmail.com>"
24
+
"Caio Wakamatsu <caio.wakamatsu@ahrefs.com>"
25
+
"Carmelo Piccione <carmelo.piccione@gmail.com>"
26
+
"Daniel Weil <danweil68@gmail.com>"
27
+
"Egor Chemokhonenko <egor.chemohonenko@ahrefs.com>"
28
+
"Gabriel Scherer <gabriel.scherer@gmail.com>"
29
+
"Raman Varabets <roman.vorobets@gmail.com>"
30
+
"tzm <frank@boldsolutions.de>"
31
+
"Mathieu Baudet <mathieubaudet@fb.com>"
32
+
"Oleksiy Golovko <alexei.golovko@gmail.com>"
33
+
"Rauan Mayemir <rauan@mayemir.io>"
34
+
"Carmelo Piccione <cep1@solvuu.com>"
35
+
"John Billings <john@monkeynut.org>"
36
+
"Louis Roché <louis@louisroche.net>"
37
+
"Brendan Long <self@brendanlong.com>"
38
+
"Chris Yocum <cyocum@gmail.com>"
39
+
"Louis Roché (Ahrefs) <louis.roche@ahrefs.com>"
40
+
"Louis Roché <louis.roche@ahrefs.com>"
41
+
"Pavel Antoshkin <pavel.antoshkin@ahrefs.com>"
42
+
"Pierre Boutillier <pierre.boutillier@laposte.net>"
43
+
"Shon Feder <shon.feder@key.me>"
44
+
"Anurag Soni <anuragsoni.13@gmail.com>"
45
+
"Arjun Ravi Narayan <arjunravinarayan@gmail.com>"
46
+
"Asya-kawai <kawai-toshiki@aintek.xyz>"
47
+
"Christophe Troestler <christophe.Troestler@umons.ac.be>"
48
+
"Damien Doligez <ddoligez@janestreet.com>"
49
+
"Daniel M <dan.mntg@gmail.com>"
50
+
"Ding Xiang Fei <dingxiangfei2009@protonmail.ch>"
51
+
"François Pottier <francois.pottier@inria.fr>"
52
+
"Javier Chavarri <javier.chavarri@gmail.com>"
53
+
"Kate <kit.ty.kate@disroot.org>"
54
+
"Louis <louis.roche@ahrefs.com>"
55
+
"Louis Roché <louis@cryptosense.com>"
56
+
"Raman Varabets <raman+git@ahrefs.com>"
57
+
"Stephane Legrand <slegrand45@gmail.com>"
58
+
"Vincent Bernardoff <vb@luminar.eu.org>"
59
+
"haoyang <haoyang@esper.co>"
60
+
"pmundkur <prashanth.mundkur@gmail.com>"
61
+
"ygrek <ygrek@autistici.org>"
62
+
]
63
+
license: "MIT"
64
+
homepage: "https://github.com/ahrefs/atd"
65
+
bug-reports: "https://github.com/ahrefs/atd/issues"
66
+
depends: [
67
+
"dune" {>= "2.8"}
68
+
"ocaml" {>= "4.08"}
69
+
"menhir" {>= "20180523" & != "20211230"}
70
+
"easy-format"
71
+
"alcotest" {with-test}
72
+
"odoc" {with-doc}
73
+
"re" {>= "1.9.0"}
74
+
"yojson" {>= "1.6.0"}
75
+
]
76
+
dev-repo: "git+https://github.com/ahrefs/atd.git"
77
+
build: [
78
+
["dune" "subst"] {dev}
79
+
[
80
+
"dune"
81
+
"build"
82
+
"-p"
83
+
name
84
+
"-j"
85
+
jobs
86
+
"@install"
87
+
"@doc" {with-doc}
88
+
]
89
+
]
90
+
url {
91
+
src:
92
+
"https://github.com/ahrefs/atd/releases/download/2.9.1/atdts-2.9.1.tbz"
93
+
checksum: [
94
+
"sha256=39dc1a511d08c743b3f0d0e6dfa9c8caf211cc5fabfe92a089e8f57e170e9ae4"
95
+
"sha512=2149ddc53703a8c4c01c5571125ba66cce7305fac332357acfda36a44a67a7c9df2a0322cb05682fed3656067c26cdbe2e50071db5b2e5233abc1cfcf103e34e"
96
+
]
97
+
}
98
+
x-commit-hash: "31799bf3955b11d8d9c12334cb65e7609927e09c"
+91
packages/atdgen-codec-runtime/atdgen-codec-runtime.2.9.1/opam
+91
packages/atdgen-codec-runtime/atdgen-codec-runtime.2.9.1/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "Runtime for atdgen generated bucklescript converters"
3
+
description: """
4
+
This library contains the types that are used by atdgen's
5
+
bucklescript backend"""
6
+
maintainer: [
7
+
"Louis Roché <louis@louisroche.net>"
8
+
"Martin Jambon <martin@mjambon.com>"
9
+
"Rudi Grinberg <me@rgrinberg.com>"
10
+
]
11
+
authors: [
12
+
"Martin Jambon <martin@mjambon.com>"
13
+
"Rudi Grinberg <rudi.grinberg@gmail.com>"
14
+
"Martin Jambon <martin@r2c.dev>"
15
+
"Martin Jambon <github@mjambon.com>"
16
+
"Ivan Jager <aij+git@mrph.org>"
17
+
"oleksiy <oleksiy.golovko@ahrefs.com>"
18
+
"David Sheets <sheets@alum.mit.edu>"
19
+
"Rudi Grinberg <me@rgrinberg.com>"
20
+
"Martin Jambon <martin@esper.com>"
21
+
"Jeff Meister <nanaki@gmail.com>"
22
+
"Caio Wakamatsu <caio.wakamatsu@ahrefs.com>"
23
+
"Carmelo Piccione <carmelo.piccione@gmail.com>"
24
+
"Daniel Weil <danweil68@gmail.com>"
25
+
"Egor Chemokhonenko <egor.chemohonenko@ahrefs.com>"
26
+
"Gabriel Scherer <gabriel.scherer@gmail.com>"
27
+
"Raman Varabets <roman.vorobets@gmail.com>"
28
+
"tzm <frank@boldsolutions.de>"
29
+
"Mathieu Baudet <mathieubaudet@fb.com>"
30
+
"Oleksiy Golovko <alexei.golovko@gmail.com>"
31
+
"Rauan Mayemir <rauan@mayemir.io>"
32
+
"Carmelo Piccione <cep1@solvuu.com>"
33
+
"John Billings <john@monkeynut.org>"
34
+
"Louis Roché <louis@louisroche.net>"
35
+
"Brendan Long <self@brendanlong.com>"
36
+
"Chris Yocum <cyocum@gmail.com>"
37
+
"Louis Roché (Ahrefs) <louis.roche@ahrefs.com>"
38
+
"Louis Roché <louis.roche@ahrefs.com>"
39
+
"Pavel Antoshkin <pavel.antoshkin@ahrefs.com>"
40
+
"Pierre Boutillier <pierre.boutillier@laposte.net>"
41
+
"Shon Feder <shon.feder@key.me>"
42
+
"Anurag Soni <anuragsoni.13@gmail.com>"
43
+
"Arjun Ravi Narayan <arjunravinarayan@gmail.com>"
44
+
"Asya-kawai <kawai-toshiki@aintek.xyz>"
45
+
"Christophe Troestler <christophe.Troestler@umons.ac.be>"
46
+
"Damien Doligez <ddoligez@janestreet.com>"
47
+
"Daniel M <dan.mntg@gmail.com>"
48
+
"Ding Xiang Fei <dingxiangfei2009@protonmail.ch>"
49
+
"François Pottier <francois.pottier@inria.fr>"
50
+
"Javier Chavarri <javier.chavarri@gmail.com>"
51
+
"Kate <kit.ty.kate@disroot.org>"
52
+
"Louis <louis.roche@ahrefs.com>"
53
+
"Louis Roché <louis@cryptosense.com>"
54
+
"Raman Varabets <raman+git@ahrefs.com>"
55
+
"Stephane Legrand <slegrand45@gmail.com>"
56
+
"Vincent Bernardoff <vb@luminar.eu.org>"
57
+
"haoyang <haoyang@esper.co>"
58
+
"pmundkur <prashanth.mundkur@gmail.com>"
59
+
"ygrek <ygrek@autistici.org>"
60
+
]
61
+
license: "MIT"
62
+
homepage: "https://github.com/ahrefs/atd"
63
+
bug-reports: "https://github.com/ahrefs/atd/issues"
64
+
depends: [
65
+
"dune" {>= "2.8"}
66
+
"ocaml" {>= "4.08"}
67
+
"odoc" {with-doc}
68
+
]
69
+
dev-repo: "git+https://github.com/ahrefs/atd.git"
70
+
build: [
71
+
["dune" "subst"] {dev}
72
+
[
73
+
"dune"
74
+
"build"
75
+
"-p"
76
+
name
77
+
"-j"
78
+
jobs
79
+
"@install"
80
+
"@doc" {with-doc}
81
+
]
82
+
]
83
+
url {
84
+
src:
85
+
"https://github.com/ahrefs/atd/releases/download/2.9.1/atdts-2.9.1.tbz"
86
+
checksum: [
87
+
"sha256=39dc1a511d08c743b3f0d0e6dfa9c8caf211cc5fabfe92a089e8f57e170e9ae4"
88
+
"sha512=2149ddc53703a8c4c01c5571125ba66cce7305fac332357acfda36a44a67a7c9df2a0322cb05682fed3656067c26cdbe2e50071db5b2e5233abc1cfcf103e34e"
89
+
]
90
+
}
91
+
x-commit-hash: "31799bf3955b11d8d9c12334cb65e7609927e09c"
+94
packages/atdgen-runtime/atdgen-runtime.2.9.1/opam
+94
packages/atdgen-runtime/atdgen-runtime.2.9.1/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "Runtime library for code generated by atdgen"
3
+
description: """
4
+
This package should be used only in conjunction with the atdgen code
5
+
generator"""
6
+
maintainer: [
7
+
"Louis Roché <louis@louisroche.net>"
8
+
"Martin Jambon <martin@mjambon.com>"
9
+
"Rudi Grinberg <me@rgrinberg.com>"
10
+
]
11
+
authors: [
12
+
"Martin Jambon <martin@mjambon.com>"
13
+
"Rudi Grinberg <rudi.grinberg@gmail.com>"
14
+
"Martin Jambon <martin@r2c.dev>"
15
+
"Martin Jambon <github@mjambon.com>"
16
+
"Ivan Jager <aij+git@mrph.org>"
17
+
"oleksiy <oleksiy.golovko@ahrefs.com>"
18
+
"David Sheets <sheets@alum.mit.edu>"
19
+
"Rudi Grinberg <me@rgrinberg.com>"
20
+
"Martin Jambon <martin@esper.com>"
21
+
"Jeff Meister <nanaki@gmail.com>"
22
+
"Caio Wakamatsu <caio.wakamatsu@ahrefs.com>"
23
+
"Carmelo Piccione <carmelo.piccione@gmail.com>"
24
+
"Daniel Weil <danweil68@gmail.com>"
25
+
"Egor Chemokhonenko <egor.chemohonenko@ahrefs.com>"
26
+
"Gabriel Scherer <gabriel.scherer@gmail.com>"
27
+
"Raman Varabets <roman.vorobets@gmail.com>"
28
+
"tzm <frank@boldsolutions.de>"
29
+
"Mathieu Baudet <mathieubaudet@fb.com>"
30
+
"Oleksiy Golovko <alexei.golovko@gmail.com>"
31
+
"Rauan Mayemir <rauan@mayemir.io>"
32
+
"Carmelo Piccione <cep1@solvuu.com>"
33
+
"John Billings <john@monkeynut.org>"
34
+
"Louis Roché <louis@louisroche.net>"
35
+
"Brendan Long <self@brendanlong.com>"
36
+
"Chris Yocum <cyocum@gmail.com>"
37
+
"Louis Roché (Ahrefs) <louis.roche@ahrefs.com>"
38
+
"Louis Roché <louis.roche@ahrefs.com>"
39
+
"Pavel Antoshkin <pavel.antoshkin@ahrefs.com>"
40
+
"Pierre Boutillier <pierre.boutillier@laposte.net>"
41
+
"Shon Feder <shon.feder@key.me>"
42
+
"Anurag Soni <anuragsoni.13@gmail.com>"
43
+
"Arjun Ravi Narayan <arjunravinarayan@gmail.com>"
44
+
"Asya-kawai <kawai-toshiki@aintek.xyz>"
45
+
"Christophe Troestler <christophe.Troestler@umons.ac.be>"
46
+
"Damien Doligez <ddoligez@janestreet.com>"
47
+
"Daniel M <dan.mntg@gmail.com>"
48
+
"Ding Xiang Fei <dingxiangfei2009@protonmail.ch>"
49
+
"François Pottier <francois.pottier@inria.fr>"
50
+
"Javier Chavarri <javier.chavarri@gmail.com>"
51
+
"Kate <kit.ty.kate@disroot.org>"
52
+
"Louis <louis.roche@ahrefs.com>"
53
+
"Louis Roché <louis@cryptosense.com>"
54
+
"Raman Varabets <raman+git@ahrefs.com>"
55
+
"Stephane Legrand <slegrand45@gmail.com>"
56
+
"Vincent Bernardoff <vb@luminar.eu.org>"
57
+
"haoyang <haoyang@esper.co>"
58
+
"pmundkur <prashanth.mundkur@gmail.com>"
59
+
"ygrek <ygrek@autistici.org>"
60
+
]
61
+
license: "MIT"
62
+
homepage: "https://github.com/ahrefs/atd"
63
+
bug-reports: "https://github.com/ahrefs/atd/issues"
64
+
depends: [
65
+
"dune" {>= "2.8"}
66
+
"ocaml" {>= "4.08"}
67
+
"yojson" {>= "1.7.0" & < "2.0.0"}
68
+
"biniou" {>= "1.0.6"}
69
+
"camlp-streams"
70
+
"odoc" {with-doc}
71
+
]
72
+
dev-repo: "git+https://github.com/ahrefs/atd.git"
73
+
build: [
74
+
["dune" "subst"] {dev}
75
+
[
76
+
"dune"
77
+
"build"
78
+
"-p"
79
+
name
80
+
"-j"
81
+
jobs
82
+
"@install"
83
+
"@doc" {with-doc}
84
+
]
85
+
]
86
+
url {
87
+
src:
88
+
"https://github.com/ahrefs/atd/releases/download/2.9.1/atdts-2.9.1.tbz"
89
+
checksum: [
90
+
"sha256=39dc1a511d08c743b3f0d0e6dfa9c8caf211cc5fabfe92a089e8f57e170e9ae4"
91
+
"sha512=2149ddc53703a8c4c01c5571125ba66cce7305fac332357acfda36a44a67a7c9df2a0322cb05682fed3656067c26cdbe2e50071db5b2e5233abc1cfcf103e34e"
92
+
]
93
+
}
94
+
x-commit-hash: "31799bf3955b11d8d9c12334cb65e7609927e09c"
+105
packages/atdgen/atdgen.2.9.1/opam
+105
packages/atdgen/atdgen.2.9.1/opam
···
1
+
opam-version: "2.0"
2
+
synopsis:
3
+
"Generates efficient JSON serializers, deserializers and validators"
4
+
description: """
5
+
Atdgen is a command-line program that takes as input type definitions in the ATD
6
+
syntax and produces OCaml code suitable for data serialization and
7
+
deserialization.
8
+
Two data formats are currently supported, these are biniou and JSON.
9
+
Atdgen-biniou and Atdgen-json will refer to Atdgen used in one context or the
10
+
other.
11
+
Atdgen was designed with efficiency and durability in mind. Software authors are
12
+
encouraged to use Atdgen directly and to write tools that may reuse part of
13
+
Atdgen’s source code."""
14
+
maintainer: [
15
+
"Louis Roché <louis@louisroche.net>"
16
+
"Martin Jambon <martin@mjambon.com>"
17
+
"Rudi Grinberg <me@rgrinberg.com>"
18
+
]
19
+
authors: [
20
+
"Martin Jambon <martin@mjambon.com>"
21
+
"Rudi Grinberg <rudi.grinberg@gmail.com>"
22
+
"Martin Jambon <martin@r2c.dev>"
23
+
"Martin Jambon <github@mjambon.com>"
24
+
"Ivan Jager <aij+git@mrph.org>"
25
+
"oleksiy <oleksiy.golovko@ahrefs.com>"
26
+
"David Sheets <sheets@alum.mit.edu>"
27
+
"Rudi Grinberg <me@rgrinberg.com>"
28
+
"Martin Jambon <martin@esper.com>"
29
+
"Jeff Meister <nanaki@gmail.com>"
30
+
"Caio Wakamatsu <caio.wakamatsu@ahrefs.com>"
31
+
"Carmelo Piccione <carmelo.piccione@gmail.com>"
32
+
"Daniel Weil <danweil68@gmail.com>"
33
+
"Egor Chemokhonenko <egor.chemohonenko@ahrefs.com>"
34
+
"Gabriel Scherer <gabriel.scherer@gmail.com>"
35
+
"Raman Varabets <roman.vorobets@gmail.com>"
36
+
"tzm <frank@boldsolutions.de>"
37
+
"Mathieu Baudet <mathieubaudet@fb.com>"
38
+
"Oleksiy Golovko <alexei.golovko@gmail.com>"
39
+
"Rauan Mayemir <rauan@mayemir.io>"
40
+
"Carmelo Piccione <cep1@solvuu.com>"
41
+
"John Billings <john@monkeynut.org>"
42
+
"Louis Roché <louis@louisroche.net>"
43
+
"Brendan Long <self@brendanlong.com>"
44
+
"Chris Yocum <cyocum@gmail.com>"
45
+
"Louis Roché (Ahrefs) <louis.roche@ahrefs.com>"
46
+
"Louis Roché <louis.roche@ahrefs.com>"
47
+
"Pavel Antoshkin <pavel.antoshkin@ahrefs.com>"
48
+
"Pierre Boutillier <pierre.boutillier@laposte.net>"
49
+
"Shon Feder <shon.feder@key.me>"
50
+
"Anurag Soni <anuragsoni.13@gmail.com>"
51
+
"Arjun Ravi Narayan <arjunravinarayan@gmail.com>"
52
+
"Asya-kawai <kawai-toshiki@aintek.xyz>"
53
+
"Christophe Troestler <christophe.Troestler@umons.ac.be>"
54
+
"Damien Doligez <ddoligez@janestreet.com>"
55
+
"Daniel M <dan.mntg@gmail.com>"
56
+
"Ding Xiang Fei <dingxiangfei2009@protonmail.ch>"
57
+
"François Pottier <francois.pottier@inria.fr>"
58
+
"Javier Chavarri <javier.chavarri@gmail.com>"
59
+
"Kate <kit.ty.kate@disroot.org>"
60
+
"Louis <louis.roche@ahrefs.com>"
61
+
"Louis Roché <louis@cryptosense.com>"
62
+
"Raman Varabets <raman+git@ahrefs.com>"
63
+
"Stephane Legrand <slegrand45@gmail.com>"
64
+
"Vincent Bernardoff <vb@luminar.eu.org>"
65
+
"haoyang <haoyang@esper.co>"
66
+
"pmundkur <prashanth.mundkur@gmail.com>"
67
+
"ygrek <ygrek@autistici.org>"
68
+
]
69
+
license: "MIT"
70
+
homepage: "https://github.com/ahrefs/atd"
71
+
bug-reports: "https://github.com/ahrefs/atd/issues"
72
+
depends: [
73
+
"dune" {>= "2.8"}
74
+
"ocaml" {>= "4.08"}
75
+
"atd" {>= "2.7.0"}
76
+
"atdgen-runtime" {>= "2.1.0"}
77
+
"atdgen-codec-runtime" {with-test}
78
+
"biniou" {>= "1.0.6"}
79
+
"yojson" {>= "1.7.0" & < "2.0.0"}
80
+
"odoc" {with-doc}
81
+
"re"
82
+
]
83
+
dev-repo: "git+https://github.com/ahrefs/atd.git"
84
+
build: [
85
+
["dune" "subst"] {dev}
86
+
[
87
+
"dune"
88
+
"build"
89
+
"-p"
90
+
name
91
+
"-j"
92
+
jobs
93
+
"@install"
94
+
"@doc" {with-doc}
95
+
]
96
+
]
97
+
url {
98
+
src:
99
+
"https://github.com/ahrefs/atd/releases/download/2.9.1/atdts-2.9.1.tbz"
100
+
checksum: [
101
+
"sha256=39dc1a511d08c743b3f0d0e6dfa9c8caf211cc5fabfe92a089e8f57e170e9ae4"
102
+
"sha512=2149ddc53703a8c4c01c5571125ba66cce7305fac332357acfda36a44a67a7c9df2a0322cb05682fed3656067c26cdbe2e50071db5b2e5233abc1cfcf103e34e"
103
+
]
104
+
}
105
+
x-commit-hash: "31799bf3955b11d8d9c12334cb65e7609927e09c"
+105
packages/atdj/atdj.2.9.1/opam
+105
packages/atdj/atdj.2.9.1/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "Java code generation for ATD"
3
+
description: """
4
+
Atdj is a program that generates a Java interface from type definitions. In
5
+
particular, given a set of ATD type definitions, this tool generates a set of
6
+
Java classes representing those types with built-in JSON serializers and
7
+
deserializers
8
+
9
+
The primary benefits of using the generated interface, over manually
10
+
manipulating JSON strings from within Java, are safety and ease of use.
11
+
Specifically, the generated interface offers the following features:
12
+
13
+
- JSON strings are automatically checked for correctness with respect to the ATD
14
+
specification.
15
+
16
+
- Details such as optional fields and their associated default values are
17
+
automatically handled"""
18
+
maintainer: [
19
+
"Louis Roché <louis@louisroche.net>"
20
+
"Martin Jambon <martin@mjambon.com>"
21
+
"Rudi Grinberg <me@rgrinberg.com>"
22
+
]
23
+
authors: [
24
+
"Martin Jambon <martin@mjambon.com>"
25
+
"Rudi Grinberg <rudi.grinberg@gmail.com>"
26
+
"Martin Jambon <martin@r2c.dev>"
27
+
"Martin Jambon <github@mjambon.com>"
28
+
"Ivan Jager <aij+git@mrph.org>"
29
+
"oleksiy <oleksiy.golovko@ahrefs.com>"
30
+
"David Sheets <sheets@alum.mit.edu>"
31
+
"Rudi Grinberg <me@rgrinberg.com>"
32
+
"Martin Jambon <martin@esper.com>"
33
+
"Jeff Meister <nanaki@gmail.com>"
34
+
"Caio Wakamatsu <caio.wakamatsu@ahrefs.com>"
35
+
"Carmelo Piccione <carmelo.piccione@gmail.com>"
36
+
"Daniel Weil <danweil68@gmail.com>"
37
+
"Egor Chemokhonenko <egor.chemohonenko@ahrefs.com>"
38
+
"Gabriel Scherer <gabriel.scherer@gmail.com>"
39
+
"Raman Varabets <roman.vorobets@gmail.com>"
40
+
"tzm <frank@boldsolutions.de>"
41
+
"Mathieu Baudet <mathieubaudet@fb.com>"
42
+
"Oleksiy Golovko <alexei.golovko@gmail.com>"
43
+
"Rauan Mayemir <rauan@mayemir.io>"
44
+
"Carmelo Piccione <cep1@solvuu.com>"
45
+
"John Billings <john@monkeynut.org>"
46
+
"Louis Roché <louis@louisroche.net>"
47
+
"Brendan Long <self@brendanlong.com>"
48
+
"Chris Yocum <cyocum@gmail.com>"
49
+
"Louis Roché (Ahrefs) <louis.roche@ahrefs.com>"
50
+
"Louis Roché <louis.roche@ahrefs.com>"
51
+
"Pavel Antoshkin <pavel.antoshkin@ahrefs.com>"
52
+
"Pierre Boutillier <pierre.boutillier@laposte.net>"
53
+
"Shon Feder <shon.feder@key.me>"
54
+
"Anurag Soni <anuragsoni.13@gmail.com>"
55
+
"Arjun Ravi Narayan <arjunravinarayan@gmail.com>"
56
+
"Asya-kawai <kawai-toshiki@aintek.xyz>"
57
+
"Christophe Troestler <christophe.Troestler@umons.ac.be>"
58
+
"Damien Doligez <ddoligez@janestreet.com>"
59
+
"Daniel M <dan.mntg@gmail.com>"
60
+
"Ding Xiang Fei <dingxiangfei2009@protonmail.ch>"
61
+
"François Pottier <francois.pottier@inria.fr>"
62
+
"Javier Chavarri <javier.chavarri@gmail.com>"
63
+
"Kate <kit.ty.kate@disroot.org>"
64
+
"Louis <louis.roche@ahrefs.com>"
65
+
"Louis Roché <louis@cryptosense.com>"
66
+
"Raman Varabets <raman+git@ahrefs.com>"
67
+
"Stephane Legrand <slegrand45@gmail.com>"
68
+
"Vincent Bernardoff <vb@luminar.eu.org>"
69
+
"haoyang <haoyang@esper.co>"
70
+
"pmundkur <prashanth.mundkur@gmail.com>"
71
+
"ygrek <ygrek@autistici.org>"
72
+
]
73
+
license: "MIT"
74
+
homepage: "https://github.com/ahrefs/atd"
75
+
bug-reports: "https://github.com/ahrefs/atd/issues"
76
+
depends: [
77
+
"dune" {>= "2.8"}
78
+
"ocaml" {>= "4.08"}
79
+
"atd" {>= "2.7.0"}
80
+
"re"
81
+
"odoc" {with-doc}
82
+
]
83
+
dev-repo: "git+https://github.com/ahrefs/atd.git"
84
+
build: [
85
+
["dune" "subst"] {dev}
86
+
[
87
+
"dune"
88
+
"build"
89
+
"-p"
90
+
name
91
+
"-j"
92
+
jobs
93
+
"@install"
94
+
"@doc" {with-doc}
95
+
]
96
+
]
97
+
url {
98
+
src:
99
+
"https://github.com/ahrefs/atd/releases/download/2.9.1/atdts-2.9.1.tbz"
100
+
checksum: [
101
+
"sha256=39dc1a511d08c743b3f0d0e6dfa9c8caf211cc5fabfe92a089e8f57e170e9ae4"
102
+
"sha512=2149ddc53703a8c4c01c5571125ba66cce7305fac332357acfda36a44a67a7c9df2a0322cb05682fed3656067c26cdbe2e50071db5b2e5233abc1cfcf103e34e"
103
+
]
104
+
}
105
+
x-commit-hash: "31799bf3955b11d8d9c12334cb65e7609927e09c"
+94
packages/atdpy/atdpy.2.9.1/opam
+94
packages/atdpy/atdpy.2.9.1/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "Python/mypy code generation for ATD APIs"
3
+
description: "Python/mypy code generation for ATD APIs"
4
+
maintainer: [
5
+
"Louis Roché <louis@louisroche.net>"
6
+
"Martin Jambon <martin@mjambon.com>"
7
+
"Rudi Grinberg <me@rgrinberg.com>"
8
+
]
9
+
authors: [
10
+
"Martin Jambon <martin@mjambon.com>"
11
+
"Rudi Grinberg <rudi.grinberg@gmail.com>"
12
+
"Martin Jambon <martin@r2c.dev>"
13
+
"Martin Jambon <github@mjambon.com>"
14
+
"Ivan Jager <aij+git@mrph.org>"
15
+
"oleksiy <oleksiy.golovko@ahrefs.com>"
16
+
"David Sheets <sheets@alum.mit.edu>"
17
+
"Rudi Grinberg <me@rgrinberg.com>"
18
+
"Martin Jambon <martin@esper.com>"
19
+
"Jeff Meister <nanaki@gmail.com>"
20
+
"Caio Wakamatsu <caio.wakamatsu@ahrefs.com>"
21
+
"Carmelo Piccione <carmelo.piccione@gmail.com>"
22
+
"Daniel Weil <danweil68@gmail.com>"
23
+
"Egor Chemokhonenko <egor.chemohonenko@ahrefs.com>"
24
+
"Gabriel Scherer <gabriel.scherer@gmail.com>"
25
+
"Raman Varabets <roman.vorobets@gmail.com>"
26
+
"tzm <frank@boldsolutions.de>"
27
+
"Mathieu Baudet <mathieubaudet@fb.com>"
28
+
"Oleksiy Golovko <alexei.golovko@gmail.com>"
29
+
"Rauan Mayemir <rauan@mayemir.io>"
30
+
"Carmelo Piccione <cep1@solvuu.com>"
31
+
"John Billings <john@monkeynut.org>"
32
+
"Louis Roché <louis@louisroche.net>"
33
+
"Brendan Long <self@brendanlong.com>"
34
+
"Chris Yocum <cyocum@gmail.com>"
35
+
"Louis Roché (Ahrefs) <louis.roche@ahrefs.com>"
36
+
"Louis Roché <louis.roche@ahrefs.com>"
37
+
"Pavel Antoshkin <pavel.antoshkin@ahrefs.com>"
38
+
"Pierre Boutillier <pierre.boutillier@laposte.net>"
39
+
"Shon Feder <shon.feder@key.me>"
40
+
"Anurag Soni <anuragsoni.13@gmail.com>"
41
+
"Arjun Ravi Narayan <arjunravinarayan@gmail.com>"
42
+
"Asya-kawai <kawai-toshiki@aintek.xyz>"
43
+
"Christophe Troestler <christophe.Troestler@umons.ac.be>"
44
+
"Damien Doligez <ddoligez@janestreet.com>"
45
+
"Daniel M <dan.mntg@gmail.com>"
46
+
"Ding Xiang Fei <dingxiangfei2009@protonmail.ch>"
47
+
"François Pottier <francois.pottier@inria.fr>"
48
+
"Javier Chavarri <javier.chavarri@gmail.com>"
49
+
"Kate <kit.ty.kate@disroot.org>"
50
+
"Louis <louis.roche@ahrefs.com>"
51
+
"Louis Roché <louis@cryptosense.com>"
52
+
"Raman Varabets <raman+git@ahrefs.com>"
53
+
"Stephane Legrand <slegrand45@gmail.com>"
54
+
"Vincent Bernardoff <vb@luminar.eu.org>"
55
+
"haoyang <haoyang@esper.co>"
56
+
"pmundkur <prashanth.mundkur@gmail.com>"
57
+
"ygrek <ygrek@autistici.org>"
58
+
]
59
+
license: "MIT"
60
+
homepage: "https://github.com/ahrefs/atd"
61
+
bug-reports: "https://github.com/ahrefs/atd/issues"
62
+
depends: [
63
+
"dune" {>= "2.8"}
64
+
"ocaml" {>= "4.08"}
65
+
"atd" {>= "2.7.0"}
66
+
"cmdliner" {>= "1.1.0"}
67
+
"re"
68
+
"alcotest" {with-test}
69
+
"conf-python-3" {with-test}
70
+
"odoc" {with-doc}
71
+
]
72
+
dev-repo: "git+https://github.com/ahrefs/atd.git"
73
+
build: [
74
+
["dune" "subst"] {dev}
75
+
[
76
+
"dune"
77
+
"build"
78
+
"-p"
79
+
name
80
+
"-j"
81
+
jobs
82
+
"@install"
83
+
"@doc" {with-doc}
84
+
]
85
+
]
86
+
url {
87
+
src:
88
+
"https://github.com/ahrefs/atd/releases/download/2.9.1/atdts-2.9.1.tbz"
89
+
checksum: [
90
+
"sha256=39dc1a511d08c743b3f0d0e6dfa9c8caf211cc5fabfe92a089e8f57e170e9ae4"
91
+
"sha512=2149ddc53703a8c4c01c5571125ba66cce7305fac332357acfda36a44a67a7c9df2a0322cb05682fed3656067c26cdbe2e50071db5b2e5233abc1cfcf103e34e"
92
+
]
93
+
}
94
+
x-commit-hash: "31799bf3955b11d8d9c12334cb65e7609927e09c"
+90
packages/atds/atds.2.9.1/opam
+90
packages/atds/atds.2.9.1/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "ATD Code generator for Scala"
3
+
description: "ATD Code generator for Scala"
4
+
maintainer: [
5
+
"Louis Roché <louis@louisroche.net>"
6
+
"Martin Jambon <martin@mjambon.com>"
7
+
"Rudi Grinberg <me@rgrinberg.com>"
8
+
]
9
+
authors: [
10
+
"Martin Jambon <martin@mjambon.com>"
11
+
"Rudi Grinberg <rudi.grinberg@gmail.com>"
12
+
"Martin Jambon <martin@r2c.dev>"
13
+
"Martin Jambon <github@mjambon.com>"
14
+
"Ivan Jager <aij+git@mrph.org>"
15
+
"oleksiy <oleksiy.golovko@ahrefs.com>"
16
+
"David Sheets <sheets@alum.mit.edu>"
17
+
"Rudi Grinberg <me@rgrinberg.com>"
18
+
"Martin Jambon <martin@esper.com>"
19
+
"Jeff Meister <nanaki@gmail.com>"
20
+
"Caio Wakamatsu <caio.wakamatsu@ahrefs.com>"
21
+
"Carmelo Piccione <carmelo.piccione@gmail.com>"
22
+
"Daniel Weil <danweil68@gmail.com>"
23
+
"Egor Chemokhonenko <egor.chemohonenko@ahrefs.com>"
24
+
"Gabriel Scherer <gabriel.scherer@gmail.com>"
25
+
"Raman Varabets <roman.vorobets@gmail.com>"
26
+
"tzm <frank@boldsolutions.de>"
27
+
"Mathieu Baudet <mathieubaudet@fb.com>"
28
+
"Oleksiy Golovko <alexei.golovko@gmail.com>"
29
+
"Rauan Mayemir <rauan@mayemir.io>"
30
+
"Carmelo Piccione <cep1@solvuu.com>"
31
+
"John Billings <john@monkeynut.org>"
32
+
"Louis Roché <louis@louisroche.net>"
33
+
"Brendan Long <self@brendanlong.com>"
34
+
"Chris Yocum <cyocum@gmail.com>"
35
+
"Louis Roché (Ahrefs) <louis.roche@ahrefs.com>"
36
+
"Louis Roché <louis.roche@ahrefs.com>"
37
+
"Pavel Antoshkin <pavel.antoshkin@ahrefs.com>"
38
+
"Pierre Boutillier <pierre.boutillier@laposte.net>"
39
+
"Shon Feder <shon.feder@key.me>"
40
+
"Anurag Soni <anuragsoni.13@gmail.com>"
41
+
"Arjun Ravi Narayan <arjunravinarayan@gmail.com>"
42
+
"Asya-kawai <kawai-toshiki@aintek.xyz>"
43
+
"Christophe Troestler <christophe.Troestler@umons.ac.be>"
44
+
"Damien Doligez <ddoligez@janestreet.com>"
45
+
"Daniel M <dan.mntg@gmail.com>"
46
+
"Ding Xiang Fei <dingxiangfei2009@protonmail.ch>"
47
+
"François Pottier <francois.pottier@inria.fr>"
48
+
"Javier Chavarri <javier.chavarri@gmail.com>"
49
+
"Kate <kit.ty.kate@disroot.org>"
50
+
"Louis <louis.roche@ahrefs.com>"
51
+
"Louis Roché <louis@cryptosense.com>"
52
+
"Raman Varabets <raman+git@ahrefs.com>"
53
+
"Stephane Legrand <slegrand45@gmail.com>"
54
+
"Vincent Bernardoff <vb@luminar.eu.org>"
55
+
"haoyang <haoyang@esper.co>"
56
+
"pmundkur <prashanth.mundkur@gmail.com>"
57
+
"ygrek <ygrek@autistici.org>"
58
+
]
59
+
license: "MIT"
60
+
homepage: "https://github.com/ahrefs/atd"
61
+
bug-reports: "https://github.com/ahrefs/atd/issues"
62
+
depends: [
63
+
"dune" {>= "2.8"}
64
+
"ocaml" {>= "4.08"}
65
+
"atd" {>= "2.7.0"}
66
+
"odoc" {with-doc}
67
+
]
68
+
dev-repo: "git+https://github.com/ahrefs/atd.git"
69
+
build: [
70
+
["dune" "subst"] {dev}
71
+
[
72
+
"dune"
73
+
"build"
74
+
"-p"
75
+
name
76
+
"-j"
77
+
jobs
78
+
"@install"
79
+
"@doc" {with-doc}
80
+
]
81
+
]
82
+
url {
83
+
src:
84
+
"https://github.com/ahrefs/atd/releases/download/2.9.1/atdts-2.9.1.tbz"
85
+
checksum: [
86
+
"sha256=39dc1a511d08c743b3f0d0e6dfa9c8caf211cc5fabfe92a089e8f57e170e9ae4"
87
+
"sha512=2149ddc53703a8c4c01c5571125ba66cce7305fac332357acfda36a44a67a7c9df2a0322cb05682fed3656067c26cdbe2e50071db5b2e5233abc1cfcf103e34e"
88
+
]
89
+
}
90
+
x-commit-hash: "31799bf3955b11d8d9c12334cb65e7609927e09c"
+93
packages/atdts/atdts.2.9.1/opam
+93
packages/atdts/atdts.2.9.1/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "TypeScript code generation for ATD APIs"
3
+
description: "TypeScript code generation for ATD APIs"
4
+
maintainer: [
5
+
"Louis Roché <louis@louisroche.net>"
6
+
"Martin Jambon <martin@mjambon.com>"
7
+
"Rudi Grinberg <me@rgrinberg.com>"
8
+
]
9
+
authors: [
10
+
"Martin Jambon <martin@mjambon.com>"
11
+
"Rudi Grinberg <rudi.grinberg@gmail.com>"
12
+
"Martin Jambon <martin@r2c.dev>"
13
+
"Martin Jambon <github@mjambon.com>"
14
+
"Ivan Jager <aij+git@mrph.org>"
15
+
"oleksiy <oleksiy.golovko@ahrefs.com>"
16
+
"David Sheets <sheets@alum.mit.edu>"
17
+
"Rudi Grinberg <me@rgrinberg.com>"
18
+
"Martin Jambon <martin@esper.com>"
19
+
"Jeff Meister <nanaki@gmail.com>"
20
+
"Caio Wakamatsu <caio.wakamatsu@ahrefs.com>"
21
+
"Carmelo Piccione <carmelo.piccione@gmail.com>"
22
+
"Daniel Weil <danweil68@gmail.com>"
23
+
"Egor Chemokhonenko <egor.chemohonenko@ahrefs.com>"
24
+
"Gabriel Scherer <gabriel.scherer@gmail.com>"
25
+
"Raman Varabets <roman.vorobets@gmail.com>"
26
+
"tzm <frank@boldsolutions.de>"
27
+
"Mathieu Baudet <mathieubaudet@fb.com>"
28
+
"Oleksiy Golovko <alexei.golovko@gmail.com>"
29
+
"Rauan Mayemir <rauan@mayemir.io>"
30
+
"Carmelo Piccione <cep1@solvuu.com>"
31
+
"John Billings <john@monkeynut.org>"
32
+
"Louis Roché <louis@louisroche.net>"
33
+
"Brendan Long <self@brendanlong.com>"
34
+
"Chris Yocum <cyocum@gmail.com>"
35
+
"Louis Roché (Ahrefs) <louis.roche@ahrefs.com>"
36
+
"Louis Roché <louis.roche@ahrefs.com>"
37
+
"Pavel Antoshkin <pavel.antoshkin@ahrefs.com>"
38
+
"Pierre Boutillier <pierre.boutillier@laposte.net>"
39
+
"Shon Feder <shon.feder@key.me>"
40
+
"Anurag Soni <anuragsoni.13@gmail.com>"
41
+
"Arjun Ravi Narayan <arjunravinarayan@gmail.com>"
42
+
"Asya-kawai <kawai-toshiki@aintek.xyz>"
43
+
"Christophe Troestler <christophe.Troestler@umons.ac.be>"
44
+
"Damien Doligez <ddoligez@janestreet.com>"
45
+
"Daniel M <dan.mntg@gmail.com>"
46
+
"Ding Xiang Fei <dingxiangfei2009@protonmail.ch>"
47
+
"François Pottier <francois.pottier@inria.fr>"
48
+
"Javier Chavarri <javier.chavarri@gmail.com>"
49
+
"Kate <kit.ty.kate@disroot.org>"
50
+
"Louis <louis.roche@ahrefs.com>"
51
+
"Louis Roché <louis@cryptosense.com>"
52
+
"Raman Varabets <raman+git@ahrefs.com>"
53
+
"Stephane Legrand <slegrand45@gmail.com>"
54
+
"Vincent Bernardoff <vb@luminar.eu.org>"
55
+
"haoyang <haoyang@esper.co>"
56
+
"pmundkur <prashanth.mundkur@gmail.com>"
57
+
"ygrek <ygrek@autistici.org>"
58
+
]
59
+
license: "MIT"
60
+
homepage: "https://github.com/ahrefs/atd"
61
+
bug-reports: "https://github.com/ahrefs/atd/issues"
62
+
depends: [
63
+
"dune" {>= "2.8"}
64
+
"ocaml" {>= "4.08"}
65
+
"atd" {>= "2.7.0"}
66
+
"cmdliner" {>= "1.1.0"}
67
+
"re"
68
+
"alcotest" {with-test}
69
+
"odoc" {with-doc}
70
+
]
71
+
dev-repo: "git+https://github.com/ahrefs/atd.git"
72
+
build: [
73
+
["dune" "subst"] {dev}
74
+
[
75
+
"dune"
76
+
"build"
77
+
"-p"
78
+
name
79
+
"-j"
80
+
jobs
81
+
"@install"
82
+
"@doc" {with-doc}
83
+
]
84
+
]
85
+
url {
86
+
src:
87
+
"https://github.com/ahrefs/atd/releases/download/2.9.1/atdts-2.9.1.tbz"
88
+
checksum: [
89
+
"sha256=39dc1a511d08c743b3f0d0e6dfa9c8caf211cc5fabfe92a089e8f57e170e9ae4"
90
+
"sha512=2149ddc53703a8c4c01c5571125ba66cce7305fac332357acfda36a44a67a7c9df2a0322cb05682fed3656067c26cdbe2e50071db5b2e5233abc1cfcf103e34e"
91
+
]
92
+
}
93
+
x-commit-hash: "31799bf3955b11d8d9c12334cb65e7609927e09c"