Format: 1.8 Date: Tue, 17 Jan 2017 14:11:52 -0500 Source: dreal Binary: dreal Architecture: source Version: 3.16.12.20170117141152.git5af96ed851a8c1f59410228aa9399f8926a215e2~14.04 Distribution: trusty Urgency: medium Maintainer: Soonho Kong Changed-By: Soonho Kong Description: dreal - dReal SMT Solver and related tools Changes: dreal (3.16.12.20170117141152.git5af96ed851a8c1f59410228aa9399f8926a215e2~14.04) trusty; urgency=medium . * bump to version 3.16.12.20170117141152.git5af96ed851a8c1f59410228aa9399f8926a215e2~14.04 Checksums-Sha1: a53ed59b9c5deed122ac7291e9756c0088ae0217 1913 dreal_3.16.12.20170117141152.git5af96ed851a8c1f59410228aa9399f8926a215e2~14.04.dsc f876aa369826e53a825739f971d2146181645dd9 63151791 dreal_3.16.12.20170117141152.git5af96ed851a8c1f59410228aa9399f8926a215e2~14.04.orig.tar.gz b4509f2828cd8008cb88314cee46feb2eecbf3ee 4446 dreal_3.16.12.20170117141152.git5af96ed851a8c1f59410228aa9399f8926a215e2~14.04.debian.tar.gz Checksums-Sha256: 9d1301dbd8a464190fb6475f424f61bedfe62af53cf3cde0c702b137e5dcf332 1913 dreal_3.16.12.20170117141152.git5af96ed851a8c1f59410228aa9399f8926a215e2~14.04.dsc d44fe63edcc37ad223901e385a4391466e544db479e83970c19a73fc0fb5c9a0 63151791 dreal_3.16.12.20170117141152.git5af96ed851a8c1f59410228aa9399f8926a215e2~14.04.orig.tar.gz 35b6244344920176438f2e42fbbffb1ebb5db30a7d53b53d37d5c57f39da401d 4446 dreal_3.16.12.20170117141152.git5af96ed851a8c1f59410228aa9399f8926a215e2~14.04.debian.tar.gz Files: 34249badc31952e252b7d5b3cc328948 1913 devel optional dreal_3.16.12.20170117141152.git5af96ed851a8c1f59410228aa9399f8926a215e2~14.04.dsc a1a926501c9e51cee517ef39ebdb0a26 63151791 devel optional dreal_3.16.12.20170117141152.git5af96ed851a8c1f59410228aa9399f8926a215e2~14.04.orig.tar.gz f994258e34963c14a923d6f8c18b3a09 4446 devel optional dreal_3.16.12.20170117141152.git5af96ed851a8c1f59410228aa9399f8926a215e2~14.04.debian.tar.gz