Ubuntu
frama-c package

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

Changelog

frama-c (20200625+scandium-2build1) groovy; urgency=medium

  * No-change rebuild against latest lablgtk3

 -- Jeremy Bicha <email address hidden>  Sat, 03 Oct 2020 20:38:06 -0400

Upload details

Uploaded by:
Jeremy Bícha
Uploaded to:
Groovy
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-2build1.debian.tar.xz 14.7 KiB d5be4332d43d11467002053a16069173ed99410b88e0fdd69dbe6c9d2635ad96
frama-c_20200625+scandium-2build1.dsc 2.3 KiB 93457721758820271c824d67e73a6cd5a294cc2a7e4893de66f21a6b1dae25c2

View changes file

Binary packages built by this source

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

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

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

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