Ubuntu
frama-c package

frama-c 20200625+scandium-2build3 source package in Ubuntu

Changelog

frama-c (20200625+scandium-2build3) hirsute; urgency=medium

  * Rebuild against new OCAML ABI.

 -- Gianfranco Costamagna <email address hidden>  Mon, 07 Dec 2020 07:48:49 +0100

Upload details

Uploaded by:
Gianfranco Costamagna
Uploaded to:
Hirsute
Original maintainer:
Debian OCaml Maintainers
Architectures:
any
Section:
math
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
frama-c_20200625+scandium.orig.tar.gz 6.1 MiB 74c23ac34c97d2d266b8f3e62dd73fd5367058439ddba266a42c850103337507
frama-c_20200625+scandium-2build3.debian.tar.xz 14.8 KiB 6522b4d95eca22c6e12603d77dc0cac74e76bba54e3cf6418b58db3f48424f8a
frama-c_20200625+scandium-2build3.dsc 2.3 KiB a8f272356543becbc2d0ae8dd7358d99c2f953a74a90655d89891463f5747c43

View changes file

Binary packages built by this source

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

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

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

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