
../ cryptominisat_5.11.15+dfsg1-1.1build1.debian.ta..> 31-Mar-2024 20:36 5720 cryptominisat_5.11.15+dfsg1-1.1build1.dsc 31-Mar-2024 20:36 2621 cryptominisat_5.11.15+dfsg1-1.1build1_amd64.deb 01-Apr-2024 05:47 81K cryptominisat_5.11.15+dfsg1.orig.tar.xz 14-Dec-2023 19:37 464K cryptominisat_5.11.21+dfsg1-1build1.debian.tar.xz 03-Jan-2025 16:35 6704 cryptominisat_5.11.21+dfsg1-1build1.dsc 03-Jan-2025 16:36 2497 cryptominisat_5.11.21+dfsg1-1build1_amd64.deb 03-Jan-2025 16:37 94K cryptominisat_5.11.21+dfsg1-2.debian.tar.xz 25-May-2025 07:49 6696 cryptominisat_5.11.21+dfsg1-2.dsc 25-May-2025 07:49 2519 cryptominisat_5.11.21+dfsg1-2_amd64.deb 25-May-2025 07:49 94K cryptominisat_5.11.21+dfsg1-2_arm64.deb 25-May-2025 07:49 85K cryptominisat_5.11.21+dfsg1-3build1.debian.tar.xz 22-Jan-2026 22:33 7096 cryptominisat_5.11.21+dfsg1-3build1.dsc 22-Jan-2026 22:33 2504 cryptominisat_5.11.21+dfsg1-3build1_amd64.deb 23-Jan-2026 03:09 94K cryptominisat_5.11.21+dfsg1-3build1_amd64v3.deb 23-Jan-2026 03:11 95K cryptominisat_5.11.21+dfsg1-3build1_arm64.deb 23-Jan-2026 03:14 84K cryptominisat_5.11.21+dfsg1.orig.tar.xz 03-May-2024 13:29 470K cryptominisat_5.8.0+dfsg1-2.debian.tar.xz 23-Feb-2022 01:24 6264 cryptominisat_5.8.0+dfsg1-2.dsc 23-Feb-2022 01:24 2408 cryptominisat_5.8.0+dfsg1-2_amd64.deb 23-Feb-2022 01:45 91K cryptominisat_5.8.0+dfsg1.orig.tar.xz 13-Jul-2020 19:24 441K libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1buil..> 01-Apr-2024 05:47 437K libcryptominisat5-5.11t64_5.11.21+dfsg1-1build1..> 03-Jan-2025 16:37 447K libcryptominisat5-5.11t64_5.11.21+dfsg1-2_amd64..> 25-May-2025 07:49 447K libcryptominisat5-5.11t64_5.11.21+dfsg1-2_arm64..> 25-May-2025 07:49 438K libcryptominisat5-5.11t64_5.11.21+dfsg1-3build1..> 23-Jan-2026 03:09 446K libcryptominisat5-5.11t64_5.11.21+dfsg1-3build1..> 23-Jan-2026 03:11 454K libcryptominisat5-5.11t64_5.11.21+dfsg1-3build1..> 23-Jan-2026 03:14 423K libcryptominisat5-5.8_5.8.0+dfsg1-2_amd64.deb 23-Feb-2022 01:45 378K libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_a..> 01-Apr-2024 05:47 17K libcryptominisat5-dev_5.11.21+dfsg1-1build1_amd..> 03-Jan-2025 16:37 17K libcryptominisat5-dev_5.11.21+dfsg1-2_amd64.deb 25-May-2025 07:49 17K libcryptominisat5-dev_5.11.21+dfsg1-2_arm64.deb 25-May-2025 07:49 17K libcryptominisat5-dev_5.11.21+dfsg1-3build1_amd..> 23-Jan-2026 03:09 17K libcryptominisat5-dev_5.11.21+dfsg1-3build1_amd..> 23-Jan-2026 03:11 17K libcryptominisat5-dev_5.11.21+dfsg1-3build1_arm..> 23-Jan-2026 03:14 17K libcryptominisat5-dev_5.8.0+dfsg1-2_amd64.deb 23-Feb-2022 01:45 13K python3-cryptominisat_5.11.15+dfsg1-1.1build1_a..> 01-Apr-2024 05:47 514K python3-cryptominisat_5.11.21+dfsg1-1build1_amd..> 03-Jan-2025 16:37 608K python3-cryptominisat_5.11.21+dfsg1-2_amd64.deb 25-May-2025 07:49 578K python3-cryptominisat_5.11.21+dfsg1-2_arm64.deb 25-May-2025 07:49 571K python3-cryptominisat_5.11.21+dfsg1-3build1_amd..> 23-Jan-2026 03:09 579K python3-cryptominisat_5.11.21+dfsg1-3build1_amd..> 23-Jan-2026 03:11 588K python3-cryptominisat_5.11.21+dfsg1-3build1_arm..> 23-Jan-2026 03:14 555K python3-cryptominisat_5.8.0+dfsg1-2_amd64.deb 23-Feb-2022 01:45 19K
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.