Index of /debian/pool/main/c/cryptominisat/
../ cryptominisat_5.11.21+dfsg1-2.debian.tar.xz 25-May-2025 00:55 6696 cryptominisat_5.11.21+dfsg1-2.dsc 25-May-2025 00:55 2519 cryptominisat_5.11.21+dfsg1-2_amd64.deb 25-May-2025 01:21 89K cryptominisat_5.11.21+dfsg1-2_arm64.deb 25-May-2025 01:32 79K cryptominisat_5.11.21+dfsg1-2_armel.deb 25-May-2025 01:21 79K cryptominisat_5.11.21+dfsg1-2_armhf.deb 25-May-2025 01:21 82K cryptominisat_5.11.21+dfsg1-2_i386.deb 25-May-2025 01:21 95K cryptominisat_5.11.21+dfsg1-2_ppc64el.deb 25-May-2025 01:21 89K cryptominisat_5.11.21+dfsg1-2_riscv64.deb 25-May-2025 02:08 87K cryptominisat_5.11.21+dfsg1-2_s390x.deb 25-May-2025 01:21 86K cryptominisat_5.11.21+dfsg1-3+b3_amd64.deb 27-Jun-2026 20:48 88K cryptominisat_5.11.21+dfsg1-3+b3_arm64.deb 27-Jun-2026 20:27 78K cryptominisat_5.11.21+dfsg1-3+b3_armhf.deb 27-Jun-2026 20:27 81K cryptominisat_5.11.21+dfsg1-3+b3_i386.deb 27-Jun-2026 21:19 96K cryptominisat_5.11.21+dfsg1-3+b3_loong64.deb 27-Jun-2026 20:53 83K cryptominisat_5.11.21+dfsg1-3+b3_ppc64el.deb 28-Jun-2026 11:32 88K cryptominisat_5.11.21+dfsg1-3+b3_riscv64.deb 27-Jun-2026 21:40 87K cryptominisat_5.11.21+dfsg1-3+b3_s390x.deb 28-Jun-2026 09:13 86K cryptominisat_5.11.21+dfsg1-3.debian.tar.xz 13-Aug-2025 08:03 7020 cryptominisat_5.11.21+dfsg1-3.dsc 13-Aug-2025 08:03 2505 cryptominisat_5.11.21+dfsg1.orig.tar.xz 03-May-2024 08:30 470K cryptominisat_5.11.4+dfsg1-2+b1_amd64.deb 03-Jan-2023 08:27 75K cryptominisat_5.11.4+dfsg1-2+b1_arm64.deb 03-Jan-2023 08:58 69K cryptominisat_5.11.4+dfsg1-2+b1_armel.deb 03-Jan-2023 08:59 66K cryptominisat_5.11.4+dfsg1-2+b1_armhf.deb 03-Jan-2023 08:58 67K cryptominisat_5.11.4+dfsg1-2+b1_i386.deb 03-Jan-2023 09:45 79K cryptominisat_5.11.4+dfsg1-2+b1_mips64el.deb 03-Jan-2023 08:12 70K cryptominisat_5.11.4+dfsg1-2+b1_mipsel.deb 03-Jan-2023 08:43 71K cryptominisat_5.11.4+dfsg1-2+b1_ppc64el.deb 05-Jan-2023 01:55 77K cryptominisat_5.11.4+dfsg1-2+b1_s390x.deb 06-Jan-2023 02:56 69K cryptominisat_5.11.4+dfsg1-2.debian.tar.xz 03-Nov-2022 21:09 5360 cryptominisat_5.11.4+dfsg1-2.dsc 03-Nov-2022 21:09 2459 cryptominisat_5.11.4+dfsg1.orig.tar.xz 28-Oct-2022 23:20 518K cryptominisat_5.8.0+dfsg1-1+b3_amd64.deb 12-Dec-2020 16:13 86K cryptominisat_5.8.0+dfsg1-1+b3_arm64.deb 12-Dec-2020 14:00 81K cryptominisat_5.8.0+dfsg1-1+b3_armhf.deb 12-Dec-2020 17:26 80K cryptominisat_5.8.0+dfsg1-1+b3_i386.deb 12-Dec-2020 16:39 91K cryptominisat_5.8.0+dfsg1-1.debian.tar.xz 11-Jul-2020 16:16 6188 cryptominisat_5.8.0+dfsg1-1.dsc 11-Jul-2020 16:16 2408 cryptominisat_5.8.0+dfsg1.orig.tar.xz 11-Jul-2020 16:16 441K libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_amd64.deb 03-Jan-2023 08:27 490K libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_arm64.deb 03-Jan-2023 08:58 440K libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_armel.deb 03-Jan-2023 08:59 432K libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_armhf.deb 03-Jan-2023 08:58 450K libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_i386.deb 03-Jan-2023 09:45 516K libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_mips64..> 03-Jan-2023 08:12 463K libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_mipsel..> 03-Jan-2023 08:43 477K libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_ppc64e..> 05-Jan-2023 01:55 530K libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_s390x.deb 06-Jan-2023 02:56 449K libcryptominisat5-5.11t64_5.11.21+dfsg1-2_amd64..> 25-May-2025 01:21 509K libcryptominisat5-5.11t64_5.11.21+dfsg1-2_arm64..> 25-May-2025 01:32 461K libcryptominisat5-5.11t64_5.11.21+dfsg1-2_armel..> 25-May-2025 01:21 443K libcryptominisat5-5.11t64_5.11.21+dfsg1-2_armhf..> 25-May-2025 01:21 463K libcryptominisat5-5.11t64_5.11.21+dfsg1-2_i386.deb 25-May-2025 01:21 536K libcryptominisat5-5.11t64_5.11.21+dfsg1-2_ppc64..> 25-May-2025 01:21 543K libcryptominisat5-5.11t64_5.11.21+dfsg1-2_riscv..> 25-May-2025 02:08 534K libcryptominisat5-5.11t64_5.11.21+dfsg1-2_s390x..> 25-May-2025 01:21 534K libcryptominisat5-5.11t64_5.11.21+dfsg1-3+b3_am..> 27-Jun-2026 20:48 510K libcryptominisat5-5.11t64_5.11.21+dfsg1-3+b3_ar..> 27-Jun-2026 20:27 449K libcryptominisat5-5.11t64_5.11.21+dfsg1-3+b3_ar..> 27-Jun-2026 20:27 461K libcryptominisat5-5.11t64_5.11.21+dfsg1-3+b3_i3..> 27-Jun-2026 21:19 533K libcryptominisat5-5.11t64_5.11.21+dfsg1-3+b3_lo..> 27-Jun-2026 20:53 500K libcryptominisat5-5.11t64_5.11.21+dfsg1-3+b3_pp..> 28-Jun-2026 11:32 557K libcryptominisat5-5.11t64_5.11.21+dfsg1-3+b3_ri..> 27-Jun-2026 21:40 535K libcryptominisat5-5.11t64_5.11.21+dfsg1-3+b3_s3..> 28-Jun-2026 09:13 533K libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_amd64.deb 12-Dec-2020 16:13 406K libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_arm64.deb 12-Dec-2020 14:00 370K libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_armhf.deb 12-Dec-2020 17:26 376K libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_i386.deb 12-Dec-2020 16:39 432K libcryptominisat5-dev_5.11.21+dfsg1-2_amd64.deb 25-May-2025 01:21 18K libcryptominisat5-dev_5.11.21+dfsg1-2_arm64.deb 25-May-2025 01:32 18K libcryptominisat5-dev_5.11.21+dfsg1-2_armel.deb 25-May-2025 01:21 18K libcryptominisat5-dev_5.11.21+dfsg1-2_armhf.deb 25-May-2025 01:21 18K libcryptominisat5-dev_5.11.21+dfsg1-2_i386.deb 25-May-2025 01:21 18K libcryptominisat5-dev_5.11.21+dfsg1-2_ppc64el.deb 25-May-2025 01:21 18K libcryptominisat5-dev_5.11.21+dfsg1-2_riscv64.deb 25-May-2025 02:08 18K libcryptominisat5-dev_5.11.21+dfsg1-2_s390x.deb 25-May-2025 01:21 18K libcryptominisat5-dev_5.11.21+dfsg1-3+b3_amd64.deb 27-Jun-2026 20:48 18K libcryptominisat5-dev_5.11.21+dfsg1-3+b3_arm64.deb 27-Jun-2026 20:27 18K libcryptominisat5-dev_5.11.21+dfsg1-3+b3_armhf.deb 27-Jun-2026 20:27 18K libcryptominisat5-dev_5.11.21+dfsg1-3+b3_i386.deb 27-Jun-2026 21:19 18K libcryptominisat5-dev_5.11.21+dfsg1-3+b3_loong6..> 27-Jun-2026 20:53 18K libcryptominisat5-dev_5.11.21+dfsg1-3+b3_ppc64e..> 28-Jun-2026 11:32 18K libcryptominisat5-dev_5.11.21+dfsg1-3+b3_riscv6..> 27-Jun-2026 21:40 18K libcryptominisat5-dev_5.11.21+dfsg1-3+b3_s390x.deb 28-Jun-2026 09:13 18K libcryptominisat5-dev_5.11.4+dfsg1-2+b1_amd64.deb 03-Jan-2023 08:27 18K libcryptominisat5-dev_5.11.4+dfsg1-2+b1_arm64.deb 03-Jan-2023 08:58 18K libcryptominisat5-dev_5.11.4+dfsg1-2+b1_armel.deb 03-Jan-2023 08:59 18K libcryptominisat5-dev_5.11.4+dfsg1-2+b1_armhf.deb 03-Jan-2023 08:58 18K libcryptominisat5-dev_5.11.4+dfsg1-2+b1_i386.deb 03-Jan-2023 09:45 18K libcryptominisat5-dev_5.11.4+dfsg1-2+b1_mips64e..> 03-Jan-2023 08:12 18K libcryptominisat5-dev_5.11.4+dfsg1-2+b1_mipsel.deb 03-Jan-2023 08:43 18K libcryptominisat5-dev_5.11.4+dfsg1-2+b1_ppc64el..> 05-Jan-2023 01:55 18K libcryptominisat5-dev_5.11.4+dfsg1-2+b1_s390x.deb 06-Jan-2023 02:56 18K libcryptominisat5-dev_5.8.0+dfsg1-1+b3_amd64.deb 12-Dec-2020 16:13 14K libcryptominisat5-dev_5.8.0+dfsg1-1+b3_arm64.deb 12-Dec-2020 14:00 14K libcryptominisat5-dev_5.8.0+dfsg1-1+b3_armhf.deb 12-Dec-2020 17:26 14K libcryptominisat5-dev_5.8.0+dfsg1-1+b3_i386.deb 12-Dec-2020 16:39 14K python3-cryptominisat_5.11.21+dfsg1-2_amd64.deb 25-May-2025 01:21 583K python3-cryptominisat_5.11.21+dfsg1-2_arm64.deb 25-May-2025 01:32 535K python3-cryptominisat_5.11.21+dfsg1-2_armel.deb 25-May-2025 01:21 516K python3-cryptominisat_5.11.21+dfsg1-2_armhf.deb 25-May-2025 01:21 529K python3-cryptominisat_5.11.21+dfsg1-2_i386.deb 25-May-2025 01:21 640K python3-cryptominisat_5.11.21+dfsg1-2_ppc64el.deb 25-May-2025 01:21 612K python3-cryptominisat_5.11.21+dfsg1-2_riscv64.deb 25-May-2025 02:08 606K python3-cryptominisat_5.11.21+dfsg1-2_s390x.deb 25-May-2025 01:21 603K python3-cryptominisat_5.11.21+dfsg1-3+b3_amd64.deb 27-Jun-2026 20:48 585K python3-cryptominisat_5.11.21+dfsg1-3+b3_arm64.deb 27-Jun-2026 20:27 524K python3-cryptominisat_5.11.21+dfsg1-3+b3_armhf.deb 27-Jun-2026 20:27 528K python3-cryptominisat_5.11.21+dfsg1-3+b3_i386.deb 27-Jun-2026 21:19 635K python3-cryptominisat_5.11.21+dfsg1-3+b3_loong6..> 27-Jun-2026 20:53 575K python3-cryptominisat_5.11.21+dfsg1-3+b3_ppc64e..> 28-Jun-2026 11:32 626K python3-cryptominisat_5.11.21+dfsg1-3+b3_riscv6..> 27-Jun-2026 21:40 606K python3-cryptominisat_5.11.21+dfsg1-3+b3_s390x.deb 28-Jun-2026 09:13 602K python3-cryptominisat_5.11.4+dfsg1-2+b1_amd64.deb 03-Jan-2023 08:27 520K python3-cryptominisat_5.11.4+dfsg1-2+b1_arm64.deb 03-Jan-2023 08:58 479K python3-cryptominisat_5.11.4+dfsg1-2+b1_armel.deb 03-Jan-2023 08:59 462K python3-cryptominisat_5.11.4+dfsg1-2+b1_armhf.deb 03-Jan-2023 08:58 473K python3-cryptominisat_5.11.4+dfsg1-2+b1_i386.deb 03-Jan-2023 09:45 576K python3-cryptominisat_5.11.4+dfsg1-2+b1_mips64e..> 03-Jan-2023 08:12 494K python3-cryptominisat_5.11.4+dfsg1-2+b1_mipsel.deb 03-Jan-2023 08:43 511K python3-cryptominisat_5.11.4+dfsg1-2+b1_ppc64el..> 05-Jan-2023 01:55 556K python3-cryptominisat_5.11.4+dfsg1-2+b1_s390x.deb 06-Jan-2023 02:56 483K python3-cryptominisat_5.8.0+dfsg1-1+b3_amd64.deb 12-Dec-2020 16:13 19K python3-cryptominisat_5.8.0+dfsg1-1+b3_arm64.deb 12-Dec-2020 14:00 18K python3-cryptominisat_5.8.0+dfsg1-1+b3_armhf.deb 12-Dec-2020 17:26 18K python3-cryptominisat_5.8.0+dfsg1-1+b3_i386.deb 12-Dec-2020 16:39 19K
This mirror is provided by University of Trieste - rete@units.it
NO WARRANTY
THIS MIRROR IS PROVIDED "AS IS" WITHOUT WARRANTY OF ANY KIND, EITHER EXPRESSED
OR IMPLIED, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF
MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE. THE ENTIRE RISK
AS TO THE QUALITY AND PERFORMANCE OF THE MIRROR IS WITH YOU. SHOULD THE
MIRROR PROVE DEFECTIVE, YOU ASSUME THE COST OF ALL NECESSARY SERVICING,
REPAIR OR CORRECTION.
IN NO EVENT UNLESS REQUIRED BY APPLICABLE LAW OR AGREED TO IN WRITING
WILL UNIVERSITY OF TRIESTE OR ANY PEOPLE INVLOLVED IN SERVICING THE
MIRROR BE LIABLE TO YOU FOR DAMAGES,
INCLUDING ANY GENERAL, SPECIAL, INCIDENTAL OR CONSEQUENTIAL DAMAGES
ARISING OUT OF THE USE OR INABILITY TO USE THE MIRROR (INCLUDING BUT NOT
LIMITED TO LOSS OF DATA OR DATA BEING RENDERED INACCURATE OR LOSSES SUSTAINED
BY YOU OR THIRD PARTIES OR A FAILURE OF THE PROGRAM TO OPERATE WITH ANY
OTHER PROGRAMS), EVEN IF UNIVERSITY OF TRIESTE AND PEOPLE INVLOLVED IN
SERVICING THE MIRROR HAS BEEN ADVISED OF THE POSSIBILITY OF SUCH DAMAGES.