rpms/Agda
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
159 commits 36 branches 0 tags 176 KiB
Commit graph

159 commits

This branch
This branch
All branches
Author SHA1 Message Date
Fedora Release Engineering
87281fb4a8 Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild 2026-01-16 02:27:23 +00:00
Fedora Release Engineering
4a50bc87bb Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild 2025-07-23 15:41:04 +00:00
Jens Petersen
d3a2f2a2fb https://hackage.haskell.org/package/Agda-2.8.0/changelog 
many new deps
 2025-07-22 22:11:37 +08:00
Jens Petersen
396e77c1f7 cabal-rpm-2.3.0 2025-03-30 20:43:47 +08:00
Jens Petersen
6bdbc99306 add revision 2025-03-30 20:43:47 +08:00
Jens Petersen
1b9700d516 update to 2.7.0.1; add pqueue; re-disable optimise-heavily and enable-cluster-counting 
in case it triggers module recompilation
 2025-03-30 20:43:47 +08:00
Fedora Release Engineering
d6d8fa2900 Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild 2025-01-20 07:19:53 +00:00
Fedora Release Engineering
b9f8a1efa3 Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild 2025-01-16 08:23:35 +00:00
Pete Walter
feccefbb57 Rebuild for ICU 76 2024-12-09 15:48:52 +00:00
Jens Petersen
59158d61c7 description: do not downcase "It" after colon 
https://github.com/agda/agda/issues/7384
 2024-07-21 18:48:15 +08:00
Jens Petersen
fbbd3d02da update vector-hashtables to 0.1.2.0 2024-07-21 14:59:31 +08:00
Fedora Release Engineering
f36c6423e5 Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild 2024-07-17 14:42:52 +00:00
Jens Petersen
1a9af345c2 refresh to cabal-rpm-2.2.1 2024-07-14 23:44:28 +08:00
Jens Petersen
1a1cd5d1e6 add bcond for Unicode cluster counting 2024-05-18 20:19:24 +08:00
Jens Petersen
5031cf6fd6 update to 2.6.4.3 2024-05-18 20:19:24 +08:00
Jens Petersen
90aee6980b update vector-hashtables to 0.1.1.4 2024-02-20 23:39:40 +08:00
Jens Petersen
be456d7df5 enable-cluster-counting with text-icu 2024-02-20 23:38:34 +08:00
Fedora Release Engineering
7f51bce47f Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild 2024-01-22 20:43:16 +00:00
Fedora Release Engineering
abfe655f51 Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild 2024-01-19 09:11:32 +00:00
Fedora Release Engineering
ec32a41fe6 Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild 2024-01-18 12:06:16 +00:00
Jens Petersen
96753cfc99 update to 2.6.4.1 2023-12-07 17:23:05 +05:30
Jens Petersen
6c97ffba9c enable optimise-heavily for f40+ 
recommended by upstream

(enable-cluster-counting requires text-icu so I skipped it for now)
 2023-12-07 13:28:45 +05:30
Jens Petersen
077d4357e7 FTBFS on i686 (#2244516) 2023-10-17 01:14:29 +08:00
Jens Petersen
1a0b9834e3 update to 2.6.4 2023-10-09 22:20:42 +08:00
Jens Petersen
f086758742 fix SPDX AND 2023-10-09 21:20:40 +08:00
Jens Petersen
6100f35886 update to 2.6.3 2023-07-29 23:13:00 +08:00
Fedora Release Engineering
123e0ac5ea Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2023-07-19 10:57:11 +00:00
Jens Petersen
e298cd0fb9 drop geniplate-mirror: not needed since 2.6.2 2023-07-19 15:20:34 +08:00
Jens Petersen
9185a5a148 re-enable i686 
builds okay with ghc-9.2
 2023-05-29 23:30:36 +08:00
Jens Petersen
659376cb02 bump release 2023-02-18 00:53:34 +08:00
Jens Petersen
cd72da1b95 SPDX migration 2023-01-29 22:44:58 +08:00
Jens Petersen
938a3e810b bump geniplate-mirror to 0.7.9 2023-01-29 22:44:09 +08:00
Jens Petersen
ccdfcab907 refresh to cabal-rpm-2.1.0 2023-01-21 16:44:24 +08:00
Fedora Release Engineering
6a1a838a85 Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2022-07-20 18:26:00 +00:00
Jens Petersen
5383d0287c add Provides agda 2022-06-20 13:57:27 +08:00
Jens Petersen
31a616d83e disable i686 (#2098425) 2022-06-19 14:58:13 +08:00
Jens Petersen
f6f1c37003 2.6.2.2 2022-06-07 16:05:14 +08:00
Jens Petersen
f21a1029c6 update to 2.6.2.1 2022-03-07 13:13:30 +08:00
Fedora Release Engineering
24e46c692e - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2022-01-19 19:12:40 +00:00
Miro Hrončok
ff1d99479b Rebuilt for https://fedoraproject.org/wiki/Changes/LIBFFI34 2022-01-08 11:06:18 +01:00
Jens Petersen
af39028c46 disable armv7hl: out of memory (#73471404) 2021-08-09 02:11:36 +08:00
Jens Petersen
5d5c715600 update to 2.6.2 2021-08-08 05:55:53 +08:00
Jens Petersen
7625567586 add reference to #991929 to armv7 -O0 condition 2021-08-05 00:42:11 +08:00
Jens Petersen
3e99f24800 cabal-rpm-2.0.9 2021-08-05 00:42:11 +08:00
Jens Petersen
99d2241eeb update to 2.6.1.3 2021-08-05 00:42:06 +08:00
Jens Petersen
14d6c0b37e move libs and data files to common subpackage again 2021-08-04 22:29:35 +08:00
Jens Petersen
63734cebf1 update geniplate-mirror to 0.7.7 2021-08-04 22:29:35 +08:00
Fedora Release Engineering
33b2b4d0b9 - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2021-07-21 15:38:18 +00:00
Fedora Release Engineering
300a13f672 - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2021-07-21 10:43:54 +00:00
Fedora Release Engineering
1786c87680 - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2021-01-25 22:15:28 +00:00