diff options
| author |   Sam James <sam@gentoo.org> | 2021-10-05 07:25:22 +0100 |
|---|---|---|
| committer | Sam James <sam@gentoo.org> | 2021-10-05 07:26:34 +0100 |
| commit | 548b44240beafd530c26a2e79a386b8f3c1ccd02 (patch) | |
| tree | fc88c6287070f943e40bc60ec983cb8518e1b04e /dev-ml/dune-configurator | |
| parent | dev-ruby/text: add ruby30 (diff) | |
| download | gentoo-548b44240beafd530c26a2e79a386b8f3c1ccd02.tar.gz gentoo-548b44240beafd530c26a2e79a386b8f3c1ccd02.tar.bz2 gentoo-548b44240beafd530c26a2e79a386b8f3c1ccd02.zip | |
dev-ml/ppx_optcomp: add 0.14.3
Signed-off-by: Sam James <sam@gentoo.org>
Diffstat (limited to 'dev-ml/dune-configurator')
0 files changed, 0 insertions, 0 deletions