Wed, 20 Nov 2019 20:31:14 UTC

Information for build frama-c-1.10-18.fc22

ID579313
Package Nameframa-c
Version1.10
Release18.fc22
Epoch
Built byjjames
State deleted
Volume DEFAULT
StartedFri, 19 Sep 2014 01:15:17 UTC
CompletedFri, 19 Sep 2014 02:17:59 UTC
Taskbuild (rawhide, /frama-c:78d9d42e88c1485e3cf53f4eab9f640a60e6b54f)
Tags No tags
RPMs
src
frama-c-1.10-18.fc22.src.rpm (info) (download)
armv7hl
frama-c-1.10-18.fc22.armv7hl.rpm (info) (download)
frama-c-debuginfo-1.10-18.fc22.armv7hl.rpm (info) (download)
i686
frama-c-1.10-18.fc22.i686.rpm (info) (download)
frama-c-debuginfo-1.10-18.fc22.i686.rpm (info) (download)
noarch
frama-c-doc-1.10-18.fc22.noarch.rpm (info) (download)
frama-c-emacs-1.10-18.fc22.noarch.rpm (info) (download)
frama-c-emacs-el-1.10-18.fc22.noarch.rpm (info) (download)
frama-c-xemacs-1.10-18.fc22.noarch.rpm (info) (download)
frama-c-xemacs-el-1.10-18.fc22.noarch.rpm (info) (download)
x86_64
frama-c-1.10-18.fc22.x86_64.rpm (info) (download)
frama-c-debuginfo-1.10-18.fc22.x86_64.rpm (info) (download)