rpms/Agda-stdlib
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
66 commits 29 branches 0 tags 73 KiB
Commit graph

66 commits

This branch
This branch
All branches
Author SHA1 Message Date
Fedora Release Engineering
fef6782f21 Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild 2026-01-16 02:27:29 +00:00
Jens Petersen
52f1ede6b8 https://github.com/agda/agda-stdlib/blob/v2.3/CHANGELOG.md 2025-08-11 17:35:31 +08:00
Fedora Release Engineering
c3c8c6b485 Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild 2025-07-23 15:41:09 +00:00
Jens Petersen
f703605e37 update to 2.1.1 with Agda-2.7.0.1 
fixup README building html/check:
https://github.com/agda/agda-stdlib/issues/2697
 2025-04-14 20:34:48 +08:00
Fedora Release Engineering
45f49e4ca8 Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild 2025-01-20 07:20:04 +00:00
Fedora Release Engineering
014497740b Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild 2025-01-16 08:23:46 +00:00
Fedora Release Engineering
6a21abb434 Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild 2024-07-17 14:43:02 +00:00
Jens Petersen
3d0775fd36 rebuild for Agda 2.6.4.3 2024-05-18 19:58:20 +08:00
Fedora Release Engineering
98c46c32fa Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild 2024-01-22 20:43:26 +00:00
Fedora Release Engineering
d449a9368b Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild 2024-01-19 09:12:06 +00:00
Fedora Release Engineering
347cc35a1c Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild 2024-01-18 12:06:27 +00:00
Jens Petersen
2ec8468250 bump for Agda-2.6.4.1 2023-12-07 19:32:07 +05:30
Jens Petersen
134609802c update to 1.7.3 for Agda 2.6.4 
https://github.com/agda/agda-stdlib/blob/v1.7.3/CHANGELOG.md

Agda no longer build on i686
 2023-10-17 00:39:00 +08:00
Jens Petersen
ed3cf90519 https://github.com/agda/agda-stdlib/blob/v1.7.2/CHANGELOG.md 2023-07-28 12:03:20 +08:00
Fedora Release Engineering
e390a0e2dc Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2023-07-19 10:57:21 +00:00
Jens Petersen
632744e5af Convert to %autorelease and %autochangelog 
[skip changelog]
 2023-07-18 18:32:00 +08:00
Jens Petersen
a5c1346b3b re-enable i686 in line with Agda 2023-07-18 18:31:38 +08:00
Jens Petersen
8234f3137c also exclude i686 2023-02-21 12:13:10 +08:00
Jens Petersen
cda1b1b27c rebuild 2023-02-20 22:09:45 +08:00
Fedora Release Engineering
d1ddb2adf8 Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2023-01-18 19:37:21 +00:00
Fedora Release Engineering
61962e06bf Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2022-07-20 18:26:09 +00:00
Jens Petersen
a68f6b74d1 rebuild against Agda-2.6.2.2 2022-06-21 09:49:47 +08:00
Jens Petersen
0edd850746 update to 1.7.1 2022-03-09 22:35:57 +08:00
Fedora Release Engineering
f283aec79a - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2022-01-19 19:12:50 +00:00
Jens Petersen
0efab68751 exclude armv7hl 2021-08-09 20:04:06 +08:00
Jens Petersen
95393059a9 update to 1.7 2021-08-09 20:04:03 +08:00
Fedora Release Engineering
384fc9e25e - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2021-07-21 15:38:27 +00:00
Fedora Release Engineering
580b242b2f - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2021-07-21 10:44:02 +00:00
Fedora Release Engineering
f0832c6a1c - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2021-01-25 22:15:36 +00:00
Jens Petersen
c7c6fe2383 include _build/ for .agdai files; move Everything/README to docs 2020-08-24 19:56:51 +08:00
Fedora Release Engineering
6eb668f239 - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2020-07-27 10:12:40 +00:00
Jens Petersen
cad8a31f37 make package noarch since Agda now builds on armv7hl 2020-07-20 13:27:44 +08:00
Jens Petersen
538d3cabe0 update to 1.3 2020-07-19 23:30:46 +08:00
Jens Petersen
474862f3fe requires Agda instead of ghc-Agda now 2020-05-27 01:25:35 +08:00
Jens Petersen
60694d6f97 update to 1.2 release 2020-05-27 01:24:43 +08:00
Fedora Release Engineering
011ee61369 - Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2020-01-28 09:10:55 +00:00
Jens Petersen
ed74755a2e add upstream issue link 2019-08-20 22:26:46 +02:00
Jens Petersen
8fd75963da use AGDA_DIR instead of HOME to ignore ~/.agda/ defaults 2019-08-20 22:22:49 +02:00
Jens Petersen
da1e6e0f1c update to 1.1 2019-08-17 12:11:06 +02:00
Fedora Release Engineering
55c0e83328 - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2019-07-24 15:39:40 +00:00
Jens Petersen
dc5818e4df update to 0.17 2019-02-25 10:52:33 +08:00
Fedora Release Engineering
053b2eb0d1 - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2019-01-31 11:22:22 +00:00
Igor Gnatenko
034284fc35 Remove obsolete Group tag 
Signed-off-by: Igor Gnatenko <ignatenkobrain@fedoraproject.org>
 2019-01-28 20:17:38 +01:00
Jens Petersen
6fa5d455ee require ghc-Agda and keep README*.agdai 2018-08-29 01:39:53 +09:00
Jens Petersen
262553a3a6 install library files correctly under src/ 2018-08-22 23:07:57 +02:00
Fedora Release Engineering
6b177a1c91 - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2018-07-12 18:54:37 +00:00
Jens Petersen
ea1ad25e63 update to 0.15 2018-07-01 17:45:39 +09:00
Fedora Release Engineering
4c8ea3035a - Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2018-02-07 00:24:32 +00:00
Fedora Release Engineering
a91c8b4fc8 - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild 2017-08-02 16:46:47 +00:00
Fedora Release Engineering
100b259245 - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild 2017-07-26 01:38:52 +00:00