Commit graph

Select branches

Hide pull requests

el6

epel9

f19

f20

f21

f22

f23

f24

f25

f26

f27

f28

f29

f30

f31

f32

f33

f34

f35

f36

f37

f38

f39

f40

f41

f42

f43

main

rawhide

Mono Color

• fef6782f21 Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild rawhide main Fedora Release Engineering 2026-01-16 02:27:29 +00:00
• 52f1ede6b8 https://github.com/agda/agda-stdlib/blob/v2.3/CHANGELOG.md f43 Jens Petersen 2025-08-11 17:35:31 +08:00
• c3c8c6b485 Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild Fedora Release Engineering 2025-07-23 15:41:09 +00:00
• f703605e37 update to 2.1.1 with Agda-2.7.0.1 Jens Petersen 2025-04-14 20:09:22 +08:00
• 45f49e4ca8 Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild f42 Fedora Release Engineering 2025-01-20 07:20:04 +00:00
• 014497740b Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild Fedora Release Engineering 2025-01-16 08:23:46 +00:00
• 6a21abb434 Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild f41 Fedora Release Engineering 2024-07-17 14:43:02 +00:00
• 3d0775fd36 rebuild for Agda 2.6.4.3 Jens Petersen 2024-05-18 19:58:20 +08:00
• 98c46c32fa Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild f40 Fedora Release Engineering 2024-01-22 20:43:26 +00:00
• d449a9368b Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild Fedora Release Engineering 2024-01-19 09:12:06 +00:00
• 347cc35a1c Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild Fedora Release Engineering 2024-01-18 12:06:27 +00:00
• 2ec8468250 bump for Agda-2.6.4.1 Jens Petersen 2023-12-07 19:32:07 +05:30
• 134609802c update to 1.7.3 for Agda 2.6.4 Jens Petersen 2023-10-09 22:41:23 +08:00
• ed3cf90519 https://github.com/agda/agda-stdlib/blob/v1.7.2/CHANGELOG.md f39 Jens Petersen 2023-07-28 12:03:20 +08:00
• e390a0e2dc Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild Fedora Release Engineering 2023-07-19 10:57:21 +00:00
• 632744e5af Convert to %autorelease and %autochangelog Jens Petersen 2023-07-18 18:32:00 +08:00
• a5c1346b3b re-enable i686 in line with Agda Jens Petersen 2023-07-18 18:31:38 +08:00
• 8234f3137c also exclude i686 f38 Jens Petersen 2023-02-21 12:13:10 +08:00
• cda1b1b27c rebuild Jens Petersen 2023-02-20 22:09:45 +08:00
• d1ddb2adf8 Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild Fedora Release Engineering 2023-01-18 19:37:21 +00:00
• 61962e06bf Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild f37 Fedora Release Engineering 2022-07-20 18:26:09 +00:00
• a68f6b74d1 rebuild against Agda-2.6.2.2 epel9 Jens Petersen 2022-06-21 09:49:47 +08:00
• 0edd850746 update to 1.7.1 f36 Jens Petersen 2022-03-09 22:35:57 +08:00
• f283aec79a - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild Fedora Release Engineering 2022-01-19 19:12:50 +00:00
• 0efab68751 exclude armv7hl f35 Jens Petersen 2021-08-09 20:02:39 +08:00
• 95393059a9 update to 1.7 Jens Petersen 2021-08-09 20:04:03 +08:00
• 384fc9e25e - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild Fedora Release Engineering 2021-07-21 15:38:27 +00:00
• 580b242b2f - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild Fedora Release Engineering 2021-07-21 10:44:02 +00:00
• f0832c6a1c - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild f34 Fedora Release Engineering 2021-01-25 22:15:36 +00:00
• c7c6fe2383 include _build/ for .agdai files; move Everything/README to docs f33 Jens Petersen 2020-08-24 19:23:45 +08:00
• 6eb668f239 - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild Fedora Release Engineering 2020-07-27 10:12:40 +00:00
• cad8a31f37 make package noarch since Agda now builds on armv7hl Jens Petersen 2020-07-20 13:27:44 +08:00
• 538d3cabe0 update to 1.3 Jens Petersen 2020-07-19 23:30:46 +08:00
• 92e4cb1122 requires Agda instead of ghc-Agda now f32 Jens Petersen 2020-06-22 17:19:24 +08:00
• 474862f3fe requires Agda instead of ghc-Agda now Jens Petersen 2020-05-27 01:22:35 +08:00
• 60694d6f97 update to 1.2 release Jens Petersen 2020-05-27 01:24:43 +08:00
• 011ee61369 - Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild Fedora Release Engineering 2020-01-28 09:10:55 +00:00
• ed74755a2e add upstream issue link f31 Jens Petersen 2019-08-20 22:26:46 +02:00
• 8fd75963da use AGDA_DIR instead of HOME to ignore ~/.agda/ defaults Jens Petersen 2019-08-20 22:22:49 +02:00
• da1e6e0f1c update to 1.1 Jens Petersen 2019-08-17 12:11:06 +02:00
• 55c0e83328 - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild Fedora Release Engineering 2019-07-24 15:39:40 +00:00
• dc5818e4df update to 0.17 f30 Jens Petersen 2019-02-25 10:52:33 +08:00
• 053b2eb0d1 - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild Fedora Release Engineering 2019-01-31 11:22:22 +00:00
• 034284fc35 Remove obsolete Group tag Igor Gnatenko 2019-01-28 20:17:38 +01:00
• 6fa5d455ee require ghc-Agda and keep README*.agdai f29 f28 Jens Petersen 2018-08-29 01:39:53 +09:00
• 262553a3a6 install library files correctly under src/ Jens Petersen 2018-08-22 23:07:57 +02:00
• 6b177a1c91 - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild Fedora Release Engineering 2018-07-12 18:54:37 +00:00
• ea1ad25e63 update to 0.15 Jens Petersen 2018-07-01 17:45:39 +09:00
• 4c8ea3035a - Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild Fedora Release Engineering 2018-02-07 00:24:32 +00:00
• a91c8b4fc8 - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild f27 Fedora Release Engineering 2017-08-02 16:46:47 +00:00
• 100b259245 - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild Fedora Release Engineering 2017-07-26 01:38:52 +00:00
• f826a57692 put a github # source url Jens Petersen 2017-03-19 23:41:17 +08:00
• 9c807f8c02 BR filemanip and more cleanup f26 Jens Petersen 2017-03-12 22:58:46 +09:00
• df36dcd1df update to 0.13 Jens Petersen 2017-03-12 22:22:32 +09:00
• b85b9d0968 - Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild Fedora Release Engineering 2017-02-10 04:59:04 +00:00
• 949a1ec0ea update to 0.11 Jens Petersen 2016-10-24 17:40:17 +09:00
• ed310a0ca7 drop %ghc_arches_with_ghci f25 Jens Petersen 2016-03-07 22:53:09 +09:00
• efc162578c - Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild f24 Dennis Gilmore 2016-02-03 15:19:04 +00:00
• cf73a92b37 - Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild f23 Dennis Gilmore 2015-06-16 22:41:06 +00:00
• 001ba0471e move ffi lib into main package f22 Jens Petersen 2015-04-17 15:38:45 +09:00
• 7bb5a0ef9e BR unix-compat for filemanip Jens Petersen 2015-04-17 13:17:28 +09:00
• 12fcba20ad update to 0.9 Jens Petersen 2015-04-17 11:43:00 +09:00
• f191f9a56c - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild f21 Peter Robinson 2014-08-15 18:10:34 +00:00
• 1fdd505653 - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild Dennis Gilmore 2014-06-06 17:21:59 -05:00
• 357e012495 no ghc-rpm-macros-extra on F19 f20 f19 Jens Petersen 2014-02-12 15:07:48 +09:00
• 3a702b0086 import (#839260) Jens Petersen 2014-02-12 15:07:06 +09:00
• dfb65bb6a0 Initial setup of the repo el6 Fedora Release Engineering 2014-02-10 13:19:37 +00:00