Ubuntu
frama-c package

frama-c 20220511-manganese-1.1 source package in Ubuntu

Changelog

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

  * Non-maintainer upload.
  * Add crude dep on libppx-import-ocaml by hand (why does dh-ocaml
  fail to detect it?).
  * Add workaround for failing autopkgtest.

 -- Julien Puydt <email address hidden>  Thu, 23 Jun 2022 11:46:20 +0200

Upload details

Uploaded by:
Debian OCaml Maintainers
Uploaded to:
Sid
Original maintainer:
Debian OCaml Maintainers
Architectures:
any
Section:
devel
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
frama-c_20220511-manganese-1.1.dsc 2.4 KiB dd161fc47a70140943e02d3821682b1f302d4f0de49aa98518725ce1667f5541
frama-c_20220511-manganese.orig.tar.gz 7.7 MiB 5efcab6ba0c291f7d5eacc64ced1a2e6e52f45fc029e997fca0997f13142d2fe
frama-c_20220511-manganese-1.1.debian.tar.xz 15.6 KiB cdb595613ab155ea8cf147fcace4cd0c7028f276f13eb3a7bab6238258da8d39

No changes file available.

Binary packages built by this source

frama-c-base: No summary available for frama-c-base in ubuntu kinetic.

No description available for frama-c-base in ubuntu kinetic.

frama-c-base-dbgsym: No summary available for frama-c-base-dbgsym in ubuntu kinetic.

No description available for frama-c-base-dbgsym in ubuntu kinetic.