Index of /debian/pool/main/b/boolector/
../ boolector_1.5.118.6b56be4.121013-1+b1_amd64.deb 17-Mar-2017 06:58 297K boolector_1.5.118.6b56be4.121013-1+b1_arm64.deb 17-Mar-2017 02:57 241K boolector_1.5.118.6b56be4.121013-1+b1_armhf.deb 17-Mar-2017 16:29 253K boolector_1.5.118.6b56be4.121013-1+b1_i386.deb 17-Mar-2017 05:56 308K boolector_1.5.118.6b56be4.121013-1.3+b2_riscv64..> 28-Dec-2023 23:30 302K boolector_1.5.118.6b56be4.121013-1.3.debian.tar.xz 12-Nov-2022 07:11 5504 boolector_1.5.118.6b56be4.121013-1.3.dsc 12-Nov-2022 07:11 1722 boolector_1.5.118.6b56be4.121013-1.3_amd64.deb 12-Nov-2022 07:41 302K boolector_1.5.118.6b56be4.121013-1.3_arm64.deb 12-Nov-2022 07:41 258K boolector_1.5.118.6b56be4.121013-1.3_armel.deb 12-Nov-2022 07:41 249K boolector_1.5.118.6b56be4.121013-1.3_armhf.deb 12-Nov-2022 07:41 256K boolector_1.5.118.6b56be4.121013-1.3_i386.deb 12-Nov-2022 07:41 312K boolector_1.5.118.6b56be4.121013-1.3_mips64el.deb 13-Nov-2022 08:26 273K boolector_1.5.118.6b56be4.121013-1.3_mipsel.deb 12-Nov-2022 07:41 284K boolector_1.5.118.6b56be4.121013-1.3_ppc64el.deb 12-Nov-2022 11:13 310K boolector_1.5.118.6b56be4.121013-1.3_s390x.deb 12-Nov-2022 08:12 280K boolector_1.5.118.6b56be4.121013-1.debian.tar.gz 16-Oct-2012 16:46 4827 boolector_1.5.118.6b56be4.121013-1.dsc 16-Oct-2012 16:46 1515 boolector_1.5.118.6b56be4.121013.orig-lingeling..> 16-Oct-2012 16:46 162K boolector_1.5.118.6b56be4.121013.orig.tar.gz 16-Oct-2012 16:46 184K boolector_3.2.4-1+b1_loong64.deb 21-Apr-2026 18:32 502K boolector_3.2.4-1.debian.tar.xz 30-Jan-2026 16:31 3276 boolector_3.2.4-1.dsc 30-Jan-2026 16:31 2043 boolector_3.2.4-1_amd64.deb 30-Jan-2026 17:01 521K boolector_3.2.4-1_arm64.deb 30-Jan-2026 17:01 446K boolector_3.2.4-1_armhf.deb 30-Jan-2026 17:01 465K boolector_3.2.4-1_i386.deb 30-Jan-2026 17:01 547K boolector_3.2.4-1_ppc64el.deb 30-Jan-2026 17:01 504K boolector_3.2.4-1_riscv64.deb 30-Jan-2026 18:22 516K boolector_3.2.4-1_s390x.deb 30-Jan-2026 16:56 487K boolector_3.2.4.orig.tar.gz 30-Jan-2026 16:31 1M
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.