Tue, 17 Sep 2019 15:05:58 UTC

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

ID969741
Package Nameframa-c
Version15.0
Release2.fc28
Epoch
Built byjjames
State deleted
Volume DEFAULT
StartedWed, 13 Sep 2017 02:34:33 UTC
CompletedWed, 13 Sep 2017 02:59:01 UTC
Taskbuild (rawhide, /rpms/frama-c:2c5d6144b9e194899f7372421da4593c991e0baa)
Tags No tags
RPMs
src
frama-c-15.0-2.fc28.src.rpm (info) (download)
aarch64
frama-c-15.0-2.fc28.aarch64.rpm (info) (download)
frama-c-debuginfo-15.0-2.fc28.aarch64.rpm (info) (download)
frama-c-debugsource-15.0-2.fc28.aarch64.rpm (info) (download)
armv7hl
frama-c-15.0-2.fc28.armv7hl.rpm (info) (download)
frama-c-debuginfo-15.0-2.fc28.armv7hl.rpm (info) (download)
frama-c-debugsource-15.0-2.fc28.armv7hl.rpm (info) (download)
i686
frama-c-15.0-2.fc28.i686.rpm (info) (download)
frama-c-debuginfo-15.0-2.fc28.i686.rpm (info) (download)
frama-c-debugsource-15.0-2.fc28.i686.rpm (info) (download)
noarch
frama-c-doc-15.0-2.fc28.noarch.rpm (info) (download)
frama-c-emacs-15.0-2.fc28.noarch.rpm (info) (download)
frama-c-xemacs-15.0-2.fc28.noarch.rpm (info) (download)
ppc64
frama-c-15.0-2.fc28.ppc64.rpm (info) (download)
frama-c-debuginfo-15.0-2.fc28.ppc64.rpm (info) (download)
frama-c-debugsource-15.0-2.fc28.ppc64.rpm (info) (download)
ppc64le
frama-c-15.0-2.fc28.ppc64le.rpm (info) (download)
frama-c-debuginfo-15.0-2.fc28.ppc64le.rpm (info) (download)
frama-c-debugsource-15.0-2.fc28.ppc64le.rpm (info) (download)
s390x
frama-c-15.0-2.fc28.s390x.rpm (info) (download)
frama-c-debuginfo-15.0-2.fc28.s390x.rpm (info) (download)
frama-c-debugsource-15.0-2.fc28.s390x.rpm (info) (download)
x86_64
frama-c-15.0-2.fc28.x86_64.rpm (info) (download)
frama-c-debuginfo-15.0-2.fc28.x86_64.rpm (info) (download)
frama-c-debugsource-15.0-2.fc28.x86_64.rpm (info) (download)