Sun, 15 Sep 2019 10:37:27 UTC

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

ID981381
Package Nameframa-c
Version15.0
Release3.fc28
Epoch
Built byjjames
State deleted
Volume DEFAULT
StartedSat, 07 Oct 2017 22:17:58 UTC
CompletedSat, 07 Oct 2017 22:40:38 UTC
Taskbuild (rawhide, /rpms/frama-c:8a9c9ec1027456969d3437cce639e58a6b815cd6)
Tags No tags
RPMs
src
frama-c-15.0-3.fc28.src.rpm (info) (download)
aarch64
frama-c-15.0-3.fc28.aarch64.rpm (info) (download)
frama-c-debuginfo-15.0-3.fc28.aarch64.rpm (info) (download)
frama-c-debugsource-15.0-3.fc28.aarch64.rpm (info) (download)
armv7hl
frama-c-15.0-3.fc28.armv7hl.rpm (info) (download)
frama-c-debuginfo-15.0-3.fc28.armv7hl.rpm (info) (download)
frama-c-debugsource-15.0-3.fc28.armv7hl.rpm (info) (download)
i686
frama-c-15.0-3.fc28.i686.rpm (info) (download)
frama-c-debuginfo-15.0-3.fc28.i686.rpm (info) (download)
frama-c-debugsource-15.0-3.fc28.i686.rpm (info) (download)
noarch
frama-c-doc-15.0-3.fc28.noarch.rpm (info) (download)
frama-c-emacs-15.0-3.fc28.noarch.rpm (info) (download)
frama-c-xemacs-15.0-3.fc28.noarch.rpm (info) (download)
ppc64
frama-c-15.0-3.fc28.ppc64.rpm (info) (download)
frama-c-debuginfo-15.0-3.fc28.ppc64.rpm (info) (download)
frama-c-debugsource-15.0-3.fc28.ppc64.rpm (info) (download)
ppc64le
frama-c-15.0-3.fc28.ppc64le.rpm (info) (download)
frama-c-debuginfo-15.0-3.fc28.ppc64le.rpm (info) (download)
frama-c-debugsource-15.0-3.fc28.ppc64le.rpm (info) (download)
s390x
frama-c-15.0-3.fc28.s390x.rpm (info) (download)
frama-c-debuginfo-15.0-3.fc28.s390x.rpm (info) (download)
frama-c-debugsource-15.0-3.fc28.s390x.rpm (info) (download)
x86_64
frama-c-15.0-3.fc28.x86_64.rpm (info) (download)
frama-c-debuginfo-15.0-3.fc28.x86_64.rpm (info) (download)
frama-c-debugsource-15.0-3.fc28.x86_64.rpm (info) (download)