../ cryptominisat_5.11.15+dfsg1-1.1build1.debian.ta..> 31-Mar-2024 18:36 5720 cryptominisat_5.11.15+dfsg1-1.1build1.dsc 31-Mar-2024 18:36 2621 cryptominisat_5.11.15+dfsg1-1.1build1_arm64.deb 02-Apr-2024 01:07 79224 cryptominisat_5.11.15+dfsg1-1.1build1_armhf.deb 02-Apr-2024 01:08 79310 cryptominisat_5.11.15+dfsg1-1.1build1_ppc64el.deb 02-Apr-2024 05:02 86502 cryptominisat_5.11.15+dfsg1-1.1build1_riscv64.deb 03-Apr-2024 21:11 86210 cryptominisat_5.11.15+dfsg1-1.1build1_s390x.deb 02-Apr-2024 11:03 84756 cryptominisat_5.11.15+dfsg1.orig.tar.xz 14-Dec-2023 17:37 474840 cryptominisat_5.11.21+dfsg1-1.debian.tar.xz 03-May-2024 11:29 6620 cryptominisat_5.11.21+dfsg1-1.dsc 03-May-2024 11:29 2498 cryptominisat_5.11.21+dfsg1-1_arm64.deb 05-May-2024 17:38 85518 cryptominisat_5.11.21+dfsg1-1_armhf.deb 09-May-2024 11:31 87562 cryptominisat_5.11.21+dfsg1-1_ppc64el.deb 03-May-2024 12:05 95428 cryptominisat_5.11.21+dfsg1-1_riscv64.deb 05-May-2024 11:18 95908 cryptominisat_5.11.21+dfsg1-1_s390x.deb 03-May-2024 12:40 95722 cryptominisat_5.11.21+dfsg1-1build1.debian.tar.xz 03-Jan-2025 14:35 6704 cryptominisat_5.11.21+dfsg1-1build1.dsc 03-Jan-2025 14:36 2497 cryptominisat_5.11.21+dfsg1-1build1_arm64.deb 03-Jan-2025 14:37 87218 cryptominisat_5.11.21+dfsg1-1build1_armhf.deb 03-Jan-2025 14:38 89008 cryptominisat_5.11.21+dfsg1-1build1_ppc64el.deb 03-Jan-2025 14:39 95986 cryptominisat_5.11.21+dfsg1-1build1_riscv64.deb 03-Jan-2025 18:35 95990 cryptominisat_5.11.21+dfsg1-1build1_s390x.deb 03-Jan-2025 14:40 96780 cryptominisat_5.11.21+dfsg1.orig.tar.xz 03-May-2024 11:29 481480 cryptominisat_5.8.0+dfsg1-2.debian.tar.xz 22-Feb-2022 23:24 6264 cryptominisat_5.8.0+dfsg1-2.dsc 22-Feb-2022 23:24 2408 cryptominisat_5.8.0+dfsg1-2_arm64.deb 22-Feb-2022 23:45 89080 cryptominisat_5.8.0+dfsg1-2_armhf.deb 22-Feb-2022 23:45 88634 cryptominisat_5.8.0+dfsg1-2_ppc64el.deb 22-Feb-2022 23:46 99378 cryptominisat_5.8.0+dfsg1-2_riscv64.deb 23-Feb-2022 02:29 96668 cryptominisat_5.8.0+dfsg1-2_s390x.deb 22-Feb-2022 23:46 90238 cryptominisat_5.8.0+dfsg1.orig.tar.xz 13-Jul-2020 17:24 451304 libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1buil..> 02-Apr-2024 01:07 435248 libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1buil..> 02-Apr-2024 01:08 522620 libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1buil..> 02-Apr-2024 05:02 504056 libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1buil..> 03-Apr-2024 21:11 586390 libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1buil..> 02-Apr-2024 11:03 508752 libcryptominisat5-5.11t64_5.11.21+dfsg1-1_arm64..> 05-May-2024 17:38 436338 libcryptominisat5-5.11t64_5.11.21+dfsg1-1_armhf..> 09-May-2024 11:31 513456 libcryptominisat5-5.11t64_5.11.21+dfsg1-1_ppc64..> 03-May-2024 12:05 502114 libcryptominisat5-5.11t64_5.11.21+dfsg1-1_riscv..> 05-May-2024 11:18 585408 libcryptominisat5-5.11t64_5.11.21+dfsg1-1_s390x..> 03-May-2024 12:40 506580 libcryptominisat5-5.11t64_5.11.21+dfsg1-1build1..> 03-Jan-2025 14:37 449932 libcryptominisat5-5.11t64_5.11.21+dfsg1-1build1..> 03-Jan-2025 14:38 521938 libcryptominisat5-5.11t64_5.11.21+dfsg1-1build1..> 03-Jan-2025 14:39 511164 libcryptominisat5-5.11t64_5.11.21+dfsg1-1build1..> 03-Jan-2025 18:35 593450 libcryptominisat5-5.11t64_5.11.21+dfsg1-1build1..> 03-Jan-2025 14:40 512918 libcryptominisat5-5.8_5.8.0+dfsg1-2_arm64.deb 22-Feb-2022 23:45 374678 libcryptominisat5-5.8_5.8.0+dfsg1-2_armhf.deb 22-Feb-2022 23:45 425954 libcryptominisat5-5.8_5.8.0+dfsg1-2_ppc64el.deb 22-Feb-2022 23:46 472750 libcryptominisat5-5.8_5.8.0+dfsg1-2_riscv64.deb 23-Feb-2022 02:29 459880 libcryptominisat5-5.8_5.8.0+dfsg1-2_s390x.deb 22-Feb-2022 23:46 373806 libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_a..> 02-Apr-2024 01:07 17748 libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_a..> 02-Apr-2024 01:08 17750 libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_p..> 02-Apr-2024 05:02 17752 libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_r..> 03-Apr-2024 21:11 17750 libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_s..> 02-Apr-2024 11:03 17746 libcryptominisat5-dev_5.11.21+dfsg1-1_arm64.deb 05-May-2024 17:38 17800 libcryptominisat5-dev_5.11.21+dfsg1-1_armhf.deb 09-May-2024 11:31 17742 libcryptominisat5-dev_5.11.21+dfsg1-1_ppc64el.deb 03-May-2024 12:05 17814 libcryptominisat5-dev_5.11.21+dfsg1-1_riscv64.deb 05-May-2024 11:18 17800 libcryptominisat5-dev_5.11.21+dfsg1-1_s390x.deb 03-May-2024 12:40 17802 libcryptominisat5-dev_5.11.21+dfsg1-1build1_arm..> 03-Jan-2025 14:37 17814 libcryptominisat5-dev_5.11.21+dfsg1-1build1_arm..> 03-Jan-2025 14:38 17812 libcryptominisat5-dev_5.11.21+dfsg1-1build1_ppc..> 03-Jan-2025 14:39 17818 libcryptominisat5-dev_5.11.21+dfsg1-1build1_ris..> 03-Jan-2025 18:35 17810 libcryptominisat5-dev_5.11.21+dfsg1-1build1_s39..> 03-Jan-2025 14:40 17816 libcryptominisat5-dev_5.8.0+dfsg1-2_arm64.deb 22-Feb-2022 23:45 12974 libcryptominisat5-dev_5.8.0+dfsg1-2_armhf.deb 22-Feb-2022 23:45 12980 libcryptominisat5-dev_5.8.0+dfsg1-2_ppc64el.deb 22-Feb-2022 23:46 12984 libcryptominisat5-dev_5.8.0+dfsg1-2_riscv64.deb 23-Feb-2022 02:29 12974 libcryptominisat5-dev_5.8.0+dfsg1-2_s390x.deb 22-Feb-2022 23:46 12978 python3-cryptominisat_5.11.15+dfsg1-1.1build1_a..> 02-Apr-2024 01:07 519270 python3-cryptominisat_5.11.15+dfsg1-1.1build1_a..> 02-Apr-2024 01:08 524220 python3-cryptominisat_5.11.15+dfsg1-1.1build1_p..> 02-Apr-2024 05:02 634778 python3-cryptominisat_5.11.15+dfsg1-1.1build1_r..> 03-Apr-2024 21:11 606940 python3-cryptominisat_5.11.15+dfsg1-1.1build1_s..> 02-Apr-2024 11:03 594378 python3-cryptominisat_5.11.21+dfsg1-1_arm64.deb 05-May-2024 17:38 520378 python3-cryptominisat_5.11.21+dfsg1-1_armhf.deb 09-May-2024 11:31 523318 python3-cryptominisat_5.11.21+dfsg1-1_ppc64el.deb 03-May-2024 12:05 627704 python3-cryptominisat_5.11.21+dfsg1-1_riscv64.deb 05-May-2024 11:18 605988 python3-cryptominisat_5.11.21+dfsg1-1_s390x.deb 03-May-2024 12:40 586662 python3-cryptominisat_5.11.21+dfsg1-1build1_arm..> 03-Jan-2025 14:37 578138 python3-cryptominisat_5.11.21+dfsg1-1build1_arm..> 03-Jan-2025 14:38 584396 python3-cryptominisat_5.11.21+dfsg1-1build1_ppc..> 03-Jan-2025 14:39 685208 python3-cryptominisat_5.11.21+dfsg1-1build1_ris..> 03-Jan-2025 18:35 668668 python3-cryptominisat_5.11.21+dfsg1-1build1_s39..> 03-Jan-2025 14:40 635702 python3-cryptominisat_5.8.0+dfsg1-2_arm64.deb 22-Feb-2022 23:45 19248 python3-cryptominisat_5.8.0+dfsg1-2_armhf.deb 22-Feb-2022 23:45 18400 python3-cryptominisat_5.8.0+dfsg1-2_ppc64el.deb 22-Feb-2022 23:46 20712 python3-cryptominisat_5.8.0+dfsg1-2_riscv64.deb 23-Feb-2022 02:29 19270 python3-cryptominisat_5.8.0+dfsg1-2_s390x.deb 22-Feb-2022 23:46 19262