summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSam James <sam@gentoo.org>2021-03-15 03:16:22 +0000
committerSam James <sam@gentoo.org>2021-03-15 04:02:01 +0000
commitd036e0454d4f47aabe91d9c55f3e0a84f346a0cc (patch)
treee19607706d9072188e08d4c55ab1ed8b1cf1cb58 /dev-ml/ppx_tools_versioned
parentdev-ml/opam: drop 2.0.7-r1 (diff)
downloadgentoo-d036e0454d4f47aabe91d9c55f3e0a84f346a0cc.tar.gz
gentoo-d036e0454d4f47aabe91d9c55f3e0a84f346a0cc.tar.bz2
gentoo-d036e0454d4f47aabe91d9c55f3e0a84f346a0cc.zip
dev-ml/dune-private-libs: drop 2.7.1
Signed-off-by: Sam James <sam@gentoo.org>
Diffstat (limited to 'dev-ml/ppx_tools_versioned')
0 files changed, 0 insertions, 0 deletions