Thu, 02 May 2024 09:03:59 UTC | login

Information for build gap-pkg-ferret-1.0.3-2.fc33

ID184913
Package Namegap-pkg-ferret
Version1.0.3
Release2.fc33
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/gap-pkg-ferret.git#2182f8e9d48137ff17b3e383c941dfe022da847b
SummaryBacktracking search in permutation groups
DescriptionFerret is a reimplementation of parts of Jeffery Leon's Partition Backtrack framework in C++, with extensions including: - Ability to intersect many group simultaneously. - Improved refiners based on orbital graphs. This package currently supports: - Group intersection. - Stabilizing many structures including sets, sets of sets, graphs, sets of tuples and tuples of sets. This package can be used by users in two ways: - When the package is loaded many built-in GAP functions such as 'Intersection' and 'Stabilizer' are replaced with more optimized implementations. This requires no changes to existing code. - The function 'Solve' provides a unified interface to accessing all the functionality of the package directly.
Built bydavidlt
State complete
Volume DEFAULT
StartedFri, 27 Nov 2020 15:48:32 UTC
CompletedFri, 27 Nov 2020 17:57:54 UTC
Taskbuild (f33, /rpms/gap-pkg-ferret.git:2182f8e9d48137ff17b3e383c941dfe022da847b)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/gap-pkg-ferret.git#2182f8e9d48137ff17b3e383c941dfe022da847b'}}
Tags
f33
RPMs
src
gap-pkg-ferret-1.0.3-2.fc33.src.rpm (info) (download)
riscv64
gap-pkg-ferret-1.0.3-2.fc33.riscv64.rpm (info) (download)
gap-pkg-ferret-doc-1.0.3-2.fc33.riscv64.rpm (info) (download)
gap-pkg-ferret-debuginfo-1.0.3-2.fc33.riscv64.rpm (info) (download)
gap-pkg-ferret-debugsource-1.0.3-2.fc33.riscv64.rpm (info) (download)
Logs
riscv64
build.log
hw_info.log
mock_output.log
root.log
state.log
Changelog * Mon Jul 27 2020 Fedora Release Engineering <releng@fedoraproject.org> - 1.0.3-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild * Wed May 27 2020 Jerry James <loganjerry@gmail.com> - 1.0.3-1 - Version 1.0.3 - Replace GPLv2+ with MPLv2.0 in the License field * Thu Apr 30 2020 Jerry James <loganjerry@gmail.com> - 1.0.2-1 - Initial RPM