Commit graph

rpms/Agda

Fork 0

87281fb4a8 Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild rawhide main Fedora Release Engineering 2026-01-16 02:27:23 +00:00
4a50bc87bb Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild f43 Fedora Release Engineering 2025-07-23 15:41:04 +00:00
d3a2f2a2fb https://hackage.haskell.org/package/Agda-2.8.0/changelog Jens Petersen 2025-07-22 22:11:37 +08:00
396e77c1f7 cabal-rpm-2.3.0 Jens Petersen 2025-02-23 20:39:55 +08:00
6bdbc99306 add revision Jens Petersen 2025-02-01 16:23:48 +08:00
1b9700d516 update to 2.7.0.1; add pqueue; re-disable optimise-heavily and enable-cluster-counting Jens Petersen 2025-01-31 12:24:33 +08:00
d6d8fa2900 Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild f42 Fedora Release Engineering 2025-01-20 07:19:53 +00:00
b9f8a1efa3 Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild Fedora Release Engineering 2025-01-16 08:23:35 +00:00
feccefbb57 Rebuild for ICU 76 Pete Walter 2024-12-09 15:48:52 +00:00
59158d61c7 description: do not downcase "It" after colon f41 epel10.1 epel10.0 epel10 Jens Petersen 2024-07-21 18:48:15 +08:00
fbbd3d02da update vector-hashtables to 0.1.2.0 Jens Petersen 2024-07-21 14:32:20 +08:00
f36c6423e5 Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild Fedora Release Engineering 2024-07-17 14:42:52 +00:00
1a9af345c2 refresh to cabal-rpm-2.2.1 Jens Petersen 2024-07-14 23:44:28 +08:00
1a1cd5d1e6 add bcond for Unicode cluster counting Jens Petersen 2024-05-18 20:07:26 +08:00
5031cf6fd6 update to 2.6.4.3 Jens Petersen 2024-03-07 23:27:12 +08:00
90aee6980b update vector-hashtables to 0.1.1.4 Jens Petersen 2024-02-20 23:39:40 +08:00
be456d7df5 enable-cluster-counting with text-icu Jens Petersen 2024-02-20 19:52:14 +08:00
7f51bce47f Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild f40 Fedora Release Engineering 2024-01-22 20:43:16 +00:00
abfe655f51 Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild Fedora Release Engineering 2024-01-19 09:11:32 +00:00
ec32a41fe6 Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild Fedora Release Engineering 2024-01-18 12:06:16 +00:00
96753cfc99 update to 2.6.4.1 Jens Petersen 2023-12-07 14:37:55 +05:30
6c97ffba9c enable optimise-heavily for f40+ Jens Petersen 2023-10-17 14:27:46 +08:00
077d4357e7 FTBFS on i686 (#2244516) Jens Petersen 2023-10-17 01:14:29 +08:00
1a0b9834e3 update to 2.6.4 Jens Petersen 2023-10-09 22:17:11 +08:00
f086758742 fix SPDX AND Jens Petersen 2023-10-09 21:20:40 +08:00
6100f35886 update to 2.6.3 f39 Jens Petersen 2023-07-29 23:12:06 +08:00
123e0ac5ea Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild Fedora Release Engineering 2023-07-19 10:57:11 +00:00
e298cd0fb9 drop geniplate-mirror: not needed since 2.6.2 Jens Petersen 2023-07-19 15:20:34 +08:00
9185a5a148 re-enable i686 Jens Petersen 2023-05-29 23:30:36 +08:00
659376cb02 bump release f38 Jens Petersen 2023-02-18 00:53:34 +08:00
cd72da1b95 SPDX migration Jens Petersen 2023-01-29 22:44:58 +08:00
938a3e810b bump geniplate-mirror to 0.7.9 Jens Petersen 2023-01-29 22:44:09 +08:00
ccdfcab907 refresh to cabal-rpm-2.1.0 Jens Petersen 2023-01-21 16:44:24 +08:00
6a1a838a85 Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild f37 Fedora Release Engineering 2022-07-20 18:26:00 +00:00
5383d0287c add Provides agda epel9 Jens Petersen 2022-06-20 13:57:27 +08:00
31a616d83e disable i686 (#2098425) Jens Petersen 2022-06-19 14:58:13 +08:00
f6f1c37003 2.6.2.2 Jens Petersen 2022-06-07 16:05:14 +08:00
f21a1029c6 update to 2.6.2.1 f36 Jens Petersen 2022-03-07 13:13:30 +08:00
24e46c692e - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild Fedora Release Engineering 2022-01-19 19:12:40 +00:00
ff1d99479b Rebuilt for https://fedoraproject.org/wiki/Changes/LIBFFI34 Miro Hrončok 2022-01-08 11:06:18 +01:00
af39028c46 disable armv7hl: out of memory (#73471404) f35 Jens Petersen 2021-08-09 02:10:31 +08:00
5d5c715600 update to 2.6.2 Jens Petersen 2021-08-05 00:43:55 +08:00
7625567586 add reference to #991929 to armv7 -O0 condition Jens Petersen 2021-06-11 18:22:49 +08:00
3e99f24800 cabal-rpm-2.0.9 Jens Petersen 2021-06-11 18:18:44 +08:00
99d2241eeb update to 2.6.1.3 Jens Petersen 2021-08-05 00:42:06 +08:00
14d6c0b37e move libs and data files to common subpackage again Jens Petersen 2021-02-18 15:26:41 +08:00
63734cebf1 update geniplate-mirror to 0.7.7 Jens Petersen 2021-02-18 15:25:42 +08:00
33b2b4d0b9 - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild Fedora Release Engineering 2021-07-21 15:38:18 +00:00
300a13f672 - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild Fedora Release Engineering 2021-07-21 10:43:54 +00:00
1f940a6fc1 build Agda with -O0 on armv7 (backport fix from f33) f32 Jens Petersen 2021-02-01 15:59:28 +08:00
1786c87680 - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild f34 Fedora Release Engineering 2021-01-25 22:15:28 +00:00
c9ed43346d Re-enable LTO Jeff Law 2020-10-11 18:52:28 -06:00
cdeca6e1e4 uri-encode has been packaged Jens Petersen 2020-09-11 10:35:56 +08:00
147e1019eb remove uri-encode from sources f33 Jens Petersen 2020-09-03 15:50:43 +08:00
2869a2b3a9 uri-encode has been packaged Jens Petersen 2020-09-01 14:00:51 +08:00
e0dc3e1641 - Second attempt - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild Fedora Release Engineering 2020-07-31 23:50:46 +00:00
89dbda77ba Disable LTO on s390 Jeff Law 2020-07-27 18:38:59 -06:00
ac21eaf931 - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild Fedora Release Engineering 2020-07-27 10:12:31 +00:00
8b113d48b1 enable armv7hl with -O0 (#991929) Jens Petersen 2020-07-20 13:21:15 +08:00
02a60d692c refresh to cabal-rpm-2.0.6 Jens Petersen 2020-06-19 16:53:20 +08:00
a122f588a5 update to 2.6.1 Jens Petersen 2020-06-07 23:39:51 +08:00
36e744de86 refresh to cabal-rpm-2.0.5 Jens Petersen 2020-06-04 19:24:44 +08:00
c4c53b3fea move agda and data to base package, dropping common Jens Petersen 2020-05-27 02:08:28 +08:00
0c769109ae refresh to cabal-rpm-2.0.2 Jens Petersen 2020-02-06 16:07:01 +08:00
f23bc8455f - Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild Fedora Release Engineering 2020-01-28 09:10:44 +00:00
2c0f7876b1 really really disable i686 prof f31 Jens Petersen 2019-08-06 14:46:41 +08:00
d98367819a really disable i686 prof Jens Petersen 2019-08-06 13:06:43 +08:00
55fb1c20ea prof panics on i686 Jens Petersen 2019-08-06 12:33:14 +08:00
900142581b subpkg deps need to be prof too Jens Petersen 2019-08-06 10:01:49 +08:00
6365bc309c BR prof for lib and static for executable Jens Petersen 2019-08-05 18:26:47 +08:00
13455a7ccc update to 2.6.0.1 Jens Petersen 2019-07-25 10:33:15 +00:00
93c549754b refresh to cabal-rpm-1.0.0: lib doc/prof subpkgs and bin static BRs Jens Petersen 2019-07-25 04:20:49 +00:00
64d8785d63 - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild Fedora Release Engineering 2019-07-24 15:39:30 +00:00
31025ad40c update to 2.5.4.2 f30 Jens Petersen 2019-02-21 23:38:18 +08:00
9e6df6678b refresh to cabal-rpm-0.13 Jens Petersen 2019-02-17 22:41:51 +08:00
381aecc283 - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild Fedora Release Engineering 2019-01-31 11:22:11 +00:00
054a111019 update sources f29 epel8 Jens Petersen 2018-07-31 17:35:02 +09:00
fcada7d934 add revised .cabal file Jens Petersen 2018-07-29 10:57:12 +09:00
42213812a5 newline for easier patching Jens Petersen 2018-07-19 13:33:15 +09:00
168de37e16 - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild Fedora Release Engineering 2018-07-12 18:54:31 +00:00
a9910c7a85 - Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild f28 Fedora Release Engineering 2018-02-07 00:24:22 +00:00
8243be8dc8 drop ldconfig scriptlets Jens Petersen 2018-02-04 01:00:25 +09:00
803ef2a83d rpath tweaks for modules build Jens Petersen 2018-01-26 09:09:03 +01:00
377de8fb8c refresh to cabal-rpm-0.12.1 Jens Petersen 2018-01-24 14:01:40 +01:00
c450966ea6 uri-encode needs network-uri Jens Petersen 2018-01-12 17:59:51 +09:00
413d9c1463 uri-encode needs utf8-string Jens Petersen 2018-01-12 16:22:50 +09:00
423f8f8744 add uri-encode source Jens Petersen 2018-01-12 13:45:23 +09:00
e2ed4b024d update to 2.5.3 Jens Petersen 2018-01-02 17:48:13 +08:00
253d8eaad6 ieee754 is now a separate package Jens Petersen 2017-12-26 10:58:59 +01:00
5bc04f5759 gitrev is now packaged f27 Jens Petersen 2017-11-15 12:44:12 +09:00
56bc32af70 gitrev now needs base-compat Jens Petersen 2017-11-10 21:10:29 +09:00
e8fe124f84 update gitrev and geniplate-mirror Jens Petersen 2017-11-10 16:57:10 +09:00
df02d5a6af - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild Fedora Release Engineering 2017-08-02 16:46:42 +00:00
77178c0167 - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild Fedora Release Engineering 2017-07-26 01:38:45 +00:00
04232b3527 rebuild f26 Jens Petersen 2017-03-13 12:15:19 +09:00
d5e4024144 set LD_LIBRARY_PATH for compiling .agda files Jens Petersen 2017-03-12 16:37:49 +09:00
8982741ffc compile .agda files are buildtime Jens Petersen 2017-03-12 13:51:31 +09:00
4e6c542e8f armv7hl still fails (#991929) Jens Petersen 2017-03-10 20:28:55 +09:00
1d4dc8f354 EdisonCore needs QuickCheck Jens Petersen 2017-03-10 14:37:29 +09:00
7d30bcc63e add tarballs Jens Petersen 2017-03-10 14:30:32 +09:00