Index of /debian/pool/main/f/frama-c/

---

../
frama-c-base_20201209+titanium-4.1_amd64.deb       12-Feb-2021 22:44     58M
frama-c-base_20201209+titanium-4.1_arm64.deb       12-Feb-2021 22:59     61M
frama-c-base_20201209+titanium-4.1_armhf.deb       12-Feb-2021 22:59     57M
frama-c-base_20201209+titanium-4.1_i386.deb        12-Feb-2021 22:44     56M
frama-c-base_20220511-manganese-3+b3_armel.deb     03-May-2023 23:57     39M
frama-c-base_20220511-manganese-3+b3_mips64el.deb  03-May-2023 23:57     39M
frama-c-base_20220511-manganese-3+b3_mipsel.deb    03-May-2023 23:42     39M
frama-c-base_20220511-manganese-3+b4_amd64.deb     04-May-2023 02:27     61M
frama-c-base_20220511-manganese-3+b4_arm64.deb     03-May-2023 23:57     64M
frama-c-base_20220511-manganese-3+b4_armhf.deb     03-May-2023 23:29     60M
frama-c-base_20220511-manganese-3+b4_i386.deb      04-May-2023 02:27     59M
frama-c-base_20220511-manganese-3+b4_ppc64el.deb   04-May-2023 02:42     63M
frama-c-base_20220511-manganese-3+b4_s390x.deb     03-May-2023 23:19     61M
frama-c-base_20220511-manganese-5+b13_amd64.deb    15-Jan-2025 05:48     58M
frama-c-base_20220511-manganese-5+b13_arm64.deb    15-Jan-2025 05:48     60M
frama-c-base_20220511-manganese-5+b13_armhf.deb    15-Jan-2025 05:59     35M
frama-c-base_20220511-manganese-5+b13_i386.deb     15-Jan-2025 05:48     37M
frama-c-base_20220511-manganese-5+b13_ppc64el.deb  15-Jan-2025 05:48     59M
frama-c-base_20220511-manganese-5+b13_s390x.deb    15-Jan-2025 08:57     57M
frama-c-base_20220511-manganese-5+b14_riscv64.deb  15-Jan-2025 09:02     62M
frama-c_20201209+titanium-4.1.debian.tar.xz        12-Feb-2021 21:48     16K
frama-c_20201209+titanium-4.1.dsc                  12-Feb-2021 21:48    2375
frama-c_20201209+titanium.orig.tar.gz              02-Jan-2021 14:09      6M
frama-c_20220511-manganese-3.debian.tar.xz         27-Dec-2022 23:26     16K
frama-c_20220511-manganese-3.dsc                   27-Dec-2022 23:26    2407
frama-c_20220511-manganese-5.debian.tar.xz         09-Sep-2023 08:58     16K
frama-c_20220511-manganese-5.dsc                   09-Sep-2023 08:58    2145
frama-c_20220511-manganese.orig.tar.gz             18-Jun-2022 21: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.