| ID | 6223 | |||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Package Name | breakid | |||||||||||||
| Links | Fedora Package Sources | Fedora Official Koji Buildsystem | Rocks RISC-V Koji Buildsystem | Fedora RISC-V GitHub | Old Koji Buildsystem | |||||||||||||
| Version | 3.1.2 | |||||||||||||
| Release | 2.fc41 | |||||||||||||
| Epoch | Draft | False | ||||||||||||
| Source | git+https://src.fedoraproject.org/rpms/breakid.git#4318e92f7d0a0ac3603660884fc254442ef45371 | |||||||||||||
| Summary | Symmetry detecting and breaking library | |||||||||||||
| Description | 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. | |||||||||||||
| Built by | kojiadmin | |||||||||||||
| State | complete | |||||||||||||
| Volume | DEFAULT | |||||||||||||
| Started | Wed, 01 May 2024 19:32:18 CST | |||||||||||||
| Completed | Wed, 01 May 2024 19:48:10 CST | |||||||||||||
| Task | build (f41, /rpms/breakid.git:4318e92f7d0a0ac3603660884fc254442ef45371) | |||||||||||||
| Extra | {'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/breakid.git#4318e92f7d0a0ac3603660884fc254442ef45371'}} | |||||||||||||
| Tags |
|
|||||||||||||
| RPMs |
|
|||||||||||||
| Logs |
|
|||||||||||||
| Changelog | * 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 |