dev-ml/dune: remove old version
authorTupone Alfredo <tupone@gentoo.org>
Fri, 21 Feb 2020 18:07:52 +0000 (19:07 +0100)
committerTupone Alfredo <tupone@gentoo.org>
Fri, 21 Feb 2020 18:07:52 +0000 (19:07 +0100)
commitcfee64c2f8ea55f65b8ebdc5f1fd919ea69acee5
tree0c56009fabdd3dd4959e3dcc4cfd3bf28a9b44e9
parent1a6f847f29b1a626a25c8d531f9bd1a0ac8a67c2
dev-ml/dune: remove old version

Package-Manager: Portage-2.3.84, Repoman-2.3.20
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
dev-ml/dune/Manifest
dev-ml/dune/dune-1.7.2.ebuild [deleted file]