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

55 commits

Author SHA1 Message Date
Jens Petersen
52f1ede6b8 https://github.com/agda/agda-stdlib/blob/v2.3/CHANGELOG.md 2025-08-11 17:35:31 +08: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
Jens Petersen
3d0775fd36 rebuild for Agda 2.6.4.3 2024-05-18 19:58:20 +08: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
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
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
Jens Petersen
f826a57692 put a github # source url 2017-03-19 23:41:17 +08:00
Jens Petersen
9c807f8c02 BR filemanip and more cleanup 2017-03-12 22:58:46 +09:00
Jens Petersen
df36dcd1df update to 0.13 2017-03-12 22:22:32 +09:00
Fedora Release Engineering
b85b9d0968 - Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild 2017-02-10 04:59:04 +00:00
Jens Petersen
949a1ec0ea update to 0.11 2016-10-24 17:40:17 +09:00
Jens Petersen
ed310a0ca7 drop %ghc_arches_with_ghci 2016-03-07 22:53:09 +09:00
Dennis Gilmore
efc162578c - Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild 2016-02-03 15:19:04 +00:00
Dennis Gilmore
cf73a92b37 - Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild 2015-06-16 22:41:06 +00:00
Jens Petersen
001ba0471e move ffi lib into main package 2015-04-17 15:40:44 +09:00
Jens Petersen
7bb5a0ef9e BR unix-compat for filemanip 2015-04-17 13:17:28 +09:00