Wed, 21 Oct 2026 08:29:53 UTC | login

RPMs built in buildroot f45-build-39358-733

RPMs 1 through 8 of 8
NVR ascending sort
yices-2.7.0-10.fc45.src
yices-2.7.0-10.fc45.riscv64
yices-debuginfo-2.7.0-10.fc45.riscv64
yices-debugsource-2.7.0-10.fc45.riscv64
yices-devel-2.7.0-10.fc45.riscv64
yices-doc-2.7.0-10.fc45.noarch
yices-tools-2.7.0-10.fc45.riscv64
yices-tools-debuginfo-2.7.0-10.fc45.riscv64
RPMs 1 through 8 of 8