Index of /ubuntu/pool/universe/c/cbmc/
../ cbmc_4.5-2ubuntu2.debian.tar.gz 28-Oct-2013 23:18 6472 cbmc_4.5-2ubuntu2.dsc 28-Oct-2013 23:18 1168 cbmc_4.5-2ubuntu2_amd64.deb 28-Oct-2013 23:38 5M cbmc_4.5-2ubuntu2_i386.deb 28-Oct-2013 23:38 5M cbmc_4.5.orig.tar.gz 28-Oct-2013 19:33 4M cbmc_5.10-5ubuntu1.debian.tar.xz 14-Apr-2020 11:08 13K cbmc_5.10-5ubuntu1.dsc 14-Apr-2020 11:08 2267 cbmc_5.10-5ubuntu1_amd64.deb 14-Apr-2020 11:41 10M cbmc_5.10.orig-java-models-library.tar.gz 09-Nov-2018 08:53 169K cbmc_5.10.orig.tar.gz 09-Nov-2018 08:53 6M cbmc_5.12-5.debian.tar.xz 05-May-2020 01:13 15K cbmc_5.12-5.dsc 05-May-2020 01:13 2234 cbmc_5.12-5_amd64.deb 05-May-2020 02:58 17M cbmc_5.12.orig-java-models-library.tar.gz 02-May-2020 16:33 297K cbmc_5.12.orig.tar.gz 02-May-2020 16:33 7M cbmc_5.3-1.debian.tar.xz 21-Jan-2016 07:25 9688 cbmc_5.3-1.dsc 21-Jan-2016 07:25 1729 cbmc_5.3-1_amd64.deb 21-Jan-2016 07:44 3M cbmc_5.3-1_i386.deb 21-Jan-2016 07:45 3M cbmc_5.3.orig.tar.gz 21-Jan-2016 07:25 5M cbmc_5.6-1.debian.tar.xz 04-Dec-2016 19:18 10K cbmc_5.6-1.dsc 04-Dec-2016 19:18 1744 cbmc_5.6-1_amd64.deb 04-Dec-2016 20:03 4M cbmc_5.6-1_i386.deb 04-Dec-2016 20:03 4M cbmc_5.6.orig.tar.gz 04-Dec-2016 19:18 5M cbmc_5.95.1-4ubuntu1.debian.tar.xz 23-Apr-2024 19:04 15K cbmc_5.95.1-4ubuntu1.dsc 23-Apr-2024 19:04 3147 cbmc_5.95.1-4ubuntu1_amd64.deb 23-Apr-2024 20:04 20M cbmc_5.95.1.orig-java-cprover-api.tar.gz 16-Feb-2024 19:43 14K cbmc_5.95.1.orig-java-models-library.tar.gz 16-Feb-2024 19:43 292K cbmc_5.95.1.orig.tar.gz 16-Feb-2024 19:43 9M cbmc_6.4.1-2.debian.tar.xz 22-Jan-2025 20:28 18K cbmc_6.4.1-2.dsc 22-Jan-2025 20:28 3048 cbmc_6.4.1-2_amd64.deb 22-Jan-2025 21:44 25M cbmc_6.4.1.orig-java-cprover-api.tar.gz 22-Jan-2025 07:31 14K cbmc_6.4.1.orig-java-models-library.tar.gz 22-Jan-2025 07:31 292K cbmc_6.4.1.orig.tar.gz 22-Jan-2025 07:31 9M cbmc_6.6.0-4.debian.tar.xz 01-May-2025 18:24 16K cbmc_6.6.0-4.dsc 01-May-2025 18:24 3144 cbmc_6.6.0-4_amd64.deb 02-May-2025 03:53 22M cbmc_6.6.0-4_amd64v3.deb 09-Oct-2025 01:32 23M cbmc_6.6.0-4_arm64.deb 02-May-2025 11:16 19M cbmc_6.6.0-4ubuntu2.debian.tar.xz 03-Mar-2026 23:25 16K cbmc_6.6.0-4ubuntu2.dsc 03-Mar-2026 23:25 3277 cbmc_6.6.0-4ubuntu2_amd64.deb 03-Mar-2026 23:26 22M cbmc_6.6.0-4ubuntu2_amd64v3.deb 03-Mar-2026 23:26 23M cbmc_6.6.0-4ubuntu2_arm64.deb 03-Mar-2026 23:27 19M cbmc_6.6.0.orig-java-cprover-api.tar.gz 01-May-2025 18:24 14K cbmc_6.6.0.orig-java-models-library.tar.gz 01-May-2025 18:24 292K cbmc_6.6.0.orig.tar.gz 01-May-2025 18:24 9M jbmc_5.95.1-4ubuntu1_amd64.deb 23-Apr-2024 20:04 8M jbmc_6.4.1-2_amd64.deb 22-Jan-2025 21:44 10M jbmc_6.6.0-4_amd64.deb 02-May-2025 03:53 9M jbmc_6.6.0-4_amd64v3.deb 09-Oct-2025 01:32 9M jbmc_6.6.0-4_arm64.deb 02-May-2025 11:16 8M jbmc_6.6.0-4ubuntu2_amd64.deb 03-Mar-2026 23:26 9M jbmc_6.6.0-4ubuntu2_amd64v3.deb 03-Mar-2026 23:26 9M jbmc_6.6.0-4ubuntu2_arm64.deb 03-Mar-2026 23:27 8M
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.