cbmc 4.0-1 source package in Ubuntu
Changelog
cbmc (4.0-1) unstable; urgency=low * New upstream release (all patches merged) * Requires suitable minisat version * Working watch file -- Ubuntu Archive Auto-Sync <email address hidden> Wed, 15 Jun 2011 09:34:30 +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-1.debian.tar.gz | 4.4 KiB | 413c8717440cd7081ddeb85dccb2a1218cfc7d975befb4dae91a287e410b0565 |
| cbmc_4.0-1.dsc | 1.0 KiB | 66e714b47478521958cdc41afe8508a92b965f835164333c4780843e175a0d78 |
Available diffs
- diff from 3.9+r41-3 to 4.0-1 (76.4 KiB)
