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 |
|
Jens Petersen
|
8243be8dc8
|
drop ldconfig scriptlets
|
2018-02-04 01:00:25 +09:00 |
|
Jens Petersen
|
803ef2a83d
|
rpath tweaks for modules build
|
2018-01-26 09:09:03 +01:00 |
|
Jens Petersen
|
377de8fb8c
|
refresh to cabal-rpm-0.12.1
|
2018-01-24 14:01:40 +01:00 |
|
Jens Petersen
|
c450966ea6
|
uri-encode needs network-uri
|
2018-01-12 17:59:51 +09:00 |
|
Jens Petersen
|
413d9c1463
|
uri-encode needs utf8-string
|
2018-01-12 16:22:50 +09:00 |
|
Jens Petersen
|
423f8f8744
|
add uri-encode source
|
2018-01-12 13:45:23 +09:00 |
|
Jens Petersen
|
e2ed4b024d
|
update to 2.5.3
|
2018-01-02 18:54:29 +08:00 |
|
Jens Petersen
|
253d8eaad6
|
ieee754 is now a separate package
|
2017-12-26 10:58:59 +01:00 |
|
Jens Petersen
|
5bc04f5759
|
gitrev is now packaged
|
2017-11-15 12:44:12 +09:00 |
|
Jens Petersen
|
56bc32af70
|
gitrev now needs base-compat
|
2017-11-10 21:10:29 +09:00 |
|
Jens Petersen
|
e8fe124f84
|
update gitrev and geniplate-mirror
|
2017-11-10 16:57:10 +09:00 |
|
Fedora Release Engineering
|
df02d5a6af
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild
|
2017-08-02 16:46:42 +00:00 |
|
Fedora Release Engineering
|
77178c0167
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild
|
2017-07-26 01:38:45 +00:00 |
|
Jens Petersen
|
04232b3527
|
rebuild
|
2017-03-13 12:15:19 +09:00 |
|
Jens Petersen
|
d5e4024144
|
set LD_LIBRARY_PATH for compiling .agda files
|
2017-03-12 16:37:49 +09:00 |
|
Jens Petersen
|
8982741ffc
|
compile .agda files are buildtime
|
2017-03-12 13:51:31 +09:00 |
|
Jens Petersen
|
4e6c542e8f
|
armv7hl still fails (#991929)
|
2017-03-10 20:28:55 +09:00 |
|
Jens Petersen
|
1d4dc8f354
|
EdisonCore needs QuickCheck
|
2017-03-10 14:37:29 +09:00 |
|