/sci-mathematics/cvc3/files/

• ../
• 50cvc3-gentoo.el
• cvc3-2.4.1-gccv6-fix.patch