Package: libcodac-dev Version: 1.5.5 Architecture: armhf Maintainer: codac.io Depends: libeigen3-dev, libibex-dev Filename: ./libcodac-dev-1.5.5-0bookworm0_armhf.deb Size: 16876448 MD5sum: 71d97ae6005c3ad16e34d8185091e644 SHA1: f7e00aeecb3789d83fee6cfb9218d5b63cbe585f SHA256: b589e782556c6d9fde3f16778426ee31f78a0893446f8275572a5a183c2d9a54 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-0bookworm0_arm64.deb Size: 17755636 MD5sum: 256e2b715b3f95bebc68eb63dd56ecc9 SHA1: 2860257b37ea7f8f25400f5db54fe87bcdbc6045 SHA256: b628f8a6aa69922c8096b215e9270c9680752a07411c57068d84e1c8922fdcbe 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-0bookworm0_amd64.deb Size: 18656932 MD5sum: a659465fbd8bbbb9ebbdc410a430e593 SHA1: 1ef639b10a9ea3b85378f7d16db6e0ade2907a0c SHA256: 21a77692e9b794c278cf9b71c3169b0c4e2cbabdeda7e91145c0c1484614d96e 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-0bookworm0_armhf.deb Size: 16872976 MD5sum: 001fe479026225ca557041aaea267428 SHA1: 258dd54d15520f32d9716d571461a6ebe6995138 SHA256: 470d656af0b4142f81bf928aca56a04a98a6489b4149483fafa9b508be38e9f8 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-0bookworm0_arm64.deb Size: 17791088 MD5sum: 57038a2279412adaed69582895fd310a SHA1: 893f0efc89ef0525847781dd58c9812baa7a1023 SHA256: c97fa954779c4560b8474af5d7a6a9f7ca3174f240e720f69888b337880cb617 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-0bookworm0_amd64.deb Size: 18663872 MD5sum: c29d7adb505f6301979851b1dcc642ca SHA1: af2ee62a6dc1ae15451e54f379d391efaa9c1288 SHA256: 0d507f678b8601fdd2cb3e825fd1131cc19863d0896f6518e67a32a762421b02 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-0bookworm0_arm64.deb Size: 17765328 MD5sum: 6a5e56e480bc58163372ae2b9967edf6 SHA1: caa286d2c74921cfeb7c1e465a7e0331eb821eee SHA256: e5d1baf1305d8e75b794968a84d97706364a6faa3517be1fb483a4adeabeaad0 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-0bookworm0_armhf.deb Size: 16888940 MD5sum: 94c80ee20851e8431a0abd4990087b38 SHA1: 8a581b9f2d925953faa069c99b4be90bd645d121 SHA256: fc5e0779ee755bf4dcaccfa2a9a1a37f9d5770ef03148052a26ff3b12657a36c 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.20240224 Architecture: arm64 Maintainer: www.ibex-lib.org Depends: libstdc++6, libgcc-s1, libc6 Filename: ./libibex-dev-2.8.9.20240224-0bookworm0_arm64.deb Size: 1910588 MD5sum: 2cb5a80cbdbebaed552c557b93309c63 SHA1: 2f6dd337bac60db2759eb2d5692398896a373d1a SHA256: 063931d2f5074c42a0f63b74242ab8e1f40a7435ba99090db03e5056c41c88a2 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: armhf Maintainer: www.ibex-lib.org Depends: libstdc++6, libgcc-s1, libc6 Filename: ./libibex-dev-2.8.9.20240224-0bookworm0_armhf.deb Size: 1620532 MD5sum: 74f268651f2ccf2dd5cd1c012c37d0e0 SHA1: 7548576f1a18e6e9a3fd2d0c1be76f1b83b02572 SHA256: 4ea44b236eafa9040de3ac86548ca051d7aa574b95908f8e6a9c129e0089fe06 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, libgcc-s1, libc6 Filename: ./libibex-dev-2.8.9.20240417-0bookworm0_arm64.deb Size: 1909800 MD5sum: ed7dea46d4af58e961d8eab1094fd19b SHA1: b68d87c4f585d2e7c5acce0fbded7c7fd4bb8492 SHA256: 211b0d653a7ddcf5304bd47bf4fc5cdc53260c80688ab8ed2f6b76d55fc24410 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, libgcc-s1, libc6 Filename: ./libibex-dev-2.8.9.20240417-0bookworm0_armhf.deb Size: 1618516 MD5sum: 53f740d31fc32dd32d78e4a2577d9d62 SHA1: 94a976d6b112b16d6a520fcb34ead4c9ee04a611 SHA256: c92ddcf4da824b622df4e084b1b60e3bd7c124ad6d7982de1923cdeca79eb744 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, libgcc-s1, libc6 Filename: ./libibex-dev-2.8.9.20240417-0bookworm0_amd64.deb Size: 2181568 MD5sum: 7a03d65ff17633368a0a49403eaef138 SHA1: 5a09fadcf017d558211ea28388dae7801026238e SHA256: de81a40163f1b5a9f29deeae195b7f7574bf9cf869f1e7c6a7eadf6ea9dfef3a 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, libgcc-s1, libc6 Filename: ./libibex-dev-2.8.9.20241117-0bookworm0_amd64.deb Size: 2181388 MD5sum: 5b9a8641f8c808e89873d2cc1615e27d SHA1: e3f5eae6fb6cbcfc7cc0f7558b088fd2b34b3248 SHA256: 61633e10cffbeffcaff0f522701ff7839ce3f49f61568f2eafc4d17f349d9e6f 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, libgcc-s1, libc6 Filename: ./libibex-dev-2.8.9.20241117-0bookworm0_arm64.deb Size: 1910548 MD5sum: 44200cb521f0b390b013034f811f5e3d SHA1: b48d4208c41a1e5e0790c76845e5bf13d95dbe64 SHA256: f0c0331eb923183a73e25b4abe8166e03497e0630b64d979807647fece7074eb 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, libgcc-s1, libc6 Filename: ./libibex-dev-2.8.9.20241117-0bookworm0_armhf.deb Size: 1619624 MD5sum: f072f0db056fc4e7a56a32e845be1d63 SHA1: b7dd5f32d824e7d55be2625845f6a6426bbea9bc SHA256: 190872298f080c84cbcf19a8b76ec08f7fc9479377cfae28e927900b488785bb 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, libgcc-s1, libc6 Filename: ./libibex-dev-2.8.9.20250626-0bookworm0_arm64.deb Size: 1910544 MD5sum: 94c2a63d95cbe39555342b787a27f928 SHA1: ed6636702e53ab2a83660e79c0a44626a2d9f779 SHA256: 433ec1536903f5cefc4d695780cc332b01e9c25e56e2ac789f78f675f086d8f1 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, libgcc-s1, libc6 Filename: ./libibex-dev-2.8.9.20250626-0bookworm0_amd64.deb Size: 2180492 MD5sum: 669fa39cc965e8a894638d3c89b30a4a SHA1: ffb8438da5d5b0e506ce7a5945d91ab256617f63 SHA256: 0892a324272ba902b66da47f256674a8ee43e36f9277d3ec31d75383aeb687c5 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, libgcc-s1, libc6 Filename: ./libibex-dev-2.8.9.20250626-0bookworm0_armhf.deb Size: 1618700 MD5sum: b3b556635e78ac9f3ed9f8408e9e5cef SHA1: 28380a7058fd4f52de48ff229be3b9ecf2b7f40e SHA256: b5b2231ac38175a7101b2b190ddcf6321576d33d92980b0dee49996b069002fe 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, libgcc-s1, libc6 Filename: ./libibex-dev-2.8.9.20260819-0bookworm0_amd64.deb Size: 2180308 MD5sum: 8d2ff23961efe79e8bfa993f47124135 SHA1: a212a8ec534b5b26aff19f063723675f87d233af SHA256: aa9028e716b0e715adcfadd1ffadb296cb70a8bd87a7941c6711ba6b51d3ecda 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, libgcc-s1, libc6 Filename: ./libibex-dev-2.8.9.20260819-0bookworm0_arm64.deb Size: 1911404 MD5sum: 0e5b4508c254a982c6d074eee387f452 SHA1: eb2403f76128fef1c01f848b765f511aa70c4c0d SHA256: 42f1de229b4b25f668c51e4f02f47426994e54a36ef313b35ff22097d97ac67e 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, libgcc-s1, libc6 Filename: ./libibex-dev-2.8.9.20260819-0bookworm0_armhf.deb Size: 1622512 MD5sum: 80e8e780db2cafc133f6a3d1fdb28109 SHA1: be1a22f083c598a2b1eb05cbb2c85996af9a8936 SHA256: 70707a1a98b8af151cdc283906163533664e22565917a4d9298ac1a4bb9aa1b2 Section: math Priority: optional Homepage: https://github.com/ibex-team/ibex-lib Description: IBEX is a C++ library for constraint processing over real numbers