this repo has no description

[new release] atdts, atds, atdpy, atdj, atdgen, atdgen-runtime, atdgen-codec-runtime and atd (2.12.0)

CHANGES:

* atdgen: Annotate generated code with types to disambiguate OCaml
classic variants (ahrefs/atd#331)
* atdpy: Support the option type more correctly so that it follows
ATD's convention for JSON encoding. This allows compatibility with
JSON produced by other tools of the ATD suite. The Python type,
however, is still a nullable (`Optional`) to make things simpler for
Python programmers. This prevents distinguishing `["Some", "None"]`
from `"None"` which both translate to `None` in Python. (ahrefs/atd#332)
* (BREAKING) atdgen: revert default encoding of int64 values as string (ahrefs/atd#330)
* atdgen: Support `<json repr="string">` for `int` values (ahrefs/atd#330)
* atdpy: Treat default field values as expressions to evaluate each time
they're assigned to a field. This allows the use of mutable defaults such as
lists (ahrefs/atd#339)

Changed files
+770
packages
atd
atd.2.12.0
atdgen
atdgen.2.12.0
atdgen-codec-runtime
atdgen-codec-runtime.2.12.0
atdgen-runtime
atdgen-runtime.2.12.0
atdj
atdj.2.12.0
atdpy
atdpy.2.12.0
atds
atds.2.12.0
atdts
atdts.2.12.0
+98
packages/atd/atd.2.12.0/opam
···
+
opam-version: "2.0"
+
synopsis: "Parser for the ATD data format description language"
+
description: """
+
ATD is the OCaml library providing a parser for the ATD language and various
+
utilities. ATD stands for Adjustable Type Definitions in reference to its main
+
property of supporting annotations that allow a good fit with a variety of data
+
formats. """
+
maintainer: [
+
"Louis Roché <louis@louisroche.net>"
+
"Martin Jambon <martin@mjambon.com>"
+
"Rudi Grinberg <me@rgrinberg.com>"
+
]
+
authors: [
+
"Martin Jambon <martin@mjambon.com>"
+
"Rudi Grinberg <rudi.grinberg@gmail.com>"
+
"Martin Jambon <martin@r2c.dev>"
+
"Martin Jambon <github@mjambon.com>"
+
"Ivan Jager <aij+git@mrph.org>"
+
"oleksiy <oleksiy.golovko@ahrefs.com>"
+
"David Sheets <sheets@alum.mit.edu>"
+
"Rudi Grinberg <me@rgrinberg.com>"
+
"Martin Jambon <martin@esper.com>"
+
"Jeff Meister <nanaki@gmail.com>"
+
"Caio Wakamatsu <caio.wakamatsu@ahrefs.com>"
+
"Carmelo Piccione <carmelo.piccione@gmail.com>"
+
"Daniel Weil <danweil68@gmail.com>"
+
"Egor Chemokhonenko <egor.chemohonenko@ahrefs.com>"
+
"Gabriel Scherer <gabriel.scherer@gmail.com>"
+
"Raman Varabets <roman.vorobets@gmail.com>"
+
"tzm <frank@boldsolutions.de>"
+
"Mathieu Baudet <mathieubaudet@fb.com>"
+
"Oleksiy Golovko <alexei.golovko@gmail.com>"
+
"Rauan Mayemir <rauan@mayemir.io>"
+
"Carmelo Piccione <cep1@solvuu.com>"
+
"John Billings <john@monkeynut.org>"
+
"Louis Roché <louis@louisroche.net>"
+
"Brendan Long <self@brendanlong.com>"
+
"Chris Yocum <cyocum@gmail.com>"
+
"Louis Roché (Ahrefs) <louis.roche@ahrefs.com>"
+
"Louis Roché <louis.roche@ahrefs.com>"
+
"Pavel Antoshkin <pavel.antoshkin@ahrefs.com>"
+
"Pierre Boutillier <pierre.boutillier@laposte.net>"
+
"Shon Feder <shon.feder@key.me>"
+
"Anurag Soni <anuragsoni.13@gmail.com>"
+
"Arjun Ravi Narayan <arjunravinarayan@gmail.com>"
+
"Asya-kawai <kawai-toshiki@aintek.xyz>"
+
"Christophe Troestler <christophe.Troestler@umons.ac.be>"
+
"Damien Doligez <ddoligez@janestreet.com>"
+
"Daniel M <dan.mntg@gmail.com>"
+
"Ding Xiang Fei <dingxiangfei2009@protonmail.ch>"
+
"François Pottier <francois.pottier@inria.fr>"
+
"Javier Chavarri <javier.chavarri@gmail.com>"
+
"Kate <kit.ty.kate@disroot.org>"
+
"Louis <louis.roche@ahrefs.com>"
+
"Louis Roché <louis@cryptosense.com>"
+
"Raman Varabets <raman+git@ahrefs.com>"
+
"Stephane Legrand <slegrand45@gmail.com>"
+
"Vincent Bernardoff <vb@luminar.eu.org>"
+
"haoyang <haoyang@esper.co>"
+
"pmundkur <prashanth.mundkur@gmail.com>"
+
"ygrek <ygrek@autistici.org>"
+
]
+
license: "MIT"
+
homepage: "https://github.com/ahrefs/atd"
+
bug-reports: "https://github.com/ahrefs/atd/issues"
+
depends: [
+
"dune" {>= "2.8"}
+
"ocaml" {>= "4.08"}
+
"menhir" {>= "20180523" & != "20211230"}
+
"easy-format"
+
"alcotest" {with-test}
+
"odoc" {with-doc}
+
"re" {>= "1.9.0"}
+
"yojson" {>= "1.6.0"}
+
]
+
dev-repo: "git+https://github.com/ahrefs/atd.git"
+
build: [
+
["dune" "subst"] {dev}
+
[
+
"dune"
+
"build"
+
"-p"
+
name
+
"-j"
+
jobs
+
"@install"
+
"@doc" {with-doc}
+
]
+
]
+
url {
+
src:
+
"https://github.com/ahrefs/atd/releases/download/2.12.0/atdts-2.12.0.tbz"
+
checksum: [
+
"sha256=02530cbc92ddb1cb6021951af4f62f95c2f39abf091a996c5e44ecadb20a4fc0"
+
"sha512=43cbbc4fd9491fcc0e543a488940f17468f5b31e263c7322bad1cc497fb4662a2d7e6aa219377a7105bd31ba80ec69b214247b63406a335ce2fdee886195bae9"
+
]
+
}
+
x-commit-hash: "652a65aa7635cd44afd0669ebec7af87bf894a45"
+91
packages/atdgen-codec-runtime/atdgen-codec-runtime.2.12.0/opam
···
+
opam-version: "2.0"
+
synopsis: "Runtime for atdgen generated bucklescript converters"
+
description: """
+
This library contains the types that are used by atdgen's
+
bucklescript backend"""
+
maintainer: [
+
"Louis Roché <louis@louisroche.net>"
+
"Martin Jambon <martin@mjambon.com>"
+
"Rudi Grinberg <me@rgrinberg.com>"
+
]
+
authors: [
+
"Martin Jambon <martin@mjambon.com>"
+
"Rudi Grinberg <rudi.grinberg@gmail.com>"
+
"Martin Jambon <martin@r2c.dev>"
+
"Martin Jambon <github@mjambon.com>"
+
"Ivan Jager <aij+git@mrph.org>"
+
"oleksiy <oleksiy.golovko@ahrefs.com>"
+
"David Sheets <sheets@alum.mit.edu>"
+
"Rudi Grinberg <me@rgrinberg.com>"
+
"Martin Jambon <martin@esper.com>"
+
"Jeff Meister <nanaki@gmail.com>"
+
"Caio Wakamatsu <caio.wakamatsu@ahrefs.com>"
+
"Carmelo Piccione <carmelo.piccione@gmail.com>"
+
"Daniel Weil <danweil68@gmail.com>"
+
"Egor Chemokhonenko <egor.chemohonenko@ahrefs.com>"
+
"Gabriel Scherer <gabriel.scherer@gmail.com>"
+
"Raman Varabets <roman.vorobets@gmail.com>"
+
"tzm <frank@boldsolutions.de>"
+
"Mathieu Baudet <mathieubaudet@fb.com>"
+
"Oleksiy Golovko <alexei.golovko@gmail.com>"
+
"Rauan Mayemir <rauan@mayemir.io>"
+
"Carmelo Piccione <cep1@solvuu.com>"
+
"John Billings <john@monkeynut.org>"
+
"Louis Roché <louis@louisroche.net>"
+
"Brendan Long <self@brendanlong.com>"
+
"Chris Yocum <cyocum@gmail.com>"
+
"Louis Roché (Ahrefs) <louis.roche@ahrefs.com>"
+
"Louis Roché <louis.roche@ahrefs.com>"
+
"Pavel Antoshkin <pavel.antoshkin@ahrefs.com>"
+
"Pierre Boutillier <pierre.boutillier@laposte.net>"
+
"Shon Feder <shon.feder@key.me>"
+
"Anurag Soni <anuragsoni.13@gmail.com>"
+
"Arjun Ravi Narayan <arjunravinarayan@gmail.com>"
+
"Asya-kawai <kawai-toshiki@aintek.xyz>"
+
"Christophe Troestler <christophe.Troestler@umons.ac.be>"
+
"Damien Doligez <ddoligez@janestreet.com>"
+
"Daniel M <dan.mntg@gmail.com>"
+
"Ding Xiang Fei <dingxiangfei2009@protonmail.ch>"
+
"François Pottier <francois.pottier@inria.fr>"
+
"Javier Chavarri <javier.chavarri@gmail.com>"
+
"Kate <kit.ty.kate@disroot.org>"
+
"Louis <louis.roche@ahrefs.com>"
+
"Louis Roché <louis@cryptosense.com>"
+
"Raman Varabets <raman+git@ahrefs.com>"
+
"Stephane Legrand <slegrand45@gmail.com>"
+
"Vincent Bernardoff <vb@luminar.eu.org>"
+
"haoyang <haoyang@esper.co>"
+
"pmundkur <prashanth.mundkur@gmail.com>"
+
"ygrek <ygrek@autistici.org>"
+
]
+
license: "MIT"
+
homepage: "https://github.com/ahrefs/atd"
+
bug-reports: "https://github.com/ahrefs/atd/issues"
+
depends: [
+
"dune" {>= "2.8"}
+
"ocaml" {>= "4.08"}
+
"odoc" {with-doc}
+
]
+
dev-repo: "git+https://github.com/ahrefs/atd.git"
+
build: [
+
["dune" "subst"] {dev}
+
[
+
"dune"
+
"build"
+
"-p"
+
name
+
"-j"
+
jobs
+
"@install"
+
"@doc" {with-doc}
+
]
+
]
+
url {
+
src:
+
"https://github.com/ahrefs/atd/releases/download/2.12.0/atdts-2.12.0.tbz"
+
checksum: [
+
"sha256=02530cbc92ddb1cb6021951af4f62f95c2f39abf091a996c5e44ecadb20a4fc0"
+
"sha512=43cbbc4fd9491fcc0e543a488940f17468f5b31e263c7322bad1cc497fb4662a2d7e6aa219377a7105bd31ba80ec69b214247b63406a335ce2fdee886195bae9"
+
]
+
}
+
x-commit-hash: "652a65aa7635cd44afd0669ebec7af87bf894a45"
+93
packages/atdgen-runtime/atdgen-runtime.2.12.0/opam
···
+
opam-version: "2.0"
+
synopsis: "Runtime library for code generated by atdgen"
+
description: """
+
This package should be used only in conjunction with the atdgen code
+
generator"""
+
maintainer: [
+
"Louis Roché <louis@louisroche.net>"
+
"Martin Jambon <martin@mjambon.com>"
+
"Rudi Grinberg <me@rgrinberg.com>"
+
]
+
authors: [
+
"Martin Jambon <martin@mjambon.com>"
+
"Rudi Grinberg <rudi.grinberg@gmail.com>"
+
"Martin Jambon <martin@r2c.dev>"
+
"Martin Jambon <github@mjambon.com>"
+
"Ivan Jager <aij+git@mrph.org>"
+
"oleksiy <oleksiy.golovko@ahrefs.com>"
+
"David Sheets <sheets@alum.mit.edu>"
+
"Rudi Grinberg <me@rgrinberg.com>"
+
"Martin Jambon <martin@esper.com>"
+
"Jeff Meister <nanaki@gmail.com>"
+
"Caio Wakamatsu <caio.wakamatsu@ahrefs.com>"
+
"Carmelo Piccione <carmelo.piccione@gmail.com>"
+
"Daniel Weil <danweil68@gmail.com>"
+
"Egor Chemokhonenko <egor.chemohonenko@ahrefs.com>"
+
"Gabriel Scherer <gabriel.scherer@gmail.com>"
+
"Raman Varabets <roman.vorobets@gmail.com>"
+
"tzm <frank@boldsolutions.de>"
+
"Mathieu Baudet <mathieubaudet@fb.com>"
+
"Oleksiy Golovko <alexei.golovko@gmail.com>"
+
"Rauan Mayemir <rauan@mayemir.io>"
+
"Carmelo Piccione <cep1@solvuu.com>"
+
"John Billings <john@monkeynut.org>"
+
"Louis Roché <louis@louisroche.net>"
+
"Brendan Long <self@brendanlong.com>"
+
"Chris Yocum <cyocum@gmail.com>"
+
"Louis Roché (Ahrefs) <louis.roche@ahrefs.com>"
+
"Louis Roché <louis.roche@ahrefs.com>"
+
"Pavel Antoshkin <pavel.antoshkin@ahrefs.com>"
+
"Pierre Boutillier <pierre.boutillier@laposte.net>"
+
"Shon Feder <shon.feder@key.me>"
+
"Anurag Soni <anuragsoni.13@gmail.com>"
+
"Arjun Ravi Narayan <arjunravinarayan@gmail.com>"
+
"Asya-kawai <kawai-toshiki@aintek.xyz>"
+
"Christophe Troestler <christophe.Troestler@umons.ac.be>"
+
"Damien Doligez <ddoligez@janestreet.com>"
+
"Daniel M <dan.mntg@gmail.com>"
+
"Ding Xiang Fei <dingxiangfei2009@protonmail.ch>"
+
"François Pottier <francois.pottier@inria.fr>"
+
"Javier Chavarri <javier.chavarri@gmail.com>"
+
"Kate <kit.ty.kate@disroot.org>"
+
"Louis <louis.roche@ahrefs.com>"
+
"Louis Roché <louis@cryptosense.com>"
+
"Raman Varabets <raman+git@ahrefs.com>"
+
"Stephane Legrand <slegrand45@gmail.com>"
+
"Vincent Bernardoff <vb@luminar.eu.org>"
+
"haoyang <haoyang@esper.co>"
+
"pmundkur <prashanth.mundkur@gmail.com>"
+
"ygrek <ygrek@autistici.org>"
+
]
+
license: "MIT"
+
homepage: "https://github.com/ahrefs/atd"
+
bug-reports: "https://github.com/ahrefs/atd/issues"
+
depends: [
+
"dune" {>= "2.8"}
+
"ocaml" {>= "4.08"}
+
"yojson" {>= "2.0.2"}
+
"biniou" {>= "1.0.6"}
+
"odoc" {with-doc}
+
]
+
dev-repo: "git+https://github.com/ahrefs/atd.git"
+
build: [
+
["dune" "subst"] {dev}
+
[
+
"dune"
+
"build"
+
"-p"
+
name
+
"-j"
+
jobs
+
"@install"
+
"@doc" {with-doc}
+
]
+
]
+
url {
+
src:
+
"https://github.com/ahrefs/atd/releases/download/2.12.0/atdts-2.12.0.tbz"
+
checksum: [
+
"sha256=02530cbc92ddb1cb6021951af4f62f95c2f39abf091a996c5e44ecadb20a4fc0"
+
"sha512=43cbbc4fd9491fcc0e543a488940f17468f5b31e263c7322bad1cc497fb4662a2d7e6aa219377a7105bd31ba80ec69b214247b63406a335ce2fdee886195bae9"
+
]
+
}
+
x-commit-hash: "652a65aa7635cd44afd0669ebec7af87bf894a45"
+106
packages/atdgen/atdgen.2.12.0/opam
···
+
opam-version: "2.0"
+
synopsis:
+
"Generates efficient JSON serializers, deserializers and validators"
+
description: """
+
Atdgen is a command-line program that takes as input type definitions in the ATD
+
syntax and produces OCaml code suitable for data serialization and
+
deserialization.
+
Two data formats are currently supported, these are biniou and JSON.
+
Atdgen-biniou and Atdgen-json will refer to Atdgen used in one context or the
+
other.
+
Atdgen was designed with efficiency and durability in mind. Software authors are
+
encouraged to use Atdgen directly and to write tools that may reuse part of
+
Atdgen’s source code."""
+
maintainer: [
+
"Louis Roché <louis@louisroche.net>"
+
"Martin Jambon <martin@mjambon.com>"
+
"Rudi Grinberg <me@rgrinberg.com>"
+
]
+
authors: [
+
"Martin Jambon <martin@mjambon.com>"
+
"Rudi Grinberg <rudi.grinberg@gmail.com>"
+
"Martin Jambon <martin@r2c.dev>"
+
"Martin Jambon <github@mjambon.com>"
+
"Ivan Jager <aij+git@mrph.org>"
+
"oleksiy <oleksiy.golovko@ahrefs.com>"
+
"David Sheets <sheets@alum.mit.edu>"
+
"Rudi Grinberg <me@rgrinberg.com>"
+
"Martin Jambon <martin@esper.com>"
+
"Jeff Meister <nanaki@gmail.com>"
+
"Caio Wakamatsu <caio.wakamatsu@ahrefs.com>"
+
"Carmelo Piccione <carmelo.piccione@gmail.com>"
+
"Daniel Weil <danweil68@gmail.com>"
+
"Egor Chemokhonenko <egor.chemohonenko@ahrefs.com>"
+
"Gabriel Scherer <gabriel.scherer@gmail.com>"
+
"Raman Varabets <roman.vorobets@gmail.com>"
+
"tzm <frank@boldsolutions.de>"
+
"Mathieu Baudet <mathieubaudet@fb.com>"
+
"Oleksiy Golovko <alexei.golovko@gmail.com>"
+
"Rauan Mayemir <rauan@mayemir.io>"
+
"Carmelo Piccione <cep1@solvuu.com>"
+
"John Billings <john@monkeynut.org>"
+
"Louis Roché <louis@louisroche.net>"
+
"Brendan Long <self@brendanlong.com>"
+
"Chris Yocum <cyocum@gmail.com>"
+
"Louis Roché (Ahrefs) <louis.roche@ahrefs.com>"
+
"Louis Roché <louis.roche@ahrefs.com>"
+
"Pavel Antoshkin <pavel.antoshkin@ahrefs.com>"
+
"Pierre Boutillier <pierre.boutillier@laposte.net>"
+
"Shon Feder <shon.feder@key.me>"
+
"Anurag Soni <anuragsoni.13@gmail.com>"
+
"Arjun Ravi Narayan <arjunravinarayan@gmail.com>"
+
"Asya-kawai <kawai-toshiki@aintek.xyz>"
+
"Christophe Troestler <christophe.Troestler@umons.ac.be>"
+
"Damien Doligez <ddoligez@janestreet.com>"
+
"Daniel M <dan.mntg@gmail.com>"
+
"Ding Xiang Fei <dingxiangfei2009@protonmail.ch>"
+
"François Pottier <francois.pottier@inria.fr>"
+
"Javier Chavarri <javier.chavarri@gmail.com>"
+
"Kate <kit.ty.kate@disroot.org>"
+
"Louis <louis.roche@ahrefs.com>"
+
"Louis Roché <louis@cryptosense.com>"
+
"Raman Varabets <raman+git@ahrefs.com>"
+
"Stephane Legrand <slegrand45@gmail.com>"
+
"Vincent Bernardoff <vb@luminar.eu.org>"
+
"haoyang <haoyang@esper.co>"
+
"pmundkur <prashanth.mundkur@gmail.com>"
+
"ygrek <ygrek@autistici.org>"
+
]
+
license: "MIT"
+
homepage: "https://github.com/ahrefs/atd"
+
bug-reports: "https://github.com/ahrefs/atd/issues"
+
depends: [
+
"dune" {>= "2.8"}
+
"ocaml" {>= "4.08"}
+
"alcotest" {with-test}
+
"atd" {>= "2.11.0"}
+
"atdgen-runtime" {>= "2.1.0"}
+
"atdgen-codec-runtime" {with-test}
+
"biniou" {>= "1.0.6"}
+
"yojson" {>= "2.0.1"}
+
"odoc" {with-doc}
+
"re"
+
]
+
dev-repo: "git+https://github.com/ahrefs/atd.git"
+
build: [
+
["dune" "subst"] {dev}
+
[
+
"dune"
+
"build"
+
"-p"
+
name
+
"-j"
+
jobs
+
"@install"
+
"@doc" {with-doc}
+
]
+
]
+
url {
+
src:
+
"https://github.com/ahrefs/atd/releases/download/2.12.0/atdts-2.12.0.tbz"
+
checksum: [
+
"sha256=02530cbc92ddb1cb6021951af4f62f95c2f39abf091a996c5e44ecadb20a4fc0"
+
"sha512=43cbbc4fd9491fcc0e543a488940f17468f5b31e263c7322bad1cc497fb4662a2d7e6aa219377a7105bd31ba80ec69b214247b63406a335ce2fdee886195bae9"
+
]
+
}
+
x-commit-hash: "652a65aa7635cd44afd0669ebec7af87bf894a45"
+105
packages/atdj/atdj.2.12.0/opam
···
+
opam-version: "2.0"
+
synopsis: "Java code generation for ATD"
+
description: """
+
Atdj is a program that generates a Java interface from type definitions. In
+
particular, given a set of ATD type definitions, this tool generates a set of
+
Java classes representing those types with built-in JSON serializers and
+
deserializers
+
+
The primary benefits of using the generated interface, over manually
+
manipulating JSON strings from within Java, are safety and ease of use.
+
Specifically, the generated interface offers the following features:
+
+
- JSON strings are automatically checked for correctness with respect to the ATD
+
specification.
+
+
- Details such as optional fields and their associated default values are
+
automatically handled"""
+
maintainer: [
+
"Louis Roché <louis@louisroche.net>"
+
"Martin Jambon <martin@mjambon.com>"
+
"Rudi Grinberg <me@rgrinberg.com>"
+
]
+
authors: [
+
"Martin Jambon <martin@mjambon.com>"
+
"Rudi Grinberg <rudi.grinberg@gmail.com>"
+
"Martin Jambon <martin@r2c.dev>"
+
"Martin Jambon <github@mjambon.com>"
+
"Ivan Jager <aij+git@mrph.org>"
+
"oleksiy <oleksiy.golovko@ahrefs.com>"
+
"David Sheets <sheets@alum.mit.edu>"
+
"Rudi Grinberg <me@rgrinberg.com>"
+
"Martin Jambon <martin@esper.com>"
+
"Jeff Meister <nanaki@gmail.com>"
+
"Caio Wakamatsu <caio.wakamatsu@ahrefs.com>"
+
"Carmelo Piccione <carmelo.piccione@gmail.com>"
+
"Daniel Weil <danweil68@gmail.com>"
+
"Egor Chemokhonenko <egor.chemohonenko@ahrefs.com>"
+
"Gabriel Scherer <gabriel.scherer@gmail.com>"
+
"Raman Varabets <roman.vorobets@gmail.com>"
+
"tzm <frank@boldsolutions.de>"
+
"Mathieu Baudet <mathieubaudet@fb.com>"
+
"Oleksiy Golovko <alexei.golovko@gmail.com>"
+
"Rauan Mayemir <rauan@mayemir.io>"
+
"Carmelo Piccione <cep1@solvuu.com>"
+
"John Billings <john@monkeynut.org>"
+
"Louis Roché <louis@louisroche.net>"
+
"Brendan Long <self@brendanlong.com>"
+
"Chris Yocum <cyocum@gmail.com>"
+
"Louis Roché (Ahrefs) <louis.roche@ahrefs.com>"
+
"Louis Roché <louis.roche@ahrefs.com>"
+
"Pavel Antoshkin <pavel.antoshkin@ahrefs.com>"
+
"Pierre Boutillier <pierre.boutillier@laposte.net>"
+
"Shon Feder <shon.feder@key.me>"
+
"Anurag Soni <anuragsoni.13@gmail.com>"
+
"Arjun Ravi Narayan <arjunravinarayan@gmail.com>"
+
"Asya-kawai <kawai-toshiki@aintek.xyz>"
+
"Christophe Troestler <christophe.Troestler@umons.ac.be>"
+
"Damien Doligez <ddoligez@janestreet.com>"
+
"Daniel M <dan.mntg@gmail.com>"
+
"Ding Xiang Fei <dingxiangfei2009@protonmail.ch>"
+
"François Pottier <francois.pottier@inria.fr>"
+
"Javier Chavarri <javier.chavarri@gmail.com>"
+
"Kate <kit.ty.kate@disroot.org>"
+
"Louis <louis.roche@ahrefs.com>"
+
"Louis Roché <louis@cryptosense.com>"
+
"Raman Varabets <raman+git@ahrefs.com>"
+
"Stephane Legrand <slegrand45@gmail.com>"
+
"Vincent Bernardoff <vb@luminar.eu.org>"
+
"haoyang <haoyang@esper.co>"
+
"pmundkur <prashanth.mundkur@gmail.com>"
+
"ygrek <ygrek@autistici.org>"
+
]
+
license: "MIT"
+
homepage: "https://github.com/ahrefs/atd"
+
bug-reports: "https://github.com/ahrefs/atd/issues"
+
depends: [
+
"dune" {>= "2.8"}
+
"ocaml" {>= "4.08"}
+
"atd" {>= "2.7.0"}
+
"re"
+
"odoc" {with-doc}
+
]
+
dev-repo: "git+https://github.com/ahrefs/atd.git"
+
build: [
+
["dune" "subst"] {dev}
+
[
+
"dune"
+
"build"
+
"-p"
+
name
+
"-j"
+
jobs
+
"@install"
+
"@doc" {with-doc}
+
]
+
]
+
url {
+
src:
+
"https://github.com/ahrefs/atd/releases/download/2.12.0/atdts-2.12.0.tbz"
+
checksum: [
+
"sha256=02530cbc92ddb1cb6021951af4f62f95c2f39abf091a996c5e44ecadb20a4fc0"
+
"sha512=43cbbc4fd9491fcc0e543a488940f17468f5b31e263c7322bad1cc497fb4662a2d7e6aa219377a7105bd31ba80ec69b214247b63406a335ce2fdee886195bae9"
+
]
+
}
+
x-commit-hash: "652a65aa7635cd44afd0669ebec7af87bf894a45"
+94
packages/atdpy/atdpy.2.12.0/opam
···
+
opam-version: "2.0"
+
synopsis: "Python/mypy code generation for ATD APIs"
+
description: "Python/mypy code generation for ATD APIs"
+
maintainer: [
+
"Louis Roché <louis@louisroche.net>"
+
"Martin Jambon <martin@mjambon.com>"
+
"Rudi Grinberg <me@rgrinberg.com>"
+
]
+
authors: [
+
"Martin Jambon <martin@mjambon.com>"
+
"Rudi Grinberg <rudi.grinberg@gmail.com>"
+
"Martin Jambon <martin@r2c.dev>"
+
"Martin Jambon <github@mjambon.com>"
+
"Ivan Jager <aij+git@mrph.org>"
+
"oleksiy <oleksiy.golovko@ahrefs.com>"
+
"David Sheets <sheets@alum.mit.edu>"
+
"Rudi Grinberg <me@rgrinberg.com>"
+
"Martin Jambon <martin@esper.com>"
+
"Jeff Meister <nanaki@gmail.com>"
+
"Caio Wakamatsu <caio.wakamatsu@ahrefs.com>"
+
"Carmelo Piccione <carmelo.piccione@gmail.com>"
+
"Daniel Weil <danweil68@gmail.com>"
+
"Egor Chemokhonenko <egor.chemohonenko@ahrefs.com>"
+
"Gabriel Scherer <gabriel.scherer@gmail.com>"
+
"Raman Varabets <roman.vorobets@gmail.com>"
+
"tzm <frank@boldsolutions.de>"
+
"Mathieu Baudet <mathieubaudet@fb.com>"
+
"Oleksiy Golovko <alexei.golovko@gmail.com>"
+
"Rauan Mayemir <rauan@mayemir.io>"
+
"Carmelo Piccione <cep1@solvuu.com>"
+
"John Billings <john@monkeynut.org>"
+
"Louis Roché <louis@louisroche.net>"
+
"Brendan Long <self@brendanlong.com>"
+
"Chris Yocum <cyocum@gmail.com>"
+
"Louis Roché (Ahrefs) <louis.roche@ahrefs.com>"
+
"Louis Roché <louis.roche@ahrefs.com>"
+
"Pavel Antoshkin <pavel.antoshkin@ahrefs.com>"
+
"Pierre Boutillier <pierre.boutillier@laposte.net>"
+
"Shon Feder <shon.feder@key.me>"
+
"Anurag Soni <anuragsoni.13@gmail.com>"
+
"Arjun Ravi Narayan <arjunravinarayan@gmail.com>"
+
"Asya-kawai <kawai-toshiki@aintek.xyz>"
+
"Christophe Troestler <christophe.Troestler@umons.ac.be>"
+
"Damien Doligez <ddoligez@janestreet.com>"
+
"Daniel M <dan.mntg@gmail.com>"
+
"Ding Xiang Fei <dingxiangfei2009@protonmail.ch>"
+
"François Pottier <francois.pottier@inria.fr>"
+
"Javier Chavarri <javier.chavarri@gmail.com>"
+
"Kate <kit.ty.kate@disroot.org>"
+
"Louis <louis.roche@ahrefs.com>"
+
"Louis Roché <louis@cryptosense.com>"
+
"Raman Varabets <raman+git@ahrefs.com>"
+
"Stephane Legrand <slegrand45@gmail.com>"
+
"Vincent Bernardoff <vb@luminar.eu.org>"
+
"haoyang <haoyang@esper.co>"
+
"pmundkur <prashanth.mundkur@gmail.com>"
+
"ygrek <ygrek@autistici.org>"
+
]
+
license: "MIT"
+
homepage: "https://github.com/ahrefs/atd"
+
bug-reports: "https://github.com/ahrefs/atd/issues"
+
depends: [
+
"dune" {>= "2.8"}
+
"ocaml" {>= "4.08"}
+
"atd" {>= "2.11.0"}
+
"cmdliner" {>= "1.1.0"}
+
"re"
+
"alcotest" {with-test}
+
"conf-python-3" {with-test}
+
"odoc" {with-doc}
+
]
+
dev-repo: "git+https://github.com/ahrefs/atd.git"
+
build: [
+
["dune" "subst"] {dev}
+
[
+
"dune"
+
"build"
+
"-p"
+
name
+
"-j"
+
jobs
+
"@install"
+
"@doc" {with-doc}
+
]
+
]
+
url {
+
src:
+
"https://github.com/ahrefs/atd/releases/download/2.12.0/atdts-2.12.0.tbz"
+
checksum: [
+
"sha256=02530cbc92ddb1cb6021951af4f62f95c2f39abf091a996c5e44ecadb20a4fc0"
+
"sha512=43cbbc4fd9491fcc0e543a488940f17468f5b31e263c7322bad1cc497fb4662a2d7e6aa219377a7105bd31ba80ec69b214247b63406a335ce2fdee886195bae9"
+
]
+
}
+
x-commit-hash: "652a65aa7635cd44afd0669ebec7af87bf894a45"
+90
packages/atds/atds.2.12.0/opam
···
+
opam-version: "2.0"
+
synopsis: "ATD Code generator for Scala"
+
description: "ATD Code generator for Scala"
+
maintainer: [
+
"Louis Roché <louis@louisroche.net>"
+
"Martin Jambon <martin@mjambon.com>"
+
"Rudi Grinberg <me@rgrinberg.com>"
+
]
+
authors: [
+
"Martin Jambon <martin@mjambon.com>"
+
"Rudi Grinberg <rudi.grinberg@gmail.com>"
+
"Martin Jambon <martin@r2c.dev>"
+
"Martin Jambon <github@mjambon.com>"
+
"Ivan Jager <aij+git@mrph.org>"
+
"oleksiy <oleksiy.golovko@ahrefs.com>"
+
"David Sheets <sheets@alum.mit.edu>"
+
"Rudi Grinberg <me@rgrinberg.com>"
+
"Martin Jambon <martin@esper.com>"
+
"Jeff Meister <nanaki@gmail.com>"
+
"Caio Wakamatsu <caio.wakamatsu@ahrefs.com>"
+
"Carmelo Piccione <carmelo.piccione@gmail.com>"
+
"Daniel Weil <danweil68@gmail.com>"
+
"Egor Chemokhonenko <egor.chemohonenko@ahrefs.com>"
+
"Gabriel Scherer <gabriel.scherer@gmail.com>"
+
"Raman Varabets <roman.vorobets@gmail.com>"
+
"tzm <frank@boldsolutions.de>"
+
"Mathieu Baudet <mathieubaudet@fb.com>"
+
"Oleksiy Golovko <alexei.golovko@gmail.com>"
+
"Rauan Mayemir <rauan@mayemir.io>"
+
"Carmelo Piccione <cep1@solvuu.com>"
+
"John Billings <john@monkeynut.org>"
+
"Louis Roché <louis@louisroche.net>"
+
"Brendan Long <self@brendanlong.com>"
+
"Chris Yocum <cyocum@gmail.com>"
+
"Louis Roché (Ahrefs) <louis.roche@ahrefs.com>"
+
"Louis Roché <louis.roche@ahrefs.com>"
+
"Pavel Antoshkin <pavel.antoshkin@ahrefs.com>"
+
"Pierre Boutillier <pierre.boutillier@laposte.net>"
+
"Shon Feder <shon.feder@key.me>"
+
"Anurag Soni <anuragsoni.13@gmail.com>"
+
"Arjun Ravi Narayan <arjunravinarayan@gmail.com>"
+
"Asya-kawai <kawai-toshiki@aintek.xyz>"
+
"Christophe Troestler <christophe.Troestler@umons.ac.be>"
+
"Damien Doligez <ddoligez@janestreet.com>"
+
"Daniel M <dan.mntg@gmail.com>"
+
"Ding Xiang Fei <dingxiangfei2009@protonmail.ch>"
+
"François Pottier <francois.pottier@inria.fr>"
+
"Javier Chavarri <javier.chavarri@gmail.com>"
+
"Kate <kit.ty.kate@disroot.org>"
+
"Louis <louis.roche@ahrefs.com>"
+
"Louis Roché <louis@cryptosense.com>"
+
"Raman Varabets <raman+git@ahrefs.com>"
+
"Stephane Legrand <slegrand45@gmail.com>"
+
"Vincent Bernardoff <vb@luminar.eu.org>"
+
"haoyang <haoyang@esper.co>"
+
"pmundkur <prashanth.mundkur@gmail.com>"
+
"ygrek <ygrek@autistici.org>"
+
]
+
license: "MIT"
+
homepage: "https://github.com/ahrefs/atd"
+
bug-reports: "https://github.com/ahrefs/atd/issues"
+
depends: [
+
"dune" {>= "2.8"}
+
"ocaml" {>= "4.08"}
+
"atd" {>= "2.7.0"}
+
"odoc" {with-doc}
+
]
+
dev-repo: "git+https://github.com/ahrefs/atd.git"
+
build: [
+
["dune" "subst"] {dev}
+
[
+
"dune"
+
"build"
+
"-p"
+
name
+
"-j"
+
jobs
+
"@install"
+
"@doc" {with-doc}
+
]
+
]
+
url {
+
src:
+
"https://github.com/ahrefs/atd/releases/download/2.12.0/atdts-2.12.0.tbz"
+
checksum: [
+
"sha256=02530cbc92ddb1cb6021951af4f62f95c2f39abf091a996c5e44ecadb20a4fc0"
+
"sha512=43cbbc4fd9491fcc0e543a488940f17468f5b31e263c7322bad1cc497fb4662a2d7e6aa219377a7105bd31ba80ec69b214247b63406a335ce2fdee886195bae9"
+
]
+
}
+
x-commit-hash: "652a65aa7635cd44afd0669ebec7af87bf894a45"
+93
packages/atdts/atdts.2.12.0/opam
···
+
opam-version: "2.0"
+
synopsis: "TypeScript code generation for ATD APIs"
+
description: "TypeScript code generation for ATD APIs"
+
maintainer: [
+
"Louis Roché <louis@louisroche.net>"
+
"Martin Jambon <martin@mjambon.com>"
+
"Rudi Grinberg <me@rgrinberg.com>"
+
]
+
authors: [
+
"Martin Jambon <martin@mjambon.com>"
+
"Rudi Grinberg <rudi.grinberg@gmail.com>"
+
"Martin Jambon <martin@r2c.dev>"
+
"Martin Jambon <github@mjambon.com>"
+
"Ivan Jager <aij+git@mrph.org>"
+
"oleksiy <oleksiy.golovko@ahrefs.com>"
+
"David Sheets <sheets@alum.mit.edu>"
+
"Rudi Grinberg <me@rgrinberg.com>"
+
"Martin Jambon <martin@esper.com>"
+
"Jeff Meister <nanaki@gmail.com>"
+
"Caio Wakamatsu <caio.wakamatsu@ahrefs.com>"
+
"Carmelo Piccione <carmelo.piccione@gmail.com>"
+
"Daniel Weil <danweil68@gmail.com>"
+
"Egor Chemokhonenko <egor.chemohonenko@ahrefs.com>"
+
"Gabriel Scherer <gabriel.scherer@gmail.com>"
+
"Raman Varabets <roman.vorobets@gmail.com>"
+
"tzm <frank@boldsolutions.de>"
+
"Mathieu Baudet <mathieubaudet@fb.com>"
+
"Oleksiy Golovko <alexei.golovko@gmail.com>"
+
"Rauan Mayemir <rauan@mayemir.io>"
+
"Carmelo Piccione <cep1@solvuu.com>"
+
"John Billings <john@monkeynut.org>"
+
"Louis Roché <louis@louisroche.net>"
+
"Brendan Long <self@brendanlong.com>"
+
"Chris Yocum <cyocum@gmail.com>"
+
"Louis Roché (Ahrefs) <louis.roche@ahrefs.com>"
+
"Louis Roché <louis.roche@ahrefs.com>"
+
"Pavel Antoshkin <pavel.antoshkin@ahrefs.com>"
+
"Pierre Boutillier <pierre.boutillier@laposte.net>"
+
"Shon Feder <shon.feder@key.me>"
+
"Anurag Soni <anuragsoni.13@gmail.com>"
+
"Arjun Ravi Narayan <arjunravinarayan@gmail.com>"
+
"Asya-kawai <kawai-toshiki@aintek.xyz>"
+
"Christophe Troestler <christophe.Troestler@umons.ac.be>"
+
"Damien Doligez <ddoligez@janestreet.com>"
+
"Daniel M <dan.mntg@gmail.com>"
+
"Ding Xiang Fei <dingxiangfei2009@protonmail.ch>"
+
"François Pottier <francois.pottier@inria.fr>"
+
"Javier Chavarri <javier.chavarri@gmail.com>"
+
"Kate <kit.ty.kate@disroot.org>"
+
"Louis <louis.roche@ahrefs.com>"
+
"Louis Roché <louis@cryptosense.com>"
+
"Raman Varabets <raman+git@ahrefs.com>"
+
"Stephane Legrand <slegrand45@gmail.com>"
+
"Vincent Bernardoff <vb@luminar.eu.org>"
+
"haoyang <haoyang@esper.co>"
+
"pmundkur <prashanth.mundkur@gmail.com>"
+
"ygrek <ygrek@autistici.org>"
+
]
+
license: "MIT"
+
homepage: "https://github.com/ahrefs/atd"
+
bug-reports: "https://github.com/ahrefs/atd/issues"
+
depends: [
+
"dune" {>= "2.8"}
+
"ocaml" {>= "4.08"}
+
"atd" {>= "2.11.0"}
+
"cmdliner" {>= "1.1.0"}
+
"re"
+
"alcotest" {with-test}
+
"odoc" {with-doc}
+
]
+
dev-repo: "git+https://github.com/ahrefs/atd.git"
+
build: [
+
["dune" "subst"] {dev}
+
[
+
"dune"
+
"build"
+
"-p"
+
name
+
"-j"
+
jobs
+
"@install"
+
"@doc" {with-doc}
+
]
+
]
+
url {
+
src:
+
"https://github.com/ahrefs/atd/releases/download/2.12.0/atdts-2.12.0.tbz"
+
checksum: [
+
"sha256=02530cbc92ddb1cb6021951af4f62f95c2f39abf091a996c5e44ecadb20a4fc0"
+
"sha512=43cbbc4fd9491fcc0e543a488940f17468f5b31e263c7322bad1cc497fb4662a2d7e6aa219377a7105bd31ba80ec69b214247b63406a335ce2fdee886195bae9"
+
]
+
}
+
x-commit-hash: "652a65aa7635cd44afd0669ebec7af87bf894a45"