Tue, 18 Feb 2025 18:25:15 UTC | login

Information for build breakid-3.1.2-2.fc40

ID305797
Package Namebreakid
Version3.1.2
Release2.fc40
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/breakid.git#4318e92f7d0a0ac3603660884fc254442ef45371
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.
Built bydavidlt
State complete
Volume DEFAULT
StartedMon, 15 Apr 2024 12:47:57 UTC
CompletedMon, 15 Apr 2024 14:47:32 UTC
Taskbuild (f40, /rpms/breakid.git:4318e92f7d0a0ac3603660884fc254442ef45371)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/breakid.git#4318e92f7d0a0ac3603660884fc254442ef45371'}}
Tags
f40
f41
RPMs
src
breakid-3.1.2-2.fc40.src.rpm (info) (download)
riscv64
breakid-3.1.2-2.fc40.riscv64.rpm (info) (download)
breakid-devel-3.1.2-2.fc40.riscv64.rpm (info) (download)
breakid-debuginfo-3.1.2-2.fc40.riscv64.rpm (info) (download)
breakid-debugsource-3.1.2-2.fc40.riscv64.rpm (info) (download)
Logs
riscv64
hw_info.log
state.log
build.log
root.log
mock_output.log
Changelog * Thu Mar 21 2024 Jerry James <loganjerry@gmail.com> 3.1.2-2 - Stop building for 32-bit x86 * Wed Jan 31 2024 Jerry James <loganjerry@gmail.com> 3.1.2-1 - Initial RPM