Ubuntu
frama-c package

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

Changelog

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

  * New upstream version. This version is compatible with why3 version
    1.5.0 (closes: #1011892,#1010867).
  * Add build-dependency on
    - libppx-import-ocaml-dev
    - libppx-deriving-ocaml-dev
  * debian/copyright: drop mention of plugins that are no longer
    included in the upstream distribution:
    - coqwp
    - ergo
  * Standards-Version 4.6.1 (no change)

 -- Ralf Treinen <email address hidden>  Sat, 18 Jun 2022 19:39:11 +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.dsc 2.4 KiB 2fe31ba18860259488b283916d286c2141cd520aa58f24798573bf00a75b7e4f
frama-c_20220511-manganese.orig.tar.gz 7.7 MiB 5efcab6ba0c291f7d5eacc64ced1a2e6e52f45fc029e997fca0997f13142d2fe
frama-c_20220511-manganese-1.debian.tar.xz 15.4 KiB 0c88bbba7746b6634d457d307d7c2d3133967c873335db4bd217a337c8f39fad

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.