Publishing details

• Removal requested on 2023-11-13.
• Published on 2022-06-28
• Copied from Primary Archive for Ubuntu by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
• Originally uploaded to debian sid in Primary Archive for Debian GNU/Linux

Changelog

frama-c (20220511-manganese-1.3) unstable; urgency=medium

  * Tighten the dep on newer why3 also for autopkgtest.

 -- Julien Puydt <email address hidden>  Mon, 27 Jun 2022 20:50:40 +0200

Builds

• amd64
• arm64
• armhf
• ppc64el
• riscv64
• s390x

Package files

• frama-c-base-dbgsym_20220511-manganese-1.3_amd64.ddeb (5.7 MiB)
• frama-c-base-dbgsym_20220511-manganese-1.3_arm64.ddeb (6.8 MiB)
• frama-c-base-dbgsym_20220511-manganese-1.3_armhf.ddeb (5.8 MiB)
• frama-c-base-dbgsym_20220511-manganese-1.3_ppc64el.ddeb (4.8 MiB)
• frama-c-base-dbgsym_20220511-manganese-1.3_riscv64.ddeb (4.9 MiB)
• frama-c-base-dbgsym_20220511-manganese-1.3_s390x.ddeb (3.7 MiB)
• frama-c-base_20220511-manganese-1.3_amd64.deb (72.6 MiB)
• frama-c-base_20220511-manganese-1.3_arm64.deb (78.3 MiB)
• frama-c-base_20220511-manganese-1.3_armhf.deb (73.0 MiB)
• frama-c-base_20220511-manganese-1.3_ppc64el.deb (75.2 MiB)
• frama-c-base_20220511-manganese-1.3_riscv64.deb (78.1 MiB)
• frama-c-base_20220511-manganese-1.3_s390x.deb (73.0 MiB)
• frama-c_20220511-manganese-1.3.debian.tar.xz (15.6 KiB)
• frama-c_20220511-manganese-1.3.dsc (2.4 KiB)
• frama-c_20220511-manganese.orig.tar.gz (7.7 MiB)