Package: cvc3 / 2.4.1-5.1

Metadata

Package Version Patches format
cvc3 2.4.1-5.1 3.0 (quilt)

Patch series

view the series file
Patch File delta Description
disable log dumps in tests.patch | (download)

java/src/cvc3/Test.java | 4 2 + 2 - 0 !
test/main.cpp | 6 3 + 3 - 0 !
2 files changed, 5 insertions(+), 5 deletions(-)

 disables dump-log commands in tests.
 Prevents useless patches in the Debian package.