cvc3 2.2-13.1 source package in Debian
Changelog
cvc3 (2.2-13.1) unstable; urgency=low * NMU. Change dependencies libgmp3-dev --> libgmp-dev. -- Steve M. Robbins <email address hidden> Wed, 16 Mar 2011 21:43:31 -0500
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 | Published | Component | Section |
---|
Builds
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
cvc3_2.2-13.1.dsc | 1.1 KiB | 3aed973011596264a6bdc92c629d3380c3641ae524c6fa613eb2b37f2b1b4bac |
cvc3_2.2.orig.tar.gz | 1.0 MiB | 5182c8bd7b90f4ee8b35d4f731c8fa42e4bc8d00471a99a8c9aec7bc4b1381b7 |
cvc3_2.2-13.1.diff.gz | 64.6 KiB | 3e69ca88a5e78a8d46731c47652bb1d5298656bc6c61ded3aa959bcf6e5ac504 |
No changes file available.