[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]cryptominisat_5.11.4+dfsg1.orig.tar.xz2022-10-28 23:20 518KTAR compressed archive
[ ]cryptominisat_5.11.4+dfsg1-2.debian.tar.xz2022-11-03 20:09 5.2KTAR compressed archive
[TXT]cryptominisat_5.11.4+dfsg1-2.dsc2022-11-03 20:09 2.4K 
[ ]cryptominisat_5.11.4+dfsg1-2+b1_amd64.deb2023-01-03 07:27 75KDebian Software Package
[ ]libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_amd64.deb2023-01-03 07:27 490KDebian Software Package
[ ]libcryptominisat5-dev_5.11.4+dfsg1-2+b1_amd64.deb2023-01-03 07:27 18KDebian Software Package
[ ]python3-cryptominisat_5.11.4+dfsg1-2+b1_amd64.deb2023-01-03 07:27 520KDebian Software Package
[ ]cryptominisat_5.11.4+dfsg1-2+b1_arm64.deb2023-01-03 07:58 69KDebian Software Package
[ ]libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_arm64.deb2023-01-03 07:58 440KDebian Software Package
[ ]libcryptominisat5-dev_5.11.4+dfsg1-2+b1_arm64.deb2023-01-03 07:58 18KDebian Software Package
[ ]python3-cryptominisat_5.11.4+dfsg1-2+b1_arm64.deb2023-01-03 07:58 479KDebian Software Package
[ ]cryptominisat_5.11.21+dfsg1.orig.tar.xz2024-05-03 08:30 470KTAR compressed archive
[ ]cryptominisat_5.11.21+dfsg1-2.debian.tar.xz2025-05-25 00:55 6.5KTAR compressed archive
[TXT]cryptominisat_5.11.21+dfsg1-2.dsc2025-05-25 00:55 2.5K 
[ ]cryptominisat_5.11.21+dfsg1-2_amd64.deb2025-05-25 01:21 89KDebian Software Package
[ ]libcryptominisat5-5.11t64_5.11.21+dfsg1-2_amd64.deb2025-05-25 01:21 509KDebian Software Package
[ ]libcryptominisat5-dev_5.11.21+dfsg1-2_amd64.deb2025-05-25 01:21 18KDebian Software Package
[ ]python3-cryptominisat_5.11.21+dfsg1-2_amd64.deb2025-05-25 01:21 583KDebian Software Package
[ ]cryptominisat_5.11.21+dfsg1-2_armhf.deb2025-05-25 01:21 82KDebian Software Package
[ ]libcryptominisat5-5.11t64_5.11.21+dfsg1-2_armhf.deb2025-05-25 01:21 463KDebian Software Package
[ ]libcryptominisat5-dev_5.11.21+dfsg1-2_armhf.deb2025-05-25 01:21 18KDebian Software Package
[ ]python3-cryptominisat_5.11.21+dfsg1-2_armhf.deb2025-05-25 01:21 529KDebian Software Package
[ ]cryptominisat_5.11.21+dfsg1-2_arm64.deb2025-05-25 01:32 79KDebian Software Package
[ ]libcryptominisat5-5.11t64_5.11.21+dfsg1-2_arm64.deb2025-05-25 01:32 461KDebian Software Package
[ ]libcryptominisat5-dev_5.11.21+dfsg1-2_arm64.deb2025-05-25 01:32 18KDebian Software Package
[ ]python3-cryptominisat_5.11.21+dfsg1-2_arm64.deb2025-05-25 01:32 535KDebian Software Package
[ ]cryptominisat_5.11.21+dfsg1-2_riscv64.deb2025-05-25 02:08 87KDebian Software Package
[ ]libcryptominisat5-5.11t64_5.11.21+dfsg1-2_riscv64.deb2025-05-25 02:08 534KDebian Software Package
[ ]libcryptominisat5-dev_5.11.21+dfsg1-2_riscv64.deb2025-05-25 02:08 18KDebian Software Package
[ ]python3-cryptominisat_5.11.21+dfsg1-2_riscv64.deb2025-05-25 02:08 606KDebian Software Package