this repo has no description
[new release] atd (10 packages) (2.16.0)
CHANGES:
* atdgen: Breaking change, migrate from Bucklescript to Melange (ahrefs/atd#375)
* atdd: Workaround d compiler bug regarding declaration order when using aliases (ahrefs/atd#393)
Algebraic data types (SumType) now uses `alias this` syntax.
* atdgen: Add support for `<json open_enum>` in Melange (ahrefs/atd#401)
* atdcpp: Initial Release (ahrefs/atd#404)
* atdcpp: Use `double` c++ type as default floating point type (ahrefs/atd#411)
* atdgen: Fix JSON I/O for inline records (ahrefs/atd#419)
* atdgen: The deprecated `atdgen` library is no longer available.
Use `atdgen-runtime` instead (ahrefs/atd#421)
* atddiff: To ensure that all the intended types are checked when new
type definitions are added to an ATD file, an `--ignore`
option is now available. It makes atddiff fail if some types
are neither selected via `--types` nor ignored via `--ignore`.
+956
+100
packages/atd/atd.2.16.0/opam
+100
packages/atd/atd.2.16.0/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. This package also provides the 'atdcat' and 'atddiff' command-line
8
+
utilities."""
9
+
maintainer: [
10
+
"Louis Roché <louis@louisroche.net>"
11
+
"Martin Jambon <martin@mjambon.com>"
12
+
"Rudi Grinberg <me@rgrinberg.com>"
13
+
]
14
+
authors: [
15
+
"Martin Jambon <martin@mjambon.com>"
16
+
"Rudi Grinberg <rudi.grinberg@gmail.com>"
17
+
"Martin Jambon <martin@r2c.dev>"
18
+
"Martin Jambon <github@mjambon.com>"
19
+
"Ivan Jager <aij+git@mrph.org>"
20
+
"oleksiy <oleksiy.golovko@ahrefs.com>"
21
+
"David Sheets <sheets@alum.mit.edu>"
22
+
"Rudi Grinberg <me@rgrinberg.com>"
23
+
"Martin Jambon <martin@esper.com>"
24
+
"Jeff Meister <nanaki@gmail.com>"
25
+
"Caio Wakamatsu <caio.wakamatsu@ahrefs.com>"
26
+
"Carmelo Piccione <carmelo.piccione@gmail.com>"
27
+
"Daniel Weil <danweil68@gmail.com>"
28
+
"Egor Chemokhonenko <egor.chemohonenko@ahrefs.com>"
29
+
"Gabriel Scherer <gabriel.scherer@gmail.com>"
30
+
"Raman Varabets <roman.vorobets@gmail.com>"
31
+
"tzm <frank@boldsolutions.de>"
32
+
"Mathieu Baudet <mathieubaudet@fb.com>"
33
+
"Oleksiy Golovko <alexei.golovko@gmail.com>"
34
+
"Rauan Mayemir <rauan@mayemir.io>"
35
+
"Carmelo Piccione <cep1@solvuu.com>"
36
+
"John Billings <john@monkeynut.org>"
37
+
"Louis Roché <louis@louisroche.net>"
38
+
"Brendan Long <self@brendanlong.com>"
39
+
"Chris Yocum <cyocum@gmail.com>"
40
+
"Louis Roché (Ahrefs) <louis.roche@ahrefs.com>"
41
+
"Louis Roché <louis.roche@ahrefs.com>"
42
+
"Pavel Antoshkin <pavel.antoshkin@ahrefs.com>"
43
+
"Pierre Boutillier <pierre.boutillier@laposte.net>"
44
+
"Shon Feder <shon.feder@key.me>"
45
+
"Anurag Soni <anuragsoni.13@gmail.com>"
46
+
"Arjun Ravi Narayan <arjunravinarayan@gmail.com>"
47
+
"Asya-kawai <kawai-toshiki@aintek.xyz>"
48
+
"Christophe Troestler <christophe.Troestler@umons.ac.be>"
49
+
"Damien Doligez <ddoligez@janestreet.com>"
50
+
"Daniel M <dan.mntg@gmail.com>"
51
+
"Ding Xiang Fei <dingxiangfei2009@protonmail.ch>"
52
+
"François Pottier <francois.pottier@inria.fr>"
53
+
"Javier Chavarri <javier.chavarri@gmail.com>"
54
+
"Kate <kit.ty.kate@disroot.org>"
55
+
"Louis <louis.roche@ahrefs.com>"
56
+
"Louis Roché <louis@cryptosense.com>"
57
+
"Raman Varabets <raman+git@ahrefs.com>"
58
+
"Stephane Legrand <slegrand45@gmail.com>"
59
+
"Vincent Bernardoff <vb@luminar.eu.org>"
60
+
"haoyang <haoyang@esper.co>"
61
+
"pmundkur <prashanth.mundkur@gmail.com>"
62
+
"ygrek <ygrek@autistici.org>"
63
+
]
64
+
license: "MIT"
65
+
homepage: "https://github.com/ahrefs/atd"
66
+
bug-reports: "https://github.com/ahrefs/atd/issues"
67
+
depends: [
68
+
"dune" {>= "2.8"}
69
+
"ocaml" {>= "4.08"}
70
+
"menhir" {>= "20180523" & != "20211230"}
71
+
"easy-format"
72
+
"alcotest" {with-test}
73
+
"odoc" {with-doc}
74
+
"re" {>= "1.9.0"}
75
+
"yojson" {>= "1.6.0"}
76
+
"cmdliner" {>= "1.1.0"}
77
+
]
78
+
dev-repo: "git+https://github.com/ahrefs/atd.git"
79
+
build: [
80
+
["dune" "subst"] {dev}
81
+
[
82
+
"dune"
83
+
"build"
84
+
"-p"
85
+
name
86
+
"-j"
87
+
jobs
88
+
"@install"
89
+
"@doc" {with-doc}
90
+
]
91
+
]
92
+
url {
93
+
src:
94
+
"https://github.com/ahrefs/atd/releases/download/2.16.0/atd-2.16.0.tbz"
95
+
checksum: [
96
+
"sha256=59e6b445620241cbd6901a842b336683afb0eb125b3adbfee28bd94cd54e0def"
97
+
"sha512=7fbd12a1a482cecb7e0ccbfd5918a33637ec8af46212ce88bfa2410d2b927dc48e8ceb78fc5eabd80d99bc59cddd5d72fc236e990b4031ccda6fadb1ecdfe00a"
98
+
]
99
+
}
100
+
x-commit-hash: "695b060b60c1eb6f8d68d3b7eec68495e54d655a"
+92
packages/atdcpp/atdcpp.2.16.0/opam
+92
packages/atdcpp/atdcpp.2.16.0/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "C++ code generation for ATD APIs"
3
+
description: "C++ 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.11.0"}
66
+
"cmdliner" {>= "1.1.0"}
67
+
"re"
68
+
"odoc" {with-doc}
69
+
]
70
+
dev-repo: "git+https://github.com/ahrefs/atd.git"
71
+
build: [
72
+
["dune" "subst"] {dev}
73
+
[
74
+
"dune"
75
+
"build"
76
+
"-p"
77
+
name
78
+
"-j"
79
+
jobs
80
+
"@install"
81
+
"@doc" {with-doc}
82
+
]
83
+
]
84
+
url {
85
+
src:
86
+
"https://github.com/ahrefs/atd/releases/download/2.16.0/atd-2.16.0.tbz"
87
+
checksum: [
88
+
"sha256=59e6b445620241cbd6901a842b336683afb0eb125b3adbfee28bd94cd54e0def"
89
+
"sha512=7fbd12a1a482cecb7e0ccbfd5918a33637ec8af46212ce88bfa2410d2b927dc48e8ceb78fc5eabd80d99bc59cddd5d72fc236e990b4031ccda6fadb1ecdfe00a"
90
+
]
91
+
}
92
+
x-commit-hash: "695b060b60c1eb6f8d68d3b7eec68495e54d655a"
+92
packages/atdd/atdd.2.16.0/opam
+92
packages/atdd/atdd.2.16.0/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "DLang code generation for ATD APIs"
3
+
description: "DLang 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.11.0"}
66
+
"cmdliner" {>= "1.1.0"}
67
+
"re"
68
+
"odoc" {with-doc}
69
+
]
70
+
dev-repo: "git+https://github.com/ahrefs/atd.git"
71
+
build: [
72
+
["dune" "subst"] {dev}
73
+
[
74
+
"dune"
75
+
"build"
76
+
"-p"
77
+
name
78
+
"-j"
79
+
jobs
80
+
"@install"
81
+
"@doc" {with-doc}
82
+
]
83
+
]
84
+
url {
85
+
src:
86
+
"https://github.com/ahrefs/atd/releases/download/2.16.0/atd-2.16.0.tbz"
87
+
checksum: [
88
+
"sha256=59e6b445620241cbd6901a842b336683afb0eb125b3adbfee28bd94cd54e0def"
89
+
"sha512=7fbd12a1a482cecb7e0ccbfd5918a33637ec8af46212ce88bfa2410d2b927dc48e8ceb78fc5eabd80d99bc59cddd5d72fc236e990b4031ccda6fadb1ecdfe00a"
90
+
]
91
+
}
92
+
x-commit-hash: "695b060b60c1eb6f8d68d3b7eec68495e54d655a"
+91
packages/atdgen-codec-runtime/atdgen-codec-runtime.2.16.0/opam
+91
packages/atdgen-codec-runtime/atdgen-codec-runtime.2.16.0/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "Runtime for atdgen generated Melange converters"
3
+
description: """
4
+
This library contains the types that are used by atdgen's
5
+
Melange 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.16.0/atd-2.16.0.tbz"
86
+
checksum: [
87
+
"sha256=59e6b445620241cbd6901a842b336683afb0eb125b3adbfee28bd94cd54e0def"
88
+
"sha512=7fbd12a1a482cecb7e0ccbfd5918a33637ec8af46212ce88bfa2410d2b927dc48e8ceb78fc5eabd80d99bc59cddd5d72fc236e990b4031ccda6fadb1ecdfe00a"
89
+
]
90
+
}
91
+
x-commit-hash: "695b060b60c1eb6f8d68d3b7eec68495e54d655a"
+93
packages/atdgen-runtime/atdgen-runtime.2.16.0/opam
+93
packages/atdgen-runtime/atdgen-runtime.2.16.0/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" {>= "2.0.2"}
68
+
"biniou" {>= "1.0.6"}
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.16.0/atd-2.16.0.tbz"
88
+
checksum: [
89
+
"sha256=59e6b445620241cbd6901a842b336683afb0eb125b3adbfee28bd94cd54e0def"
90
+
"sha512=7fbd12a1a482cecb7e0ccbfd5918a33637ec8af46212ce88bfa2410d2b927dc48e8ceb78fc5eabd80d99bc59cddd5d72fc236e990b4031ccda6fadb1ecdfe00a"
91
+
]
92
+
}
93
+
x-commit-hash: "695b060b60c1eb6f8d68d3b7eec68495e54d655a"
+106
packages/atdgen/atdgen.2.16.0/opam
+106
packages/atdgen/atdgen.2.16.0/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
+
"alcotest" {with-test}
76
+
"atd" {>= "2.14.0"}
77
+
"atdgen-runtime" {>= "2.1.0"}
78
+
"atdgen-codec-runtime" {with-test}
79
+
"biniou" {>= "1.0.6"}
80
+
"yojson" {>= "2.0.1"}
81
+
"odoc" {with-doc}
82
+
"re"
83
+
]
84
+
dev-repo: "git+https://github.com/ahrefs/atd.git"
85
+
build: [
86
+
["dune" "subst"] {dev}
87
+
[
88
+
"dune"
89
+
"build"
90
+
"-p"
91
+
name
92
+
"-j"
93
+
jobs
94
+
"@install"
95
+
"@doc" {with-doc}
96
+
]
97
+
]
98
+
url {
99
+
src:
100
+
"https://github.com/ahrefs/atd/releases/download/2.16.0/atd-2.16.0.tbz"
101
+
checksum: [
102
+
"sha256=59e6b445620241cbd6901a842b336683afb0eb125b3adbfee28bd94cd54e0def"
103
+
"sha512=7fbd12a1a482cecb7e0ccbfd5918a33637ec8af46212ce88bfa2410d2b927dc48e8ceb78fc5eabd80d99bc59cddd5d72fc236e990b4031ccda6fadb1ecdfe00a"
104
+
]
105
+
}
106
+
x-commit-hash: "695b060b60c1eb6f8d68d3b7eec68495e54d655a"
+105
packages/atdj/atdj.2.16.0/opam
+105
packages/atdj/atdj.2.16.0/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.16.0/atd-2.16.0.tbz"
100
+
checksum: [
101
+
"sha256=59e6b445620241cbd6901a842b336683afb0eb125b3adbfee28bd94cd54e0def"
102
+
"sha512=7fbd12a1a482cecb7e0ccbfd5918a33637ec8af46212ce88bfa2410d2b927dc48e8ceb78fc5eabd80d99bc59cddd5d72fc236e990b4031ccda6fadb1ecdfe00a"
103
+
]
104
+
}
105
+
x-commit-hash: "695b060b60c1eb6f8d68d3b7eec68495e54d655a"
+94
packages/atdpy/atdpy.2.16.0/opam
+94
packages/atdpy/atdpy.2.16.0/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.11.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.16.0/atd-2.16.0.tbz"
89
+
checksum: [
90
+
"sha256=59e6b445620241cbd6901a842b336683afb0eb125b3adbfee28bd94cd54e0def"
91
+
"sha512=7fbd12a1a482cecb7e0ccbfd5918a33637ec8af46212ce88bfa2410d2b927dc48e8ceb78fc5eabd80d99bc59cddd5d72fc236e990b4031ccda6fadb1ecdfe00a"
92
+
]
93
+
}
94
+
x-commit-hash: "695b060b60c1eb6f8d68d3b7eec68495e54d655a"
+90
packages/atds/atds.2.16.0/opam
+90
packages/atds/atds.2.16.0/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.16.0/atd-2.16.0.tbz"
85
+
checksum: [
86
+
"sha256=59e6b445620241cbd6901a842b336683afb0eb125b3adbfee28bd94cd54e0def"
87
+
"sha512=7fbd12a1a482cecb7e0ccbfd5918a33637ec8af46212ce88bfa2410d2b927dc48e8ceb78fc5eabd80d99bc59cddd5d72fc236e990b4031ccda6fadb1ecdfe00a"
88
+
]
89
+
}
90
+
x-commit-hash: "695b060b60c1eb6f8d68d3b7eec68495e54d655a"
+93
packages/atdts/atdts.2.16.0/opam
+93
packages/atdts/atdts.2.16.0/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.13.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.16.0/atd-2.16.0.tbz"
88
+
checksum: [
89
+
"sha256=59e6b445620241cbd6901a842b336683afb0eb125b3adbfee28bd94cd54e0def"
90
+
"sha512=7fbd12a1a482cecb7e0ccbfd5918a33637ec8af46212ce88bfa2410d2b927dc48e8ceb78fc5eabd80d99bc59cddd5d72fc236e990b4031ccda6fadb1ecdfe00a"
91
+
]
92
+
}
93
+
x-commit-hash: "695b060b60c1eb6f8d68d3b7eec68495e54d655a"