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~17.10 Distribution: artful 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~17.10) artful; urgency=medium . * bump to version 2.6.5.20180211095317.gitd1419538b4d818ed1cf21a01896bc5eaae5d1d57~17.10 Checksums-Sha1: 4bcea2b2fbc3de12d7d540f3a43d376343a9eb3e 1880 libibex-dev_2.6.5.20180211095317.gitd1419538b4d818ed1cf21a01896bc5eaae5d1d57~17.10.dsc cb0e99b89469708d16beeac853db743b751c5ed7 12805155 libibex-dev_2.6.5.20180211095317.gitd1419538b4d818ed1cf21a01896bc5eaae5d1d57~17.10.orig.tar.gz 0eca13b4ca9be6776819a4e5e284a4aad9e5c076 3712 libibex-dev_2.6.5.20180211095317.gitd1419538b4d818ed1cf21a01896bc5eaae5d1d57~17.10.debian.tar.xz Checksums-Sha256: 42842a547cc1ffbc0ea6e5560fabce40841a7fd9d162b242526fb94fa78ab0d7 1880 libibex-dev_2.6.5.20180211095317.gitd1419538b4d818ed1cf21a01896bc5eaae5d1d57~17.10.dsc a26788c035f5e6c4d60c28580297d3fdff89e9d87032f7397a4b8d685774cda0 12805155 libibex-dev_2.6.5.20180211095317.gitd1419538b4d818ed1cf21a01896bc5eaae5d1d57~17.10.orig.tar.gz 8d4b6748203a2bdba81f827889b1554fd4a63f291a97655fe08554aa060c6eb1 3712 libibex-dev_2.6.5.20180211095317.gitd1419538b4d818ed1cf21a01896bc5eaae5d1d57~17.10.debian.tar.xz Files: 45fc5289cf5c356049f5b89fae7756b8 1880 devel optional libibex-dev_2.6.5.20180211095317.gitd1419538b4d818ed1cf21a01896bc5eaae5d1d57~17.10.dsc 040f8c71f33f5dc6d994041f0689b37f 12805155 devel optional libibex-dev_2.6.5.20180211095317.gitd1419538b4d818ed1cf21a01896bc5eaae5d1d57~17.10.orig.tar.gz 84eb8073c9f4b6421361c90662afec8c 3712 devel optional libibex-dev_2.6.5.20180211095317.gitd1419538b4d818ed1cf21a01896bc5eaae5d1d57~17.10.debian.tar.xz