fedora
Click here to visit the old openkoji buildsystem (Archived)

Information for build breakid-3.1.2-4.fc41

ID67498
Package Namebreakid
Links Fedora Package Sources | Fedora Official Koji Buildsystem | Rocks RISC-V Koji Buildsystem | Fedora RISC-V GitHub | Old Koji Buildsystem
Version3.1.2
Release4.fc41
Epoch
DraftFalse
Sourcegit+https://src.fedoraproject.org/rpms/breakid.git#6e472599c6a0d65d4b16620651f0c62337b281f3
SummarySymmetry detecting and breaking library
DescriptionBreakID is a symmetry detecting and breaking library for SAT solvers. It is based on Jo Devriendt's BreakID code. It has been re-licensed by the original author to be MIT. All modifications by Mate Soos.
git:https://github.com/meelgroup/breakid.git
Built bykojiadmin
State complete
Volume DEFAULT
StartedThu, 05 Sep 2024 20:19:23 CST
CompletedThu, 05 Sep 2024 20:54:46 CST
Taskbuild (f41-build-side-1, /rpms/breakid.git:6e472599c6a0d65d4b16620651f0c62337b281f3)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/breakid.git#6e472599c6a0d65d4b16620651f0c62337b281f3'}}
Tags
f41
f41-build-side-1
RPMs
src
breakid-3.1.2-4.fc41.src.rpm (info) (download)
riscv64
breakid-3.1.2-4.fc41.riscv64.rpm (info) (download)
breakid-devel-3.1.2-4.fc41.riscv64.rpm (info) (download)
breakid-debuginfo-3.1.2-4.fc41.riscv64.rpm (info) (download)
breakid-debugsource-3.1.2-4.fc41.riscv64.rpm (info) (download)
Logs
riscv64
build.log
installed_pkgs.log
hw_info.log
state.log
root.log
mock_output.log
Changelog * Wed Jul 17 2024 Fedora Release Engineering <releng@fedoraproject.org> - 3.1.2-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild * Tue Jul 16 2024 Jerry James <loganjerry@gmail.com> - 3.1.2-3 - Minor spec file simplifications * Thu Mar 21 2024 Jerry James <loganjerry@gmail.com> - 3.1.2-2 - Stop building for 32-bit x86 - Improve man page description * Wed Jan 31 2024 Jerry James <loganjerry@gmail.com> - 3.1.2-1 - Initial RPM