diff options
| author |   Sam James <sam@gentoo.org> | 2022-07-24 00:32:24 +0100 |
|---|---|---|
| committer | Sam James <sam@gentoo.org> | 2022-07-24 00:51:56 +0100 |
| commit | a9b8893cdb71005e43773d4897bfd704b0a1c236 (patch) | |
| tree | 5c083329548cdfbd21da222694ae0dbbd273f799 /dev-ml/async_extra | |
| parent | dev-ml/dune: drop 1.11.4, 2.1.0, 2.7.1, 2.8.2, 2.9.0 (diff) | |
| download | gentoo-a9b8893cdb71005e43773d4897bfd704b0a1c236.tar.gz gentoo-a9b8893cdb71005e43773d4897bfd704b0a1c236.tar.bz2 gentoo-a9b8893cdb71005e43773d4897bfd704b0a1c236.zip | |
dev-ml/dune-configurator: drop 2.8.2-r1, 2.9.0
Signed-off-by: Sam James <sam@gentoo.org>
Diffstat (limited to 'dev-ml/async_extra')
0 files changed, 0 insertions, 0 deletions