rpms
/
Agda
2
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
130 Commits 29 Branches 0 Tags 141 KiB
Commit Graph

130 Commits

Author SHA1 Message Date
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
Jeff Law c9ed43346d Re-enable LTO 2020-10-11 18:52:28 -06:00
Jens Petersen 147e1019eb remove uri-encode from sources 2020-09-03 15:50:43 +08:00
Jens Petersen 2869a2b3a9 uri-encode has been packaged 2020-09-01 14:00:51 +08:00
Fedora Release Engineering e0dc3e1641 - Second attempt - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2020-07-31 23:50:46 +00:00
Jeff Law 89dbda77ba Disable LTO on s390 2020-07-27 18:38:59 -06:00
Fedora Release Engineering ac21eaf931 - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2020-07-27 10:12:31 +00:00
Jens Petersen 8b113d48b1 enable armv7hl with -O0 (#991929) 2020-07-20 13:21:15 +08:00
Jens Petersen 02a60d692c refresh to cabal-rpm-2.0.6 2020-06-19 16:53:20 +08:00
Jens Petersen a122f588a5 update to 2.6.1 2020-06-07 23:43:51 +08:00
Jens Petersen 36e744de86 refresh to cabal-rpm-2.0.5 2020-06-04 19:24:44 +08:00
Jens Petersen c4c53b3fea move agda and data to base package, dropping common 2020-05-27 02:08:28 +08:00
Jens Petersen 0c769109ae refresh to cabal-rpm-2.0.2 2020-02-20 10:17:05 +08:00
Fedora Release Engineering f23bc8455f - Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2020-01-28 09:10:44 +00:00
Jens Petersen 2c0f7876b1 really really disable i686 prof 2019-08-06 14:46:41 +08:00
Jens Petersen d98367819a really disable i686 prof 2019-08-06 13:06:43 +08:00
Jens Petersen 55fb1c20ea prof panics on i686 2019-08-06 12:33:14 +08:00
Jens Petersen 900142581b subpkg deps need to be prof too 2019-08-06 10:01:49 +08:00
Jens Petersen 6365bc309c BR prof for lib and static for executable 2019-08-05 18:26:47 +08:00
Jens Petersen 13455a7ccc update to 2.6.0.1 2019-07-29 14:33:02 +00:00
Jens Petersen 93c549754b refresh to cabal-rpm-1.0.0: lib doc/prof subpkgs and bin static BRs 2019-07-25 06:17:11 +00:00
Fedora Release Engineering 64d8785d63 - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2019-07-24 15:39:30 +00:00
Jens Petersen 31025ad40c update to 2.5.4.2 2019-02-25 10:27:50 +08:00
Jens Petersen 9e6df6678b refresh to cabal-rpm-0.13 2019-02-17 22:41:51 +08:00
Fedora Release Engineering 381aecc283 - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2019-01-31 11:22:11 +00:00
Jens Petersen 054a111019 update sources 2018-07-31 17:35:02 +09:00
Jens Petersen fcada7d934 add revised .cabal file 2018-07-29 10:57:12 +09:00
Jens Petersen 42213812a5 newline for easier patching 2018-07-19 13:33:15 +09:00
Fedora Release Engineering 168de37e16 - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2018-07-12 18:54:31 +00:00
Fedora Release Engineering a9910c7a85 - Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2018-02-07 00:24:22 +00:00