buddy 2.4-9ubuntu1 source package in Ubuntu
Changelog
buddy (2.4-9ubuntu1) trusty; urgency=medium * Merge from Debian unstable. Remaining changes: - Use dh-autoreconf instead of autotools-dev to also fix FTBFS on ppc64el (still updates config.{sub,guess}). buddy (2.4-9) unstable; urgency=low * QA upload. * Maintainer field set to QA Group. * Build with default compiler flags. * Bump Standards-Version to 3.9.5. * Add missing debian/rules targets: build-arch, build-indep. * Set debhelper compatibility level to 9. -- Logan Rosen <email address hidden> Tue, 25 Mar 2014 16:50:58 -0400
Upload details
- Uploaded by:
- Logan Rosen
- Uploaded to:
- Trusty
- Original maintainer:
- Ubuntu Developers
- Architectures:
- any
- Section:
- devel
- Urgency:
- Medium Urgency
See full publishing history Publishing
Series | Published | Component | Section | |
---|---|---|---|---|
Trusty | release | universe | devel |
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
buddy_2.4.orig.tar.gz | 748.6 KiB | d3df80a6a669d9ae408cb46012ff17bd33d855529d20f3a7e563d0d913358836 |
buddy_2.4-9ubuntu1.debian.tar.gz | 4.7 KiB | e49c5341be957b3840df65b5a1852167b4edc3bbf8770d58ebfd31aacce552ea |
buddy_2.4-9ubuntu1.dsc | 1.5 KiB | 675c7345285937bf3c1efcc4436c3f3fa2e45dfe41bf451027d8862afa3b74d7 |
Available diffs
- diff from 2.4-8ubuntu1 to 2.4-9ubuntu1 (1.2 KiB)
Binary packages built by this source
- libbdd-dev: No summary available for libbdd-dev in ubuntu utopic.
No description available for libbdd-dev in ubuntu utopic.
- libbdd0c2: Binary decision-diagram library (runtime)
Binary decision diagrams (BDDs) are space-efficient encodings of
boolean expressions or dynamic truth tables, used in eg. model
checking. This is the runtime package for programs that use the
BuDDy library.