cbmc 4.0-2 source package in Ubuntu
Changelog
cbmc (4.0-2) unstable; urgency=low * Added missing freebsd kernel define * Enable parallel builds -- Ubuntu Archive Auto-Sync <email address hidden> Thu, 16 Jun 2011 11:14:16 +0000
Upload details
- Uploaded by:
- Ubuntu Archive Auto-Sync
- Uploaded to:
- Oneiric
- Original maintainer:
- Michael Tautschnig
- Architectures:
- any
- Section:
- science
- Urgency:
- Low Urgency
See full publishing history Publishing
Series | Published | Component | Section |
---|
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
cbmc_4.0.orig.tar.gz | 848.8 KiB | f4b780fd81db80ccfde1704319af58a641bcf411a4f724c43e2a127212650c45 |
cbmc_4.0-2.debian.tar.gz | 4.6 KiB | cad32fb5b628c1cf12439a6a38f268396f951dbba1459f013dfdb17a091efe4b |
cbmc_4.0-2.dsc | 1.0 KiB | 0b970902f3b5498fefc43c7084a92c1cecef616b6b9531b3ceb94742bd52138a |
Available diffs
- diff from 4.0-1 to 4.0-2 (1.1 KiB)