frama-c 20140301+neon+dfsg-3 source package in Ubuntu
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
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 | Published | Component | Section |
---|
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
frama-c_20140301+neon+dfsg-3.dsc | 2.3 KiB | 295c189be03ad19b12357f94d6dc7c3921a0ebea9f0b1a4ec8be0d33797ec47c |
frama-c_20140301+neon+dfsg.orig.tar.gz | 2.7 MiB | 464bb40ccec8eff4056d4f522aed9fd46cd02fd50fd1021cc9c4ea514b3c7361 |
frama-c_20140301+neon+dfsg-3.debian.tar.xz | 23.2 KiB | d387897ba30356b4f829371336fb34f055e3406594196019d82860a3592304a2 |
Available diffs
No changes file available.
Binary packages built by this source
- frama-c: No summary available for frama-c in ubuntu utopic.
No description available for frama-c in ubuntu utopic.
- frama-c-base: No summary available for frama-c-base in ubuntu wily.
No description available for frama-c-base in ubuntu wily.