Publishing details

Removed from disk on 2018-01-19.
Removal requested on 2016-11-03.
Published on 2014-04-30
Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)

Changelog

frama-c (20140301+neon+dfsg-3) unstable; urgency=medium


  * Add a call to autoconf prior to configure.

 -- Mehdi Dogguy <email address hidden>  Tue, 29 Apr 2014 19:16:49 +0200

Available diffs

diff from 20130601+fluorine3+dfsg-2build1 (in Ubuntu) to 20140301+neon+dfsg-3 (1.0 MiB)
diff from 20140301+neon+dfsg-2 to 20140301+neon+dfsg-3 (527 bytes)

Builds

Package files

frama-c-base_20140301+neon+dfsg-3_amd64.deb (20.2 MiB)
frama-c-base_20140301+neon+dfsg-3_arm64.deb (11.6 MiB)
frama-c-base_20140301+neon+dfsg-3_armhf.deb (20.3 MiB)
frama-c-base_20140301+neon+dfsg-3_i386.deb (17.6 MiB)
frama-c-base_20140301+neon+dfsg-3_powerpc.deb (19.6 MiB)
frama-c-base_20140301+neon+dfsg-3_ppc64el.deb (11.5 MiB)
frama-c_20140301+neon+dfsg-3.debian.tar.xz (23.2 KiB)
frama-c_20140301+neon+dfsg-3.dsc (2.3 KiB)
frama-c_20140301+neon+dfsg-3_amd64.deb (3.4 MiB)
frama-c_20140301+neon+dfsg-3_arm64.deb (1.1 MiB)
frama-c_20140301+neon+dfsg-3_armhf.deb (3.5 MiB)
frama-c_20140301+neon+dfsg-3_i386.deb (3.2 MiB)
frama-c_20140301+neon+dfsg-3_powerpc.deb (3.1 MiB)
frama-c_20140301+neon+dfsg-3_ppc64el.deb (1.1 MiB)
frama-c_20140301+neon+dfsg.orig.tar.gz (2.7 MiB)