Format: 1.8
Date: Thu, 09 Oct 2014 10:15:49 +0000
Source: buddy
Binary: libbdd0c2 libbdd-dev
Architecture: armhf
Version: 2.4-11
Distribution: vivid-proposed
Urgency: medium
Maintainer: Ubuntu/armhf Build Daemon <buildd@kishi13.buildd>
Changed-By: Matthias Klose <doko@debian.org>
Description:
 libbdd-dev - Binary decision-diagram library (development)
 libbdd0c2  - Binary decision-diagram library (runtime)
Closes: 761735
Changes:
 buddy (2.4-11) unstable; urgency=medium
 .
   * QA upload.
   * Build-depend on libtool-bin. Closes: #761735.
Checksums-Sha1:
 6d20548c10a6bda446f9d232309d3ff570f241cb 44456 libbdd0c2_2.4-11_armhf.deb
 0d81ef09850551153e830b08343576b839dcc3c7 448628 libbdd-dev_2.4-11_armhf.deb
Checksums-Sha256:
 12451878a2b42456eb924a2eb703db13e699c996c6b85a6a2251e09fa14e708e 44456 libbdd0c2_2.4-11_armhf.deb
 a3a812743dd7a05ca5d116229f21c685cf9ac5234823ef391251bd961dbdb106 448628 libbdd-dev_2.4-11_armhf.deb
Files:
 c506a90355e363686940a4656f13792d 44456 libs optional libbdd0c2_2.4-11_armhf.deb
 bd58186327f6ff7dfabd1d949447e504 448628 libdevel optional libbdd-dev_2.4-11_armhf.deb