Wed, 16 Oct 2019 22:59:44 UTC

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

ID967937
Package Nameframa-c
Version15.0
Release1.fc28
Epoch
Built byjjames
State deleted
Volume DEFAULT
StartedFri, 08 Sep 2017 02:57:13 UTC
CompletedFri, 08 Sep 2017 03:19:37 UTC
Taskbuild (rawhide, /rpms/frama-c:e0650cd167f1147b28891404e525eac33d9cf8ac)
Tags No tags
RPMs
src
frama-c-15.0-1.fc28.src.rpm (info) (download)
aarch64
frama-c-15.0-1.fc28.aarch64.rpm (info) (download)
frama-c-debuginfo-15.0-1.fc28.aarch64.rpm (info) (download)
frama-c-debugsource-15.0-1.fc28.aarch64.rpm (info) (download)
armv7hl
frama-c-15.0-1.fc28.armv7hl.rpm (info) (download)
frama-c-debuginfo-15.0-1.fc28.armv7hl.rpm (info) (download)
frama-c-debugsource-15.0-1.fc28.armv7hl.rpm (info) (download)
i686
frama-c-15.0-1.fc28.i686.rpm (info) (download)
frama-c-debuginfo-15.0-1.fc28.i686.rpm (info) (download)
frama-c-debugsource-15.0-1.fc28.i686.rpm (info) (download)
noarch
frama-c-doc-15.0-1.fc28.noarch.rpm (info) (download)
frama-c-emacs-15.0-1.fc28.noarch.rpm (info) (download)
frama-c-xemacs-15.0-1.fc28.noarch.rpm (info) (download)
ppc64
frama-c-15.0-1.fc28.ppc64.rpm (info) (download)
frama-c-debuginfo-15.0-1.fc28.ppc64.rpm (info) (download)
frama-c-debugsource-15.0-1.fc28.ppc64.rpm (info) (download)
ppc64le
frama-c-15.0-1.fc28.ppc64le.rpm (info) (download)
frama-c-debuginfo-15.0-1.fc28.ppc64le.rpm (info) (download)
frama-c-debugsource-15.0-1.fc28.ppc64le.rpm (info) (download)
s390x
frama-c-15.0-1.fc28.s390x.rpm (info) (download)
frama-c-debuginfo-15.0-1.fc28.s390x.rpm (info) (download)
frama-c-debugsource-15.0-1.fc28.s390x.rpm (info) (download)
x86_64
frama-c-15.0-1.fc28.x86_64.rpm (info) (download)
frama-c-debuginfo-15.0-1.fc28.x86_64.rpm (info) (download)
frama-c-debugsource-15.0-1.fc28.x86_64.rpm (info) (download)