Debian
cvc3 package

cvc3 2.2-13 source package in Debian

Changelog

cvc3 (2.2-13) unstable; urgency=low


  * Prevent Java tests from running on kfreebsd-amd64

 -- Christopher L. Conway <email address hidden>  Thu, 08 Apr 2010 13:46:21 -0400

Upload details

Uploaded by:
Chris Conway
Uploaded to:
Sid
Original maintainer:
Chris Conway
Architectures:
any
Section:
math
Urgency:
Low Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Squeeze release main math

Builds

Downloads

File Size SHA-256 Checksum
cvc3_2.2-13.dsc 1.1 KiB 0e2fae2a8ddf02340cecb19a2d41b96e0f73e1b1c576deb0a3603874bb527d3c
cvc3_2.2.orig.tar.gz 1.0 MiB 5182c8bd7b90f4ee8b35d4f731c8fa42e4bc8d00471a99a8c9aec7bc4b1381b7
cvc3_2.2-13.diff.gz 62.0 KiB 0ecaee5579fc1d9ccdb62513bd0d9cb9a2313b1b0163b224c72ce45c86716cc7

No changes file available.

Binary packages built by this source