Mon, 20 Sep 2021 11:37:58 UTC

Information for build minisat2-2.0-7.20070721.fc10

ID59609
Package Nameminisat2
Version2.0
Release7.20070721.fc10
Epoch
Built bydwheeler
State complete
Volume fedora_koji_archive00
StartedThu, 14 Aug 2008 04:34:27 UTC
CompletedThu, 14 Aug 2008 04:44:18 UTC
Taskbuild (dist-f10, /cvs/pkgs:rpms/minisat2/devel:minisat2-2_0-7_20070721_fc10)
Tags
dist-f10
f10-beta
f10-final
f11-alpha
f11-alpha-2
RPMs
src
minisat2-2.0-7.20070721.fc10.src.rpm (info) (download)
i386
minisat2-2.0-7.20070721.fc10.i386.rpm (info) (download)
minisat2-debuginfo-2.0-7.20070721.fc10.i386.rpm (info) (download)
ppc
minisat2-2.0-7.20070721.fc10.ppc.rpm (info) (download)
minisat2-debuginfo-2.0-7.20070721.fc10.ppc.rpm (info) (download)
ppc64
minisat2-2.0-7.20070721.fc10.ppc64.rpm (info) (download)
minisat2-debuginfo-2.0-7.20070721.fc10.ppc64.rpm (info) (download)
x86_64
minisat2-2.0-7.20070721.fc10.x86_64.rpm (info) (download)
minisat2-debuginfo-2.0-7.20070721.fc10.x86_64.rpm (info) (download)