Index of /ubuntu/pool/universe/b/boolector/
../ boolector_1.5.118.6b56be4.121013-1.1.debian.tar.xz 03-Jan-2022 19:24 4704 boolector_1.5.118.6b56be4.121013-1.1.dsc 03-Jan-2022 19:24 2165 boolector_1.5.118.6b56be4.121013-1.1_amd64.deb 03-Jan-2022 19:44 316K boolector_1.5.118.6b56be4.121013-1.3.debian.tar.xz 12-Nov-2022 13:24 5504 boolector_1.5.118.6b56be4.121013-1.3.dsc 12-Nov-2022 13:24 1722 boolector_1.5.118.6b56be4.121013-1.3_amd64.deb 12-Nov-2022 13:24 319K boolector_1.5.118.6b56be4.121013-1.3_arm64.deb 12-Nov-2022 13:24 298K boolector_1.5.118.6b56be4.121013-1.3build1.debi..> 10-Dec-2025 01:53 5584 boolector_1.5.118.6b56be4.121013-1.3build1.dsc 10-Dec-2025 01:53 2189 boolector_1.5.118.6b56be4.121013-1.3build1_amd6..> 10-Dec-2025 01:57 327K boolector_1.5.118.6b56be4.121013-1.3build1_amd6..> 10-Dec-2025 01:58 327K boolector_1.5.118.6b56be4.121013-1.3build1_arm6..> 10-Dec-2025 01:58 321K boolector_1.5.118.6b56be4.121013-1.debian.tar.gz 29-Oct-2012 01:08 4827 boolector_1.5.118.6b56be4.121013-1.dsc 29-Oct-2012 01:08 1515 boolector_1.5.118.6b56be4.121013-1_amd64.deb 29-Oct-2012 04:04 345K boolector_1.5.118.6b56be4.121013-1_i386.deb 29-Oct-2012 03:35 337K boolector_1.5.118.6b56be4.121013-1build1.debian..> 03-Apr-2018 20:04 4776 boolector_1.5.118.6b56be4.121013-1build1.dsc 03-Apr-2018 20:04 2289 boolector_1.5.118.6b56be4.121013-1build1_amd64.deb 03-Apr-2018 21:12 295K boolector_1.5.118.6b56be4.121013-1build1_i386.deb 03-Apr-2018 21:13 303K boolector_1.5.118.6b56be4.121013.orig-lingeling..> 29-Oct-2012 01:08 162K boolector_1.5.118.6b56be4.121013.orig.tar.gz 29-Oct-2012 01:08 184K boolector_3.2.4-1.debian.tar.xz 31-Jan-2026 01:31 3276 boolector_3.2.4-1.dsc 31-Jan-2026 01:31 2043 boolector_3.2.4-1_amd64.deb 31-Jan-2026 02:34 546K boolector_3.2.4-1_amd64v3.deb 31-Jan-2026 02:34 548K boolector_3.2.4-1_arm64.deb 31-Jan-2026 02:34 506K boolector_3.2.4.orig.tar.gz 31-Jan-2026 01: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.