diff options
author | Alexis Ballier <aballier@gentoo.org> | 2015-11-12 12:58:47 +0100 |
---|---|---|
committer | Alexis Ballier <aballier@gentoo.org> | 2015-11-12 12:58:47 +0100 |
commit | 6d3a5b578f417894c8b9b84c9f0bfb0900ba49d4 (patch) | |
tree | 1fd19d53364de35e42741f5b9883d9506c1616a8 /sci-mathematics/coq/Manifest | |
parent | media-libs/libvpx: bump to 1.5.0. Bug #565334. (diff) | |
download | gentoo-6d3a5b578f417894c8b9b84c9f0bfb0900ba49d4.tar.gz gentoo-6d3a5b578f417894c8b9b84c9f0bfb0900ba49d4.tar.bz2 gentoo-6d3a5b578f417894c8b9b84c9f0bfb0900ba49d4.zip |
dev-ml/camlp5: remove old
Package-Manager: portage-2.2.24
Signed-off-by: Alexis Ballier <aballier@gentoo.org>
Diffstat (limited to 'sci-mathematics/coq/Manifest')
0 files changed, 0 insertions, 0 deletions