frama-c 20140301+neon+dfsg-3build1 source package in Ubuntu
Changelog
frama-c (20140301+neon+dfsg-3build1) wily; urgency=medium * No-change rebuild for new ocaml-zarith. -- Matthias Klose <email address hidden> Sun, 09 Aug 2015 13:01:48 +0200
Upload details
- Uploaded by:
- Matthias Klose
- Uploaded to:
- Wily
- Original maintainer:
- Debian OCaml Maintainers
- Architectures:
- any
- Section:
- math
- Urgency:
- Medium Urgency
See full publishing history Publishing
| Series | Published | Component | Section |
|---|
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| frama-c_20140301+neon+dfsg.orig.tar.gz | 2.7 MiB | 464bb40ccec8eff4056d4f522aed9fd46cd02fd50fd1021cc9c4ea514b3c7361 |
| frama-c_20140301+neon+dfsg-3build1.debian.tar.xz | 23.5 KiB | ed5dbacc8472b58f0281f720b977c7536955aaa4cb80f8e006af50b20ead479c |
| frama-c_20140301+neon+dfsg-3build1.dsc | 2.3 KiB | e8b087160e09c3da2b946a3591232ffbff93b1b9e4492c4e94c127f782d425df |
Available diffs
Binary packages built by this source
- frama-c: No summary available for frama-c in ubuntu wily.
No description available for frama-c in ubuntu wily.
- frama-c-base: No summary available for frama-c-base in ubuntu wily.
No description available for frama-c-base in ubuntu wily.
- frama-c-base-dbgsym: No summary available for frama-c-base-dbgsym in ubuntu wily.
No description available for frama-c-base-dbgsym in ubuntu wily.
- frama-c-dbgsym: No summary available for frama-c-dbgsym in ubuntu wily.
No description available for frama-c-dbgsym in ubuntu wily.
