Format: 1.8
Date: Sun, 01 Oct 2017 15:38:24 +0200
Source: bddscout
Binary: bddscout bddscout-ifip-data bddscout-bddtraces-data bddscout-ifip bddscout-bddtraces bddscout-bra
Architecture: source
Version: 1.7.3-1~zesty1
Distribution: zesty
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.7.3-1~zesty1) zesty; urgency=medium
 .
   * rebuilded for zesty
Checksums-Sha1:
 a456d2dc3555d2580bda09f379adde3d71ae19fb 1399 bddscout_1.7.3-1~zesty1.dsc
 bf1a258adee6cc37f37fafed8d81aa85edb598c4 382203 bddscout_1.7.3.orig.tar.gz
 9b887be1d8efc5a3f27aedb68d6acc074a6498aa 3004 bddscout_1.7.3-1~zesty1.debian.tar.xz
Checksums-Sha256:
 28b0d2e194742bd68463a6667d717e173dd5060637df6443fa22267f10fe3896 1399 bddscout_1.7.3-1~zesty1.dsc
 72fd1ce74190fb6f60becef5da80b54bead00aa4adf5ce3eab0357ecea417133 382203 bddscout_1.7.3.orig.tar.gz
 ab0ed0be82bc68a0d02f48d419b3862485cbda6d8199f7cd260817c0a351bf40 3004 bddscout_1.7.3-1~zesty1.debian.tar.xz
Files:
 e8bc0f0ddd2669c23091ecb096324a4e 1399 math extra bddscout_1.7.3-1~zesty1.dsc
 9a6773b22870a9722c9cd6f47040216c 382203 math extra bddscout_1.7.3.orig.tar.gz
 927356ac3504f25252d1882edcc50d99 3004 math extra bddscout_1.7.3-1~zesty1.debian.tar.xz