Index of /debian/pool/main/c/cryptominisat/

File NameFile SizeDate
Parent directory/--
cryptominisat_5.11.21+dfsg1-1+b3_amd64.deb 89K07-Jan-2025 13:47
cryptominisat_5.11.21+dfsg1-1+b3_arm64.deb 79K07-Jan-2025 14:02
cryptominisat_5.11.21+dfsg1-1+b3_i386.deb 95K07-Jan-2025 14:02
cryptominisat_5.11.21+dfsg1-1+b3_riscv64.deb 87K07-Jan-2025 15:26
cryptominisat_5.11.21+dfsg1-1.debian.tar.xz 662003-May-2024 06:30
cryptominisat_5.11.21+dfsg1-1.dsc 249803-May-2024 06:30
cryptominisat_5.11.21+dfsg1.orig.tar.xz 470K03-May-2024 06:30
cryptominisat_5.11.4+dfsg1-2+b1_amd64.deb 75K03-Jan-2023 06:27
cryptominisat_5.11.4+dfsg1-2+b1_arm64.deb 69K03-Jan-2023 06:58
cryptominisat_5.11.4+dfsg1-2+b1_i386.deb 79K03-Jan-2023 07:45
cryptominisat_5.11.4+dfsg1-2.debian.tar.xz 536003-Nov-2022 19:09
cryptominisat_5.11.4+dfsg1-2.dsc 245903-Nov-2022 19:09
cryptominisat_5.11.4+dfsg1.orig.tar.xz 518K28-Oct-2022 21:20
cryptominisat_5.8.0+dfsg1-1+b3_amd64.deb 86K12-Dec-2020 14:13
cryptominisat_5.8.0+dfsg1-1+b3_arm64.deb 81K12-Dec-2020 12:00
cryptominisat_5.8.0+dfsg1-1+b3_i386.deb 91K12-Dec-2020 14:39
cryptominisat_5.8.0+dfsg1-1.debian.tar.xz 618811-Jul-2020 14:16
cryptominisat_5.8.0+dfsg1-1.dsc 240811-Jul-2020 14:16
cryptominisat_5.8.0+dfsg1.orig.tar.xz 441K11-Jul-2020 14:16
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_amd64.deb 490K03-Jan-2023 06:27
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_arm64.deb 440K03-Jan-2023 06:58
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_i386.deb 516K03-Jan-2023 07:45
libcryptominisat5-5.11t64_5.11.21+dfsg1-1+b3_am..> 509K07-Jan-2025 13:47
libcryptominisat5-5.11t64_5.11.21+dfsg1-1+b3_ar..> 461K07-Jan-2025 14:02
libcryptominisat5-5.11t64_5.11.21+dfsg1-1+b3_i3..> 535K07-Jan-2025 14:02
libcryptominisat5-5.11t64_5.11.21+dfsg1-1+b3_ri..> 534K07-Jan-2025 15:26
libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_amd64.deb 406K12-Dec-2020 14:13
libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_arm64.deb 370K12-Dec-2020 12:00
libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_i386.deb 432K12-Dec-2020 14:39
libcryptominisat5-dev_5.11.21+dfsg1-1+b3_amd64.deb 19K07-Jan-2025 13:47
libcryptominisat5-dev_5.11.21+dfsg1-1+b3_arm64.deb 19K07-Jan-2025 14:02
libcryptominisat5-dev_5.11.21+dfsg1-1+b3_i386.deb 19K07-Jan-2025 14:02
libcryptominisat5-dev_5.11.21+dfsg1-1+b3_riscv6..> 19K07-Jan-2025 15:26
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_amd64.deb 18K03-Jan-2023 06:27
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_arm64.deb 18K03-Jan-2023 06:58
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_i386.deb 18K03-Jan-2023 07:45
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_amd64.deb 14K12-Dec-2020 14:13
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_arm64.deb 14K12-Dec-2020 12:00
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_i386.deb 14K12-Dec-2020 14:39
python3-cryptominisat_5.11.21+dfsg1-1+b3_amd64.deb 577K07-Jan-2025 13:47
python3-cryptominisat_5.11.21+dfsg1-1+b3_arm64.deb 530K07-Jan-2025 14:02
python3-cryptominisat_5.11.21+dfsg1-1+b3_i386.deb 632K07-Jan-2025 14:02
python3-cryptominisat_5.11.21+dfsg1-1+b3_riscv6..> 598K07-Jan-2025 15:26
python3-cryptominisat_5.11.4+dfsg1-2+b1_amd64.deb 520K03-Jan-2023 06:27
python3-cryptominisat_5.11.4+dfsg1-2+b1_arm64.deb 479K03-Jan-2023 06:58
python3-cryptominisat_5.11.4+dfsg1-2+b1_i386.deb 576K03-Jan-2023 07:45
python3-cryptominisat_5.8.0+dfsg1-1+b3_amd64.deb 19K12-Dec-2020 14:13
python3-cryptominisat_5.8.0+dfsg1-1+b3_arm64.deb 18K12-Dec-2020 12:00
python3-cryptominisat_5.8.0+dfsg1-1+b3_i386.deb 19K12-Dec-2020 14:39