Sat, 21 Sep 2019 13:14:27 UTC

Information for build frama-c-15.0-6.fc28

ID1008418
Package Nameframa-c
Version15.0
Release6.fc28
Epoch
Built byjjames
State deleted
Volume DEFAULT
StartedSat, 09 Dec 2017 21:28:07 UTC
CompletedSat, 09 Dec 2017 21:49:30 UTC
Taskbuild (rawhide, /rpms/frama-c.git:287d30a8b711008ee26d56e2d537ddfe12ba56d2)
Tags No tags
RPMs
src
frama-c-15.0-6.fc28.src.rpm (info) (download)
aarch64
frama-c-15.0-6.fc28.aarch64.rpm (info) (download)
frama-c-debuginfo-15.0-6.fc28.aarch64.rpm (info) (download)
frama-c-debugsource-15.0-6.fc28.aarch64.rpm (info) (download)
armv7hl
frama-c-15.0-6.fc28.armv7hl.rpm (info) (download)
frama-c-debuginfo-15.0-6.fc28.armv7hl.rpm (info) (download)
frama-c-debugsource-15.0-6.fc28.armv7hl.rpm (info) (download)
i686
frama-c-15.0-6.fc28.i686.rpm (info) (download)
frama-c-debuginfo-15.0-6.fc28.i686.rpm (info) (download)
frama-c-debugsource-15.0-6.fc28.i686.rpm (info) (download)
noarch
frama-c-doc-15.0-6.fc28.noarch.rpm (info) (download)
frama-c-emacs-15.0-6.fc28.noarch.rpm (info) (download)
frama-c-xemacs-15.0-6.fc28.noarch.rpm (info) (download)
ppc64
frama-c-15.0-6.fc28.ppc64.rpm (info) (download)
frama-c-debuginfo-15.0-6.fc28.ppc64.rpm (info) (download)
frama-c-debugsource-15.0-6.fc28.ppc64.rpm (info) (download)
ppc64le
frama-c-15.0-6.fc28.ppc64le.rpm (info) (download)
frama-c-debuginfo-15.0-6.fc28.ppc64le.rpm (info) (download)
frama-c-debugsource-15.0-6.fc28.ppc64le.rpm (info) (download)
s390x
frama-c-15.0-6.fc28.s390x.rpm (info) (download)
frama-c-debuginfo-15.0-6.fc28.s390x.rpm (info) (download)
frama-c-debugsource-15.0-6.fc28.s390x.rpm (info) (download)
x86_64
frama-c-15.0-6.fc28.x86_64.rpm (info) (download)
frama-c-debuginfo-15.0-6.fc28.x86_64.rpm (info) (download)
frama-c-debugsource-15.0-6.fc28.x86_64.rpm (info) (download)