Commit graph

Select branches

Hide pull requests

f27

f28

f29

f30

f31

f32

f33

f34

f35

f36

f37

f38

f39

f40

f41

f42

f43

f44

f45

main

rawhide

#1

#2

Mono Color

• a796b41161 Rebuilt for https://fedoraproject.org/wiki/Fedora_45_Mass_Rebuild rawhide main f45 Fedora Release Engineering 2026-07-17 09:34:40 +00:00
• 577205dc10 Reduce the number of TeXLive packages used to build Jerry James 2026-07-14 19:34:02 -06:00
• 307ef2eee4 BR tex(epstopdf.sty) f44 Jerry James 2026-04-30 14:21:41 -06:00
• a3e2b39805 Rebuild for cryptominisat 5.14.4 Jerry James 2026-04-30 12:18:22 -06:00
• 2ecfd8c6fb Adapt to changes in TeXLive packaging Jerry James 2026-02-20 08:27:32 -07:00
• 56690d5639 Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild Fedora Release Engineering 2026-01-17 21:02:14 +00:00
• 341a656de7 Be more precise about globbing in %files Jerry James 2026-01-14 08:53:19 -07:00
• a9b6193c7c Rebuild for cadical 2.2.0 Jerry James 2025-12-05 11:54:10 -07:00
• 548580a5a3 Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild f43 Fedora Release Engineering 2025-07-25 21:12:24 +00:00
• 570a70c508 Version 2.7.0 f42 Jerry James 2025-07-18 14:04:04 -06:00
• ce84bc5120 Rebuild for cryptominisat 5.13.0 Jerry James 2025-05-01 09:46:30 -06:00
• 605ad4cf44 Rebuild for cryptominisat 5.12.1 Jerry James 2025-02-11 10:51:35 -07:00
• 0f9eefa2ce Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild Fedora Release Engineering 2025-01-19 16:34:09 +00:00
• 7fe83ff4ac Move configuration steps to %conf Jerry James 2025-01-15 15:11:42 -07:00
• d056a9c7a9 Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild f41 Fedora Release Engineering 2024-07-20 10:42:09 +00:00
• ad5910f6a8 Rebuild for cryptominisat 5.11.22 Jerry James 2024-07-16 15:48:35 -06:00
• 35a66d79e8 Use $SOURCE_DATE_EPOCH instead of the current date Zbigniew Jędrzejewski-Szmek 2024-07-02 13:00:50 +02:00
• e18eae7dcc Version 2.6.5 f40 Jerry James 2024-06-25 10:12:36 -06:00
• ef0cd4c3cb Convert to %autorelease and %autochangelog Jerry James 2024-06-25 08:24:48 -06:00
• be95aaac33 Fix the SPDX expression Jerry James 2024-02-20 14:03:45 -07:00
• f62cc67a58 Rebuild for cryptominisat 5.11.21 Jerry James 2024-02-09 09:55:46 -07:00
• bfa527cd5e Rebuild for cryptominisat 5.11.15 Jerry James 2024-01-31 16:46:55 -07:00
• 92f8e5c385 Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild Fedora Release Engineering 2024-01-27 10:47:14 +00:00
• efe215c436 Stop building for 32-bit x86 Jerry James 2024-01-10 08:40:22 -07:00
• 9f72170586 Rebuild for cadical 1.9.4 f39 Jerry James 2024-01-10 08:39:58 -07:00
• 54c1b94569 Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild Fedora Release Engineering 2023-07-22 19:30:57 +00:00
• a4fab3edb0 Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild f38 Fedora Release Engineering 2023-01-21 08:05:33 +00:00
• 0dc286da4b Clarify license of the doc subpackage. Jerry James 2022-12-14 16:09:04 -07:00
• 89f048de68 Regenerate the cudd configure script to fix FTBFS. Jerry James 2022-11-28 09:19:48 -07:00
• 346da4370c Get rid of an imlicit int function declaration in a configure check Timm Bäder 2022-11-28 12:38:10 +01:00
• 953e1f3804 Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild f37 Fedora Release Engineering 2022-07-23 13:45:07 +00:00
• 685d81a79a - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild f36 Fedora Release Engineering 2022-01-22 05:42:06 +00:00
• 4669f5bbe6 Build with kissat support. Jerry James 2022-01-11 15:09:20 -07:00
• a218fc2b3c Version 2.6.4. f35 Jerry James 2021-10-25 08:01:38 -06:00
• 122b53cda3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild Fedora Release Engineering 2021-07-23 22:08:36 +00:00
• 92391e3a22 - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild f34 Fedora Release Engineering 2021-01-28 00:33:29 +00:00
• acd9bd9b4e Rebuild for cryptominisat 5.8.0. f33 Jerry James 2020-11-27 09:04:04 -07:00
• fbeb3f6a56 Explicitly BR make. Jerry James 2020-11-09 21:37:05 -07:00
• ab926fb05c Rebuild for cadical 1.3.0. Jerry James 2020-08-03 18:36:19 -06:00
• b2c63e99b0 - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild Fedora Release Engineering 2020-07-29 15:14:34 +00:00
• 2323fdc98b Rebuild for cryptominisat 5.7.0. Switch to upstream's solution for sphinx 3 support. f32 Jerry James 2020-04-25 17:34:16 -06:00
• 71932b74a4 Use native sphinx 3 support for enum instead of cenum extension (bz 1823515). Jerry James 2020-04-16 11:40:11 -06:00
• 26ecb5e37f Disable tests on 32-bit platforms due to failures from overflowing integers. Jerry James 2020-03-26 15:26:59 -06:00
• c31ab501bc Version 2.6.2. Jerry James 2020-03-26 11:48:16 -06:00
• e5af1f967c - Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild Fedora Release Engineering 2020-01-31 05:07:48 +00:00
• 003f0f4a84 Fix shared library entry in %files. Jerry James 2020-01-23 10:09:01 -07:00
• 999fdcbd0d Add -missing-typedef patch to fix FTBFS with gcc 10. Set -doc subpackage to noarch. Jerry James 2020-01-23 10:01:59 -07:00
• dc5aeb964d Add -fwrapv to build flags; thanks to Jeff Law for the diagnosis. Jerry James 2019-11-22 11:52:13 -07:00
• 215bda4ece - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild f31 Fedora Release Engineering 2019-07-27 04:49:35 +00:00
• 706f3de7c1 - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild f30 Fedora Release Engineering 2019-02-03 12:59:18 +00:00
• a3d8539242 New upstream version. f29 Jerry James 2018-10-30 20:14:02 -06:00
• 0e0f7c62d5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild Fedora Release Engineering 2018-07-14 09:42:46 +00:00
• ef8ac9e1c9 New upstream version. Jerry James 2018-07-04 21:23:57 -06:00
• 209e3a0a7c Use %ldconfig_scriptlets. Jerry James 2018-05-30 21:49:23 -06:00
• f08e463574 - Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild f28 Fedora Release Engineering 2018-02-09 22:17:25 +00:00
• 1334cb5643 Initial import. f27 Jerry James 2018-01-03 17:57:27 -07:00
• fedf31b050 Added the README Gwyn Ciesla 2018-01-03 12:31:10 +00:00