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

108 Commits

Author SHA1 Message Date
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
Jens Petersen 1072e25653 update to 2.5.2 2017-02-27 07:49:02 +09:00
Jens Petersen 4feb7091aa refresh packaging 2017-02-24 13:43:01 +09:00