opam-repository/packages/atdts/ at main · anil.recoil.org/opam-repository · tangled

anil.recoil.org / opam-repository

this repo has no description

opam-repository / packages / atdts /

at main 13 folders

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

3 years ago

Require atd >= 2.11.0 (due to the use of ~keep_builtins)

2 years ago

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

2 years ago

atdts and atdgen require the latest atd

2 years ago

[new release] atd (9 packages) (2.14.0)

2 years ago

[new release] atd (9 packages) (2.14.1)

2 years ago

[new release] atd (9 packages) (2.15.0)

2 years ago

[new release] atd (10 packages) (2.16.0)

10 months ago

Merge pull request #21965 from mjambon/release-atd-2.10.0

3 years ago

Merge pull request #21965 from mjambon/release-atd-2.10.0

3 years ago

Merge pull request #21965 from mjambon/release-atd-2.10.0

3 years ago

Merge pull request #21965 from mjambon/release-atd-2.10.0

3 years ago

Merge pull request #21965 from mjambon/release-atd-2.10.0

3 years ago