Publishing details
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by frama-c - 20150201+sodium+dfsg-2
-
Published
-
Copied from
debian sid in
Primary Archive for Debian GNU/Linux
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
Builds
Package files