this repo has no description
Merge pull request #27308 from mjambon/release-atd-2.16.0
[new release] atd (10 packages) (2.16.0)
authored by
Marcello Seri
and committed by
GitHub
d2f70af6
12d86686
+1030
-68
+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"
+3
-2
packages/azure-cosmos-db/azure-cosmos-db.0.1.2/opam
+3
-2
packages/azure-cosmos-db/azure-cosmos-db.0.1.2/opam
···
8
8
authors: "Morten Knaack <knaack@gmail>"
9
9
depends: [
10
10
"ocaml" {>= "4.08.0"}
11
-
"dune"
11
+
"dune" {>= "2.7.0"}
12
12
"lwt"
13
13
"lwt_ppx"
14
-
"atdgen"
14
+
"atdgen" {< "2.16.0"}
15
15
"ocsigenserver"
16
16
"ocamlnet"
17
17
"base64"
···
34
34
"sha512=7c168c3b7e8eefaa369dbcff7ce8e5a1f0ab3f0a21d78a0ba6a1c2deb0997841a05623c01e85ec4f9f6c709c09e1d8e539434b162e1fa0f1615a299c14a655c7"
35
35
]
36
36
}
37
+
dev-repo: "git+https://bitbucket.org/knaack/azure-cosmos-db.git"
+2
-2
packages/azure-cosmos-db/azure-cosmos-db.0.1.3/opam
+2
-2
packages/azure-cosmos-db/azure-cosmos-db.0.1.3/opam
+2
-2
packages/azure-cosmos-db/azure-cosmos-db.0.1.4/opam
+2
-2
packages/azure-cosmos-db/azure-cosmos-db.0.1.4/opam
+2
-2
packages/azure-cosmos-db/azure-cosmos-db.0.1.5/opam
+2
-2
packages/azure-cosmos-db/azure-cosmos-db.0.1.5/opam
+2
-2
packages/azure-cosmos-db/azure-cosmos-db.0.1.6/opam
+2
-2
packages/azure-cosmos-db/azure-cosmos-db.0.1.6/opam
+1
-1
packages/azure-cosmos-db/azure-cosmos-db.0.2.0/opam
+1
-1
packages/azure-cosmos-db/azure-cosmos-db.0.2.0/opam
+1
-1
packages/azure-cosmos-db/azure-cosmos-db.0.2.1/opam
+1
-1
packages/azure-cosmos-db/azure-cosmos-db.0.2.1/opam
+1
-1
packages/azure-cosmos-db/azure-cosmos-db.0.2.2/opam
+1
-1
packages/azure-cosmos-db/azure-cosmos-db.0.2.2/opam
+1
-1
packages/azure-cosmos-db/azure-cosmos-db.0.2.3/opam
+1
-1
packages/azure-cosmos-db/azure-cosmos-db.0.2.3/opam
+1
-1
packages/azure-cosmos-db/azure-cosmos-db.0.2.4/opam
+1
-1
packages/azure-cosmos-db/azure-cosmos-db.0.2.4/opam
+2
-1
packages/calculon-web/calculon-web.0.6/opam
+2
-1
packages/calculon-web/calculon-web.0.6/opam
···
1
1
opam-version: "2.0"
2
2
synopsis: "A collection of web plugins for Calculon"
3
+
license: "MIT"
3
4
authors: ["Armael" "Enjolras" "c-cube"]
4
5
maintainer: "c-cube"
5
6
build: [
···
13
14
"re" { >= "1.7.2" }
14
15
"uri"
15
16
"curly"
16
-
"atdgen"
17
+
"atdgen" {< "2.16.0"}
17
18
"lambdasoup"
18
19
"odoc" {with-doc}
19
20
"ocaml" { >= "4.03.0" }
+1
-1
packages/calculon-web/calculon-web.0.7/opam
+1
-1
packages/calculon-web/calculon-web.0.7/opam
+1
-1
packages/calculon-web/calculon-web.0.8/opam
+1
-1
packages/calculon-web/calculon-web.0.8/opam
+2
-1
packages/elasticsearch-cli/elasticsearch-cli.0.5/opam
+2
-1
packages/elasticsearch-cli/elasticsearch-cli.0.5/opam
···
1
1
opam-version: "2.0"
2
+
license: "GPL-3.0-or-later"
2
3
maintainer: "Raman Varabets <roman.vorobets@gmail.com>"
3
4
authors: ["Raman Varabets <roman.vorobets@gmail.com>"]
4
5
homepage: "https://github.com/cyborgize/es-cli"
···
17
18
"lwt" {>= "3.2.0"}
18
19
"lwt_ppx"
19
20
"re2" {>= "v0.9.0"}
20
-
"atdgen" {>= "1.6.0"}
21
+
"atdgen" {>= "1.6.0" & < "2.16.0"}
21
22
]
22
23
synopsis: "Command-line client for Elasticsearch"
23
24
url {
+1
-1
packages/elpi/elpi.1.16.10/opam
+1
-1
packages/elpi/elpi.1.16.10/opam
+1
-1
packages/elpi/elpi.1.16.8/opam
+1
-1
packages/elpi/elpi.1.16.8/opam
+1
-1
packages/elpi/elpi.1.16.9/opam
+1
-1
packages/elpi/elpi.1.16.9/opam
+1
-1
packages/elpi/elpi.1.17.0/opam
+1
-1
packages/elpi/elpi.1.17.0/opam
+1
-1
packages/elpi/elpi.1.17.3/opam
+1
-1
packages/elpi/elpi.1.17.3/opam
+1
-1
packages/elpi/elpi.1.17.4/opam
+1
-1
packages/elpi/elpi.1.17.4/opam
+1
-1
packages/elpi/elpi.1.18.0/opam
+1
-1
packages/elpi/elpi.1.18.0/opam
+1
-1
packages/elpi/elpi.1.18.1/opam
+1
-1
packages/elpi/elpi.1.18.1/opam
+1
-1
packages/elpi/elpi.1.18.2/opam
+1
-1
packages/elpi/elpi.1.18.2/opam
+1
-1
packages/elpi/elpi.1.19.0/opam
+1
-1
packages/elpi/elpi.1.19.0/opam
+1
-1
packages/elpi/elpi.1.19.1/opam
+1
-1
packages/elpi/elpi.1.19.1/opam
+1
-1
packages/elpi/elpi.1.19.2/opam
+1
-1
packages/elpi/elpi.1.19.2/opam
+1
-1
packages/elpi/elpi.1.19.3/opam
+1
-1
packages/elpi/elpi.1.19.3/opam
+1
-1
packages/elpi/elpi.1.19.4/opam
+1
-1
packages/elpi/elpi.1.19.4/opam
+1
-1
packages/elpi/elpi.1.19.5/opam
+1
-1
packages/elpi/elpi.1.19.5/opam
+1
-1
packages/elpi/elpi.1.19.6/opam
+1
-1
packages/elpi/elpi.1.19.6/opam
+1
-1
packages/elpi/elpi.1.20.0/opam
+1
-1
packages/elpi/elpi.1.20.0/opam
+1
-1
packages/elpi/elpi.2.0.2/opam
+1
-1
packages/elpi/elpi.2.0.2/opam
+1
-1
packages/elpi/elpi.2.0.3/opam
+1
-1
packages/elpi/elpi.2.0.3/opam
+1
-1
packages/elpi/elpi.2.0.4/opam
+1
-1
packages/elpi/elpi.2.0.4/opam
+1
-1
packages/elpi/elpi.2.0.5/opam
+1
-1
packages/elpi/elpi.2.0.5/opam
+1
-1
packages/elpi/elpi.2.0.6/opam
+1
-1
packages/elpi/elpi.2.0.6/opam
+1
-1
packages/elpi/elpi.2.0.7/opam
+1
-1
packages/elpi/elpi.2.0.7/opam
+1
-1
packages/github-data/github-data.4.4.0/opam
+1
-1
packages/github-data/github-data.4.4.0/opam
+1
-1
packages/github-data/github-data.4.4.1/opam
+1
-1
packages/github-data/github-data.4.4.1/opam
+3
-2
packages/github/github.4.1.0/opam
+3
-2
packages/github/github.4.1.0/opam
···
1
1
opam-version: "2.0"
2
+
license: "MIT"
2
3
maintainer: "anil@recoil.org"
3
4
synopsis: "GitHub APIv3 OCaml library"
4
5
description: """
···
24
25
bug-reports: "https://github.com/mirage/ocaml-github/issues"
25
26
depends: [
26
27
"ocaml" {>= "4.03.0"}
27
-
"dune"
28
+
"dune" {>= "1.10"}
28
29
"uri" {>= "1.9.0"}
29
30
"cohttp" {>= "0.99.0"}
30
31
"cohttp-lwt" {>= "0.99"}
31
32
"lwt" {>= "2.4.4"}
32
-
"atdgen" {>= "2.0.0"}
33
+
"atdgen" {>= "2.0.0" & < "2.16.0"}
33
34
"yojson" {>= "1.6.0"}
34
35
"stringext"
35
36
]
+1
-1
packages/github/github.4.2.0/opam
+1
-1
packages/github/github.4.2.0/opam
+1
-1
packages/github/github.4.3.0/opam
+1
-1
packages/github/github.4.3.0/opam
+1
-1
packages/github/github.4.3.1/opam
+1
-1
packages/github/github.4.3.1/opam
+1
-1
packages/github/github.4.3.2/opam
+1
-1
packages/github/github.4.3.2/opam
+1
-1
packages/gitlab/gitlab.0.1.3/opam
+1
-1
packages/gitlab/gitlab.0.1.3/opam
+1
-1
packages/gitlab/gitlab.0.1.4/opam
+1
-1
packages/gitlab/gitlab.0.1.4/opam
+1
-1
packages/gitlab/gitlab.0.1.5/opam
+1
-1
packages/gitlab/gitlab.0.1.5/opam
+1
-1
packages/gitlab/gitlab.0.1.6/opam
+1
-1
packages/gitlab/gitlab.0.1.6/opam
+1
-1
packages/gitlab/gitlab.0.1.7/opam
+1
-1
packages/gitlab/gitlab.0.1.7/opam
+1
-1
packages/gitlab/gitlab.0.1.8/opam
+1
-1
packages/gitlab/gitlab.0.1.8/opam
+2
-1
packages/jupyter-kernel/jupyter-kernel.0.7/opam
+2
-1
packages/jupyter-kernel/jupyter-kernel.0.7/opam
···
1
1
opam-version: "2.0"
2
+
license: "MIT"
2
3
authors: ["Simon Cruanes" "Andrew Ray"]
3
4
maintainer: "simon.cruanes.2007@m4x.org"
4
5
synopsis: "Library to write jupyter kernels (interactive notebooks)"
···
14
15
"base-unix"
15
16
"zmq" { >= "5.0" & < "6.0" }
16
17
"zmq-lwt" { >= "5.0" & < "6.0" }
17
-
"atdgen"
18
+
"atdgen" {< "2.16.0"}
18
19
"yojson" { >= "1.6" }
19
20
"uuidm"
20
21
"lwt"
+1
-1
packages/jupyter-kernel/jupyter-kernel.0.8/opam
+1
-1
packages/jupyter-kernel/jupyter-kernel.0.8/opam
+1
-1
packages/monorobot/monorobot.0.1/opam
+1
-1
packages/monorobot/monorobot.0.1/opam
+1
-1
packages/piece_rope/piece_rope.0.9.0/opam
+1
-1
packages/piece_rope/piece_rope.0.9.0/opam
+1
-1
packages/piece_rope/piece_rope.0.9.1/opam
+1
-1
packages/piece_rope/piece_rope.0.9.1/opam
+3
-3
packages/sanddb/sanddb.0.2/opam
+3
-3
packages/sanddb/sanddb.0.2/opam
···
23
23
["dune" "build" "@doc" "-p" name] {with-doc}
24
24
]
25
25
run-test: [
26
-
["dune" "runtest" "-p" name "-j" jobs] {with-test}
26
+
["dune" "runtest" "-p" name "-j" jobs]
27
27
]
28
28
depends: [
29
-
"dune"
30
-
"atdgen" {>= "1.12.0"}
29
+
"dune" {>= "3.0"}
30
+
"atdgen" {>= "1.12.0" & < "2.16.0"}
31
31
"lwt" {>= "3.3.0"}
32
32
"uuidm" {>= "0.9.6"}
33
33
"base" {>= "v0.11.0" & < "v0.17"}
+1
-1
packages/sanddb/sanddb.0.3.0/opam
+1
-1
packages/sanddb/sanddb.0.3.0/opam
+1
-1
packages/slack/slack.0.1/opam
+1
-1
packages/slack/slack.0.1/opam
+3
-2
packages/spotify-web-api/spotify-web-api.0.2.1/opam
+3
-2
packages/spotify-web-api/spotify-web-api.0.2.1/opam
···
1
1
opam-version: "2.0"
2
2
synopsis: "OCaml bindings to the Spotify web API"
3
+
license: "MIT"
3
4
maintainer: "john.else@gmail.com"
4
5
authors: ["John Else"]
5
6
homepage: "https://github.com/johnelse/ocaml-spotify-web-api"
6
7
bug-reports: "https://github.com/johnelse/ocaml-spotify-web-api/issues"
7
8
depends: [
8
-
"dune"
9
-
"atdgen"
9
+
"dune" {>= "1.6"}
10
+
"atdgen" {< "2.16.0"}
10
11
"biniou"
11
12
"yojson"
12
13
"uri"