| Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
| Name: breakid | Distribution: Fedora Project |
| Version: 3.1.3 | Vendor: Fedora Project |
| Release: 7.fc45 | Build date: Thu Jul 16 03:09:51 2026 |
| Group: Unspecified | Build host: buildvm-s390x-09.s390.fedoraproject.org |
| Size: 285552 | Source RPM: breakid-3.1.3-7.fc45.src.rpm |
| Packager: Fedora Project | |
| Url: https://github.com/meelgroup/breakid | |
| Summary: Symmetry detecting and breaking library | |
BreakID 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.
MIT
* Wed Jul 15 2026 Fedora Release Engineering <releng@fedoraproject.org> - 3.1.3-7 - Rebuilt for https://fedoraproject.org/wiki/Fedora_45_Mass_Rebuild * Mon Jul 13 2026 Jerry James <loganjerry@gmail.com> - 3.1.3-6 - Use the cmake declarative buildsystem * Fri Jan 16 2026 Fedora Release Engineering <releng@fedoraproject.org> - 3.1.3-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild * Fri Jan 16 2026 Fedora Release Engineering <releng@fedoraproject.org> - 3.1.3-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild * Sat Jan 10 2026 Jerry James <loganjerry@gmail.com> - 3.1.3-3 - Reflow the description text - More precise globbing in %files * Wed Jul 23 2025 Fedora Release Engineering <releng@fedoraproject.org> - 3.1.3-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild * Thu May 01 2025 Jerry James <loganjerry@gmail.com> - 3.1.3-1 - Version 3.1.3 * Wed Apr 16 2025 Jerry James <loganjerry@gmail.com> - 3.1.2-7 - Invoke cmake with LIB_SUFFIX defined * Thu Jan 16 2025 Fedora Release Engineering <releng@fedoraproject.org> - 3.1.2-6 - Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild * Mon Jan 13 2025 Jerry James <loganjerry@gmail.com> - 3.1.2-5 - Move configuration steps to %conf * 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
/usr/bin/breakid /usr/lib/.build-id /usr/lib/.build-id/56 /usr/lib/.build-id/56/c00e82a2cd88673f6a335b3aa6565e9baa83b4 /usr/lib/.build-id/78 /usr/lib/.build-id/78/4212c46e84eddccc7f52b7ac7cb48d6bc4e4d8 /usr/lib64/libbreakid.so.3.1 /usr/share/doc/breakid /usr/share/doc/breakid/README.md /usr/share/licenses/breakid /usr/share/licenses/breakid/LICENSE /usr/share/man/man1/breakid.1.gz
Generated by rpm2html 1.8.1
Fabrice Bellet, Mon Jul 27 01:22:52 2026