Package: libcodac-dev
Version: 0.1.3
Architecture: amd64
Maintainer: codac.io
Depends: libeigen3-dev, libibex-dev
Filename: ./libcodac-dev-0.1.3-0xenial0_amd64.deb
Size: 7667084
MD5sum: a01cc50ac18a6538c4c6a676cc6cd245
SHA1: bdd85834a0bdb66b77c99c15770c19c42e55881f
SHA256: f7c366e1ce5c646b2e2f4c85bb4b43ee37cde4682292fe4f5c29574f764fda85
Section: math
Priority: optional
Homepage: codac.io
Description: Codac is a library providing tools for constraint programming over reals, trajectories and sets

Package: libcodac-dev
Version: 0.1.4
Architecture: amd64
Maintainer: codac.io
Depends: libeigen3-dev, libibex-dev
Filename: ./libcodac-dev-0.1.4-0xenial0_amd64.deb
Size: 7677340
MD5sum: 46da6e3abe044894f5efbd1d2538c6c0
SHA1: 0aa3b7cbc9fd0de694d50ea6a02b459583022acc
SHA256: 889438d2f75c6d124c352fd87446fb86811bec8e54113e0faad3420743bc97c7
Section: math
Priority: optional
Homepage: codac.io
Description: Codac is a library providing tools for constraint programming over reals, trajectories and sets

Package: libibex-dev
Version: 2.8.9
Architecture: amd64
Maintainer: www.ibex-lib.org
Depends: libstdc++6, libgcc1, libc6
Filename: ./libibex-dev-2.8.9-0xenial0_amd64.deb
Size: 2281114
MD5sum: d7d749e48f01776de4ec0f27afceb7e9
SHA1: 5823f2dfedf8097aa4b2ac3d801bd3e0be9e2fb0
SHA256: e627c920f0d8202bef9a46559e7812b5b028916e54d6d050583c6443d8284999
Section: math
Priority: optional
Homepage: www.ibex-lib.org
Description: IBEX is a C++ library for constraint processing over real numbers