sci-mathematics/cvc3: remove old
authorMichael Mair-Keimberger <m.mairkeimberger@gmail.com>
Sun, 8 Apr 2018 16:56:43 +0000 (18:56 +0200)
committerAaron Bauman <bman@gentoo.org>
Mon, 9 Apr 2018 00:09:19 +0000 (20:09 -0400)
commit8a848ea05b96622f7f155863af4c0f6ca789c543
tree26c996ae703a37dd83af262a7e4664d74734607a
parentd3e9868a04678b1a7f7cfc30156642e5dde81130
sci-mathematics/cvc3: remove old

Closes: https://github.com/gentoo/gentoo/pull/7877
sci-mathematics/cvc3/cvc3-2.4.1.ebuild [deleted file]