Fri, 18 Oct 2019 20:48:14 UTC

Information for build frama-c-1.12-3.fc25

ID755211
Package Nameframa-c
Version1.12
Release3.fc25
Epoch
Built byjjames
State deleted
Volume DEFAULT
StartedSun, 17 Apr 2016 05:55:54 UTC
CompletedSun, 17 Apr 2016 06:24:48 UTC
Taskbuild (rawhide, /frama-c:3576d521d97ff59e0e59497c3ff78ecda833430c)
Tags No tags
RPMs
src
frama-c-1.12-3.fc25.src.rpm (info) (download)
armv7hl
frama-c-1.12-3.fc25.armv7hl.rpm (info) (download)
frama-c-debuginfo-1.12-3.fc25.armv7hl.rpm (info) (download)
i686
frama-c-1.12-3.fc25.i686.rpm (info) (download)
frama-c-debuginfo-1.12-3.fc25.i686.rpm (info) (download)
noarch
frama-c-doc-1.12-3.fc25.noarch.rpm (info) (download)
frama-c-emacs-1.12-3.fc25.noarch.rpm (info) (download)
frama-c-xemacs-1.12-3.fc25.noarch.rpm (info) (download)
x86_64
frama-c-1.12-3.fc25.x86_64.rpm (info) (download)
frama-c-debuginfo-1.12-3.fc25.x86_64.rpm (info) (download)