Format: 1.8 Date: Wed, 06 Sep 2017 15:26:46 -0400 Source: libibex-dev Binary: libibex-dev Architecture: source Version: 2.5.1.20170906152646.gitad9c1fe4fbac959542d21fc2180636b2512f3cc7~14.04 Distribution: trusty Urgency: medium Maintainer: Soonho Kong Changed-By: Soonho Kong Description: libibex-dev - C++ library for constraint processing over real numbers Changes: libibex-dev (2.5.1.20170906152646.gitad9c1fe4fbac959542d21fc2180636b2512f3cc7~14.04) trusty; urgency=medium . * bump to version 2.5.1.20170906152646.gitad9c1fe4fbac959542d21fc2180636b2512f3cc7~14.04 Checksums-Sha1: 5902686d75da6d56f4a050b45c51dc8974b39002 1875 libibex-dev_2.5.1.20170906152646.gitad9c1fe4fbac959542d21fc2180636b2512f3cc7~14.04.dsc dc401062201071ccfb8c6e92e9d3343a4a5bd0d1 13803411 libibex-dev_2.5.1.20170906152646.gitad9c1fe4fbac959542d21fc2180636b2512f3cc7~14.04.orig.tar.gz 9a66e0288f30e484f385c10ab32ce7fa8854a7c1 3784 libibex-dev_2.5.1.20170906152646.gitad9c1fe4fbac959542d21fc2180636b2512f3cc7~14.04.debian.tar.gz Checksums-Sha256: f1501376e3314b73c6fde7e4266b9dd515c533f7e92a9e901b594361dc8e869d 1875 libibex-dev_2.5.1.20170906152646.gitad9c1fe4fbac959542d21fc2180636b2512f3cc7~14.04.dsc a99a10b7351b6e34897ac66f5eaa9b50262d971bf9a643a016747f03d17b3ce6 13803411 libibex-dev_2.5.1.20170906152646.gitad9c1fe4fbac959542d21fc2180636b2512f3cc7~14.04.orig.tar.gz 6fe8f49ae258cdf6d818c323ed0dfa1d6f2e73e85e420a82f576f72276d87f36 3784 libibex-dev_2.5.1.20170906152646.gitad9c1fe4fbac959542d21fc2180636b2512f3cc7~14.04.debian.tar.gz Files: 832ba776371f05a8e4fe9e792feb6a82 1875 devel optional libibex-dev_2.5.1.20170906152646.gitad9c1fe4fbac959542d21fc2180636b2512f3cc7~14.04.dsc f679ab52d949a701d1d9bcb6b8de0aaf 13803411 devel optional libibex-dev_2.5.1.20170906152646.gitad9c1fe4fbac959542d21fc2180636b2512f3cc7~14.04.orig.tar.gz 60d7cb1cbcf5403a8690924e1a07e0c7 3784 devel optional libibex-dev_2.5.1.20170906152646.gitad9c1fe4fbac959542d21fc2180636b2512f3cc7~14.04.debian.tar.gz