Format: 1.8
Date: Thu, 19 Jul 2018 12:58:24 +0200
Source: bddscout
Binary: bddscout bddscout-ifip-data bddscout-bddtraces-data bddscout-ifip bddscout-bddtraces bddscout-bra
Architecture: source
Version: 1.8.1-1~artful1
Distribution: artful
Urgency: medium
Maintainer: Robert Meolic <robert.meolic@um.si>
Changed-By: Robert Meolic <robert.meolic@um.si>
Description:
 bddscout   - Visualization of Binary Decision Diagrams
 bddscout-bddtraces - Visualization of Binary Decision Diagrams
 bddscout-bddtraces-data - Sample BDD traces
 bddscout-bra - Visualization of Binary Decision Diagrams
 bddscout-ifip - Visualization of Binary Decision Diagrams
 bddscout-ifip-data - IFIP benchmark data
Changes:
 bddscout (1.8.1-1~artful1) artful; urgency=medium
 .
   * rebuilded for artful
Checksums-Sha1:
 7bd8c0b2adcc20dec02e6ab32b5e92a94c93f809 1417 bddscout_1.8.1-1~artful1.dsc
 c1c2ff355bded936e511653fe925e1eaefc0a388 393803 bddscout_1.8.1.orig.tar.gz
 40ab722fab23e22fce8b7c93857e0f51a065891b 3096 bddscout_1.8.1-1~artful1.debian.tar.xz
 b33293afc06282fbf01b133d9c16d6fabebb7e6e 5648 bddscout_1.8.1-1~artful1_source.buildinfo
Checksums-Sha256:
 3309f4fef2440c5f8604a4ee295c1d8fd8b04010374c2ed84565d2866b227705 1417 bddscout_1.8.1-1~artful1.dsc
 6031a9c6ac75cb0559b6d4637870c618e422369be78ad63dac47e073532e86c3 393803 bddscout_1.8.1.orig.tar.gz
 6ac4edaed2a4edd807c2df7c4cf464c79783429a7cf538a6842f8f39b141f09d 3096 bddscout_1.8.1-1~artful1.debian.tar.xz
 9b5ded88542dfb5fec9e24ba9631f3039b9eabff0f693e2c338c1231a9a3b604 5648 bddscout_1.8.1-1~artful1_source.buildinfo
Files:
 b08a1bc0633ef83deb7a67414cf23f13 1417 math extra bddscout_1.8.1-1~artful1.dsc
 c5c2875168bf8ea75e7dff49bd5630b0 393803 math extra bddscout_1.8.1.orig.tar.gz
 1c9da98ebf21cbb379fc7b33dd8526a7 3096 math extra bddscout_1.8.1-1~artful1.debian.tar.xz
 9c291d38e644e74130aed8fa984a3966 5648 math extra bddscout_1.8.1-1~artful1_source.buildinfo