/pkgs/applications/science/logic/cvc3/

• ../
• cvc3-2.4.1-gccv6-fix.patch
• default.nix