diff --git a/packages/atd/atd.2.9.1/opam b/packages/atd/atd.2.9.1/opam
new file mode 100644
index 00000000000..e374a3fbd38
--- /dev/null
+++ b/packages/atd/atd.2.9.1/opam
@@ -0,0 +1,98 @@
+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.9.1/atdts-2.9.1.tbz"
+  checksum: [
+    "sha256=39dc1a511d08c743b3f0d0e6dfa9c8caf211cc5fabfe92a089e8f57e170e9ae4"
+    "sha512=2149ddc53703a8c4c01c5571125ba66cce7305fac332357acfda36a44a67a7c9df2a0322cb05682fed3656067c26cdbe2e50071db5b2e5233abc1cfcf103e34e"
+  ]
+}
+x-commit-hash: "31799bf3955b11d8d9c12334cb65e7609927e09c"
diff --git a/packages/atdgen-codec-runtime/atdgen-codec-runtime.2.9.1/opam b/packages/atdgen-codec-runtime/atdgen-codec-runtime.2.9.1/opam
new file mode 100644
index 00000000000..b7575c7b4f1
--- /dev/null
+++ b/packages/atdgen-codec-runtime/atdgen-codec-runtime.2.9.1/opam
@@ -0,0 +1,91 @@
+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.9.1/atdts-2.9.1.tbz"
+  checksum: [
+    "sha256=39dc1a511d08c743b3f0d0e6dfa9c8caf211cc5fabfe92a089e8f57e170e9ae4"
+    "sha512=2149ddc53703a8c4c01c5571125ba66cce7305fac332357acfda36a44a67a7c9df2a0322cb05682fed3656067c26cdbe2e50071db5b2e5233abc1cfcf103e34e"
+  ]
+}
+x-commit-hash: "31799bf3955b11d8d9c12334cb65e7609927e09c"
diff --git a/packages/atdgen-runtime/atdgen-runtime.2.9.1/opam b/packages/atdgen-runtime/atdgen-runtime.2.9.1/opam
new file mode 100644
index 00000000000..c3572da0014
--- /dev/null
+++ b/packages/atdgen-runtime/atdgen-runtime.2.9.1/opam
@@ -0,0 +1,94 @@
+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" {>= "1.7.0" & < "2.0.0"}
+  "biniou" {>= "1.0.6"}
+  "camlp-streams"
+  "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.9.1/atdts-2.9.1.tbz"
+  checksum: [
+    "sha256=39dc1a511d08c743b3f0d0e6dfa9c8caf211cc5fabfe92a089e8f57e170e9ae4"
+    "sha512=2149ddc53703a8c4c01c5571125ba66cce7305fac332357acfda36a44a67a7c9df2a0322cb05682fed3656067c26cdbe2e50071db5b2e5233abc1cfcf103e34e"
+  ]
+}
+x-commit-hash: "31799bf3955b11d8d9c12334cb65e7609927e09c"
diff --git a/packages/atdgen/atdgen.2.9.1/opam b/packages/atdgen/atdgen.2.9.1/opam
new file mode 100644
index 00000000000..126b25c8314
--- /dev/null
+++ b/packages/atdgen/atdgen.2.9.1/opam
@@ -0,0 +1,105 @@
+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"}
+  "atd" {>= "2.7.0"}
+  "atdgen-runtime" {>= "2.1.0"}
+  "atdgen-codec-runtime" {with-test}
+  "biniou" {>= "1.0.6"}
+  "yojson" {>= "1.7.0" & < "2.0.0"}
+  "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.9.1/atdts-2.9.1.tbz"
+  checksum: [
+    "sha256=39dc1a511d08c743b3f0d0e6dfa9c8caf211cc5fabfe92a089e8f57e170e9ae4"
+    "sha512=2149ddc53703a8c4c01c5571125ba66cce7305fac332357acfda36a44a67a7c9df2a0322cb05682fed3656067c26cdbe2e50071db5b2e5233abc1cfcf103e34e"
+  ]
+}
+x-commit-hash: "31799bf3955b11d8d9c12334cb65e7609927e09c"
diff --git a/packages/atdj/atdj.2.9.1/opam b/packages/atdj/atdj.2.9.1/opam
new file mode 100644
index 00000000000..c165a34afb6
--- /dev/null
+++ b/packages/atdj/atdj.2.9.1/opam
@@ -0,0 +1,105 @@
+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.9.1/atdts-2.9.1.tbz"
+  checksum: [
+    "sha256=39dc1a511d08c743b3f0d0e6dfa9c8caf211cc5fabfe92a089e8f57e170e9ae4"
+    "sha512=2149ddc53703a8c4c01c5571125ba66cce7305fac332357acfda36a44a67a7c9df2a0322cb05682fed3656067c26cdbe2e50071db5b2e5233abc1cfcf103e34e"
+  ]
+}
+x-commit-hash: "31799bf3955b11d8d9c12334cb65e7609927e09c"
diff --git a/packages/atdpy/atdpy.2.9.1/opam b/packages/atdpy/atdpy.2.9.1/opam
new file mode 100644
index 00000000000..8ade75d4d48
--- /dev/null
+++ b/packages/atdpy/atdpy.2.9.1/opam
@@ -0,0 +1,94 @@
+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.7.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.9.1/atdts-2.9.1.tbz"
+  checksum: [
+    "sha256=39dc1a511d08c743b3f0d0e6dfa9c8caf211cc5fabfe92a089e8f57e170e9ae4"
+    "sha512=2149ddc53703a8c4c01c5571125ba66cce7305fac332357acfda36a44a67a7c9df2a0322cb05682fed3656067c26cdbe2e50071db5b2e5233abc1cfcf103e34e"
+  ]
+}
+x-commit-hash: "31799bf3955b11d8d9c12334cb65e7609927e09c"
diff --git a/packages/atds/atds.2.9.1/opam b/packages/atds/atds.2.9.1/opam
new file mode 100644
index 00000000000..c9052eaf549
--- /dev/null
+++ b/packages/atds/atds.2.9.1/opam
@@ -0,0 +1,90 @@
+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.9.1/atdts-2.9.1.tbz"
+  checksum: [
+    "sha256=39dc1a511d08c743b3f0d0e6dfa9c8caf211cc5fabfe92a089e8f57e170e9ae4"
+    "sha512=2149ddc53703a8c4c01c5571125ba66cce7305fac332357acfda36a44a67a7c9df2a0322cb05682fed3656067c26cdbe2e50071db5b2e5233abc1cfcf103e34e"
+  ]
+}
+x-commit-hash: "31799bf3955b11d8d9c12334cb65e7609927e09c"
diff --git a/packages/atdts/atdts.2.9.1/opam b/packages/atdts/atdts.2.9.1/opam
new file mode 100644
index 00000000000..1d3979d7a35
--- /dev/null
+++ b/packages/atdts/atdts.2.9.1/opam
@@ -0,0 +1,93 @@
+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.7.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.9.1/atdts-2.9.1.tbz"
+  checksum: [
+    "sha256=39dc1a511d08c743b3f0d0e6dfa9c8caf211cc5fabfe92a089e8f57e170e9ae4"
+    "sha512=2149ddc53703a8c4c01c5571125ba66cce7305fac332357acfda36a44a67a7c9df2a0322cb05682fed3656067c26cdbe2e50071db5b2e5233abc1cfcf103e34e"
+  ]
+}
+x-commit-hash: "31799bf3955b11d8d9c12334cb65e7609927e09c"