rpms/Agda
3
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
110 Commits 29 Branches 0 Tags 141 KiB
1786c87680
Commit Graph

110 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
Jens Petersen
7d30bcc63e add tarballs 2017-03-10 14:30:32 +09:00
Jens Petersen
64f09036ec subpackage EdisonAPI, EdisonCore, gitrev, ieee754, monadplus, murmur-hash 
- add agda2-mode-pkg.el
- allow newer ieee754
- try building on arm again
 2017-03-10 13:44:52 +09:00