Package: libcodac-dev Version: 1.5.5 Architecture: armhf Maintainer: codac.io Depends: libeigen3-dev, libibex-dev Filename: ./libcodac-dev-1.5.5-0buster0_armhf.deb Size: 18755456 MD5sum: 45ceb2b5d17525b22956b2bae1384735 SHA1: 81438a62683881ae03e5f8ead375f0cd48a7829b SHA256: d4da941ac5aaf4dd5fea05f02d5df27a34923e23baaf11ebacb53a0456f3f776 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: 1.5.5 Architecture: arm64 Maintainer: codac.io Depends: libeigen3-dev, libibex-dev Filename: ./libcodac-dev-1.5.5-0buster0_arm64.deb Size: 22683456 MD5sum: df89dfbebc123fe77f7dc798fd4af2f7 SHA1: acd0c781a3a100d81ca3b01aaf543897afb09ebd SHA256: 45db6752719295802b2c648ded2ebc368b6bfe22b816828e97aa99beec162b53 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: 1.5.6 Architecture: amd64 Maintainer: codac.io Depends: libeigen3-dev, libibex-dev Filename: ./libcodac-dev-1.5.6-0buster0_amd64.deb Size: 22941860 MD5sum: e6e947721acc7af7cfba37af06becf27 SHA1: 154bfb0d15a0b33b95df3276250d48a6780a690e SHA256: fe5033d4c4919ffb7adc1ee62041d0ba2caa48eb6fab9aae9d578d85791ce408 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: 1.5.6 Architecture: armhf Maintainer: codac.io Depends: libeigen3-dev, libibex-dev Filename: ./libcodac-dev-1.5.6-0buster0_armhf.deb Size: 18769096 MD5sum: 0be1a5c6379d7a4a315eff7875313e92 SHA1: b0ffd446c84e5572715a9858461bf1edf90ce9e2 SHA256: bd67326dac69078e5702dc57bfa37c75378cddacf40d987f8bc623dc1e43bc79 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: 1.5.6 Architecture: arm64 Maintainer: codac.io Depends: libeigen3-dev, libibex-dev Filename: ./libcodac-dev-1.5.6-0buster0_arm64.deb Size: 22723196 MD5sum: 99e01fa8c8c6ed20befeb3f92ae8c841 SHA1: 14069de78ea84b931d72a99a00bad40b4eee6999 SHA256: b456372d51d373fe1ebefbcc0971ca8d03c2504e79d98eea9c44fb9e7336ba3b 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: 1.5.7 Architecture: amd64 Maintainer: codac.io Depends: libeigen3-dev, libibex-dev Filename: ./libcodac-dev-1.5.7-0buster0_amd64.deb Size: 22979668 MD5sum: eb8bccbb81548d948b2bced5ff2712b2 SHA1: ae1475e817a748621a726280750cb3b9d72e62ca SHA256: 3a0e9c7514d3237fe8e8956b07a16716c1bd4d24fbf6675cab0e8a62f0f67dbd 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: 1.5.7 Architecture: arm64 Maintainer: codac.io Depends: libeigen3-dev, libibex-dev Filename: ./libcodac-dev-1.5.7-0buster0_arm64.deb Size: 22706720 MD5sum: 84090c211589b8001380f4f3bc3d7b2b SHA1: c641c33b9435b41cda721b28d609fb274718c142 SHA256: 107a88cb0ca594c278cc042ca1f44100a41042335a700f4781c125531430c0a1 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: 1.5.7 Architecture: armhf Maintainer: codac.io Depends: libeigen3-dev, libibex-dev Filename: ./libcodac-dev-1.5.7-0buster0_armhf.deb Size: 18785224 MD5sum: bc0cd00585e8e165756b1e3b777a6571 SHA1: 026eed6322bb0f48692500e64e38d0be141caadb SHA256: 21bd538977ad5c956fe644965faa9f1b2972e7955420a2aaa58fa2821bbce514 Section: math Priority: optional Homepage: codac.io Description: Codac is a library providing tools for constraint programming over reals, trajectories and sets Package: libeigen3-dev Source: eigen3 Version: 3.4.0-4 Architecture: all Maintainer: Debian Science Maintainers Installed-Size: 8869 Depends: pkg-config Suggests: libeigen3-doc, libmpfrc++-dev Filename: ./libeigen3-dev_3.4.0-4_all.deb Size: 1040780 MD5sum: fb6ef92bb72b75fa1099237203b1b13a SHA1: e074f88364613b0ca85ccdec03ed7d16f17b8988 SHA256: 1a167bb381acb90c1d8450a8f3e66a09d216dbc64b33ac8a082a0912513ef939 Section: libdevel Priority: optional Multi-Arch: foreign Homepage: http://eigen.tuxfamily.org Description: lightweight C++ template library for linear algebra Eigen 3 is a lightweight C++ template library for vector and matrix math, a.k.a. linear algebra. . Unlike most other linear algebra libraries, Eigen 3 focuses on the simple mathematical needs of applications: games and other OpenGL apps, spreadsheets and other office apps, etc. Eigen 3 is dedicated to providing optimal speed with GCC. A lot of improvements since 2-nd version of Eigen. Package: libibex-dev Version: 2.8.9.20240224 Architecture: armhf Maintainer: www.ibex-lib.org Depends: libstdc++6, libgcc1, libc6 Filename: ./libibex-dev-2.8.9.20240224-0buster0_armhf.deb Size: 1638504 MD5sum: 74b943ecd1d554c928b78e155e261b43 SHA1: a927c11838716c30e42c5c0372cc9587b75c1a72 SHA256: 61f4f14022a39b0ae33122404a8dd894963aad3938bfbd2fb792ff71b4a3ce6e Section: math Priority: optional Homepage: www.ibex-lib.org Description: IBEX is a C++ library for constraint processing over real numbers Package: libibex-dev Version: 2.8.9.20240224 Architecture: arm64 Maintainer: www.ibex-lib.org Depends: libstdc++6, libgcc1, libc6 Filename: ./libibex-dev-2.8.9.20240224-0buster0_arm64.deb Size: 1913604 MD5sum: 4695eab9d8c546b95c44be7b97ab506b SHA1: e62456c46f02dbf58d40f1080286c2400893d3d6 SHA256: 74e909cecf374eb699c1edb41c5dba9d87577c577b22045012a1c8d1a50547a6 Section: math Priority: optional Homepage: www.ibex-lib.org Description: IBEX is a C++ library for constraint processing over real numbers Package: libibex-dev Version: 2.8.9.20240417 Architecture: arm64 Maintainer: www.ibex-lib.org Depends: libstdc++6, libgcc1, libc6 Filename: ./libibex-dev-2.8.9.20240417-0buster0_arm64.deb Size: 1912360 MD5sum: 320510000fa86393d20213b6b4761439 SHA1: 501c648004b3d8f74fcde4d44a0583cd5b5a1e1e SHA256: 38bc7ac2c66e494c81eabb51998aef3b073b67935c421808c2b6f98ee80ac4c9 Section: math Priority: optional Homepage: www.ibex-lib.org Description: IBEX is a C++ library for constraint processing over real numbers Package: libibex-dev Version: 2.8.9.20240417 Architecture: armhf Maintainer: www.ibex-lib.org Depends: libstdc++6, libgcc1, libc6 Filename: ./libibex-dev-2.8.9.20240417-0buster0_armhf.deb Size: 1639436 MD5sum: 76a387c59b837820cc3c22e40ed39c9d SHA1: e40a0ca548f069d5fa7a0c2029c2bbceb2b5d10b SHA256: a11d491090f2d34661297f600571c9869a9f42e97e33711f18a459ed9a0f9caf Section: math Priority: optional Homepage: www.ibex-lib.org Description: IBEX is a C++ library for constraint processing over real numbers Package: libibex-dev Version: 2.8.9.20240417 Architecture: amd64 Maintainer: https://github.com/ibex-team/ibex-lib Depends: libstdc++6, libgcc1, libc6 Filename: ./libibex-dev-2.8.9.20240417-0buster0_amd64.deb Size: 2203604 MD5sum: 9f11326bbef3c7cc44ce0f283f62050f SHA1: 2c4e5701d25bd45df5a89c4507e1c2269721913c SHA256: 722fbf5268b0912e1cf800affbcf739f57d8bcdcfe260d98bb090714edd9dc1b Section: math Priority: optional Homepage: https://github.com/ibex-team/ibex-lib Description: IBEX is a C++ library for constraint processing over real numbers Package: libibex-dev Version: 2.8.9.20241117 Architecture: amd64 Maintainer: https://github.com/ibex-team/ibex-lib Depends: libstdc++6, libgcc1, libc6 Filename: ./libibex-dev-2.8.9.20241117-0buster0_amd64.deb Size: 2202400 MD5sum: 8e3853536c12ff78e2ffdfa1573b8f7f SHA1: 7674c896bc177fcff943bee1050c0f973393d39c SHA256: e2ff5f607a377bd67b0471ef09ac84948a8a9418fbd1481665dd5d1c4ccb726f Section: math Priority: optional Homepage: https://github.com/ibex-team/ibex-lib Description: IBEX is a C++ library for constraint processing over real numbers Package: libibex-dev Version: 2.8.9.20241117 Architecture: arm64 Maintainer: https://github.com/ibex-team/ibex-lib Depends: libstdc++6, libgcc1, libc6 Filename: ./libibex-dev-2.8.9.20241117-0buster0_arm64.deb Size: 1912180 MD5sum: 078f68ddcb4d4cde473f78b8856e59bf SHA1: b2b71456eaba35d49591ef1dcd467c383872384b SHA256: 1f5646c1551dc7fcc2a102a77a4e61f3551912b506057f371d16222e82ea93a7 Section: math Priority: optional Homepage: https://github.com/ibex-team/ibex-lib Description: IBEX is a C++ library for constraint processing over real numbers Package: libibex-dev Version: 2.8.9.20241117 Architecture: armhf Maintainer: https://github.com/ibex-team/ibex-lib Depends: libstdc++6, libgcc1, libc6 Filename: ./libibex-dev-2.8.9.20241117-0buster0_armhf.deb Size: 1640372 MD5sum: 9d1128ae965d7a6b482ba08b22377d01 SHA1: 83a29c48d24288b42e279d7cca18ccacedbb2fdc SHA256: 829c231745070e9ab6194c5dc488b6d5fe140d7f16433ef453628cfc2734c68b Section: math Priority: optional Homepage: https://github.com/ibex-team/ibex-lib Description: IBEX is a C++ library for constraint processing over real numbers Package: libibex-dev Version: 2.8.9.20250626 Architecture: arm64 Maintainer: https://github.com/ibex-team/ibex-lib Depends: libstdc++6, libgcc1, libc6 Filename: ./libibex-dev-2.8.9.20250626-0buster0_arm64.deb Size: 1912340 MD5sum: 4de45ef11f80b1226db96dfc43faaa85 SHA1: 79049393877eb1e0b59789aed6eb6ecd38465499 SHA256: 4d7a77f7ed1ffdcdeb7caab7e92ff3979be2b2c602f0046814ae88a129d06a0f Section: math Priority: optional Homepage: https://github.com/ibex-team/ibex-lib Description: IBEX is a C++ library for constraint processing over real numbers Package: libibex-dev Version: 2.8.9.20250626 Architecture: amd64 Maintainer: https://github.com/ibex-team/ibex-lib Depends: libstdc++6, libgcc1, libc6 Filename: ./libibex-dev-2.8.9.20250626-0buster0_amd64.deb Size: 2204740 MD5sum: 441813d8665a64899c444d2a695f6a38 SHA1: 5602f7a9dd33f7cacf6f868f612eefe58d62e0e0 SHA256: 69d56fbb6b354e9938254ac1864738f554f40ef71f4d2aeb74e26de82ccd10e1 Section: math Priority: optional Homepage: https://github.com/ibex-team/ibex-lib Description: IBEX is a C++ library for constraint processing over real numbers Package: libibex-dev Version: 2.8.9.20250626 Architecture: armhf Maintainer: https://github.com/ibex-team/ibex-lib Depends: libstdc++6, libgcc1, libc6 Filename: ./libibex-dev-2.8.9.20250626-0buster0_armhf.deb Size: 1637596 MD5sum: 010a57e277a29a65fc056b1093c7b2c9 SHA1: 2f5e3746a7642ddbe39c644f33658be55fdd8b93 SHA256: e924d5f6024adeac5db16ca5c34de2df6143eec9b0743da0e1ad031962aac1c8 Section: math Priority: optional Homepage: https://github.com/ibex-team/ibex-lib Description: IBEX is a C++ library for constraint processing over real numbers Package: libibex-dev Version: 2.8.9.20260819 Architecture: amd64 Maintainer: https://github.com/ibex-team/ibex-lib Depends: libstdc++6, libgcc1, libc6 Filename: ./libibex-dev-2.8.9.20260819-0buster0_amd64.deb Size: 2203364 MD5sum: 11cbb2140ded5863ed0a0a8f9027b79d SHA1: deba49335fd217b3c6806fb7ad1a218702821c5e SHA256: 7d965b63983003f77bbaf85d65d9746ab3972151e9ba0b7b131ef1c4f62bf065 Section: math Priority: optional Homepage: https://github.com/ibex-team/ibex-lib Description: IBEX is a C++ library for constraint processing over real numbers Package: libibex-dev Version: 2.8.9.20260819 Architecture: arm64 Maintainer: https://github.com/ibex-team/ibex-lib Depends: libstdc++6, libgcc1, libc6 Filename: ./libibex-dev-2.8.9.20260819-0buster0_arm64.deb Size: 1914512 MD5sum: eeba162e77425c4df651680a9def6b69 SHA1: d16eabf77b8b9fcd28742f9f4514b6345f6b2be8 SHA256: 9b43dbfef825f444fdaf5a2199fffb4f149056980f2121e8468e78f6efc4de00 Section: math Priority: optional Homepage: https://github.com/ibex-team/ibex-lib Description: IBEX is a C++ library for constraint processing over real numbers Package: libibex-dev Version: 2.8.9.20260819 Architecture: armhf Maintainer: https://github.com/ibex-team/ibex-lib Depends: libstdc++6, libgcc1, libc6 Filename: ./libibex-dev-2.8.9.20260819-0buster0_armhf.deb Size: 1639248 MD5sum: d073c8481faa1f58d15f493fe818ca09 SHA1: b83f52cefa59e42b019a8a321a33d08726e522a4 SHA256: 9c71e92440ec22a14c8af9883ec5c841a5fc46d5eb7bb0fafee7c6d5e1d807c8 Section: math Priority: optional Homepage: https://github.com/ibex-team/ibex-lib Description: IBEX is a C++ library for constraint processing over real numbers