Format: 1.8 Date: Sun, 11 Feb 2018 09:53:17 -0500 Source: libibex-dev Binary: libibex-dev Architecture: source Version: 2.6.5.20180211095317.gitd1419538b4d818ed1cf21a01896bc5eaae5d1d57~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.6.5.20180211095317.gitd1419538b4d818ed1cf21a01896bc5eaae5d1d57~14.04) trusty; urgency=medium . * bump to version 2.6.5.20180211095317.gitd1419538b4d818ed1cf21a01896bc5eaae5d1d57~14.04 Checksums-Sha1: 33afdbfb5517a7d4a24683444dcc767a16583b34 1880 libibex-dev_2.6.5.20180211095317.gitd1419538b4d818ed1cf21a01896bc5eaae5d1d57~14.04.dsc 35eb262bfeb5b8e5ea1f1d0c65d32b485504076c 12805153 libibex-dev_2.6.5.20180211095317.gitd1419538b4d818ed1cf21a01896bc5eaae5d1d57~14.04.orig.tar.gz e3b9a8c71898cc68b947ad4f5563612d0ec29b76 3712 libibex-dev_2.6.5.20180211095317.gitd1419538b4d818ed1cf21a01896bc5eaae5d1d57~14.04.debian.tar.xz Checksums-Sha256: f0e3058f335e91a029e1e05a4d1048109284ca81704067011b51cc139a643da3 1880 libibex-dev_2.6.5.20180211095317.gitd1419538b4d818ed1cf21a01896bc5eaae5d1d57~14.04.dsc cb8bb60a3b5ee6c4d6e21081434d2bbe0c06f886c571fb6a17309fb733259126 12805153 libibex-dev_2.6.5.20180211095317.gitd1419538b4d818ed1cf21a01896bc5eaae5d1d57~14.04.orig.tar.gz 2ad99f0342d0ff07b873370e34c93643749ce46830d836958f5cc08fb83d1cbf 3712 libibex-dev_2.6.5.20180211095317.gitd1419538b4d818ed1cf21a01896bc5eaae5d1d57~14.04.debian.tar.xz Files: f0314877fd1a500f3942221ffa92158a 1880 devel optional libibex-dev_2.6.5.20180211095317.gitd1419538b4d818ed1cf21a01896bc5eaae5d1d57~14.04.dsc 71b946d93583bb1231114fa0d7fef7de 12805153 devel optional libibex-dev_2.6.5.20180211095317.gitd1419538b4d818ed1cf21a01896bc5eaae5d1d57~14.04.orig.tar.gz 5d157a91dd6aeb8d538f9bb3f7bd6f16 3712 devel optional libibex-dev_2.6.5.20180211095317.gitd1419538b4d818ed1cf21a01896bc5eaae5d1d57~14.04.debian.tar.xz