frama-c 20161101+silicon+dfsg-5build2 source package in Ubuntu
Changelog
frama-c (20161101+silicon+dfsg-5build2) artful; urgency=high * No change rebuild against ocaml 4.04. -- Dimitri John Ledkov <email address hidden> Mon, 03 Jul 2017 01:29:32 +0100
Upload details
- Uploaded by:
- Dimitri John Ledkov
- Uploaded to:
- Artful
- Original maintainer:
- Ubuntu Developers
- Architectures:
- any
- Section:
- math
- Urgency:
- Very Urgent
See full publishing history Publishing
Series | Published | Component | Section |
---|
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
frama-c_20161101+silicon+dfsg.orig.tar.gz | 6.4 MiB | 4a6c53b4d1d5b9825fffece7696a6fa9396508524693a556a662d47d8ef62f19 |
frama-c_20161101+silicon+dfsg-5build2.debian.tar.xz | 26.4 KiB | 25d4d0204c0ff18cc5e7364fb9ecb7bb7593a925b6dcd89b3ead6e73439c5881 |
frama-c_20161101+silicon+dfsg-5build2.dsc | 2.1 KiB | ddbd1320e9f7958a9aaa8549865145cf6f4701ce57b0fdef7a82949b7556ca49 |
Available diffs
Binary packages built by this source
- frama-c: No summary available for frama-c in ubuntu artful.
No description available for frama-c in ubuntu artful.
- frama-c-base: No summary available for frama-c-base in ubuntu artful.
No description available for frama-c-base in ubuntu artful.
- frama-c-base-dbgsym: No summary available for frama-c-base-dbgsym in ubuntu artful.
No description available for frama-c-base-dbgsym in ubuntu artful.
- frama-c-dbgsym: No summary available for frama-c-dbgsym in ubuntu artful.
No description available for frama-c-dbgsym in ubuntu artful.