Package: wnpp Severity: normal X-Debbugs-CC: [email protected]
- Bug#757192: RFA: cvc3 - Automatic theorem prove... Christopher L Conway
- Bug#757192: RFA: cvc3 - Automatic theorem ... Morgan Deters
- Bug#757192: marked as done (ITA: cvc3 -- A... Debian Bug Tracking System
