Ubuntu
frama-c package

arm64 build of frama-c 20161101+silicon+dfsg-5 in ubuntu zesty PROPOSED

20161101+silicon+dfsg-5
arm64 build

created on 2017-01-15

Build status

Successfully built on bos01-arm64-043

Started on 2017-01-15
Finished on 2017-01-15 (took 14 minutes, 30.8 seconds)
buildlog (119.6 KiB)
frama-c_20161101+silicon+dfsg-5_arm64.changes (2.0 KiB)

Build details

Source:: frama-c - 20161101+silicon+dfsg-5

Archive:: Primary Archive for Ubuntu

Series:: Zesty

Architecture:: arm64

Pocket:: Proposed

Component:: universe

Binary packages

Binary packages produced by this build:

Built files

Files resulting from this build:

frama-c-base-dbgsym_20161101+silicon+dfsg-5_arm64.ddeb (921.2 KiB)
frama-c-base_20161101+silicon+dfsg-5_arm64.deb (19.0 MiB)
frama-c-dbgsym_20161101+silicon+dfsg-5_arm64.ddeb (990.1 KiB)
frama-c_20161101+silicon+dfsg-5_arm64.deb (9.8 MiB)