Mon, 20 Jan 2025 22:52:48 UTC | login

Information for build breakid-3.1.2-1.fc40

ID288440
Package Namebreakid
Version3.1.2
Release1.fc40
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/breakid.git#b9ca598c067f7e6ebae4d038ac6347a839f52084
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
StartedFri, 23 Feb 2024 13:25:47 UTC
CompletedFri, 23 Feb 2024 13:36:47 UTC
Taskbuild (f40, /rpms/breakid.git:b9ca598c067f7e6ebae4d038ac6347a839f52084)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/breakid.git#b9ca598c067f7e6ebae4d038ac6347a839f52084'}}
Tags
f40
RPMs
src
breakid-3.1.2-1.fc40.src.rpm (info) (download)
riscv64
breakid-3.1.2-1.fc40.riscv64.rpm (info) (download)
breakid-devel-3.1.2-1.fc40.riscv64.rpm (info) (download)
breakid-debuginfo-3.1.2-1.fc40.riscv64.rpm (info) (download)
breakid-debugsource-3.1.2-1.fc40.riscv64.rpm (info) (download)
Logs
riscv64
hw_info.log
state.log
build.log
root.log
mock_output.log
Changelog * Wed Jan 31 2024 Jerry James <loganjerry@gmail.com> 3.1.2-1 - Initial RPM