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

94 Commits

Author SHA1 Message Date
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 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 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 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
Fedora Release Engineering 63da85a065 - Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild 2017-02-10 04:58:58 +00:00
Jens Petersen d76f81bcf8 build subpackage inside main package 2017-02-09 13:09:00 +09:00
Jens Petersen 108650930d drop build topdir 2017-01-29 14:23:51 +01:00
Jens Petersen 1bb4e49a1c use cabal-tweak-dep-ver to bump cpphs 2017-01-28 22:07:09 +01:00
Jens Petersen 540194fe1a disable dynlink on aarch64 2016-10-07 10:58:49 +09:00
Jens Petersen 7be71ac292 disable armv7hl again (#991929) 2016-10-06 19:06:57 +09:00
Jens Petersen 4f10ceb221 final build fixes 
EpicInclude is gone
 2016-10-06 16:22:37 +09:00
Jens Petersen c4dd38eef5 mention enable arm in changelog 2016-10-06 15:08:06 +09:00
Jens Petersen ac0a36269a add patch for HashMap 2016-10-06 14:30:37 +09:00
Jens Petersen afe3c95527 apply cpphs patch 2016-10-06 12:23:24 +09:00
Jens Petersen 42b7c9e446 update to 2.4.2.5 
subpackage new dep geniplate-mirror
 2016-10-06 11:01:47 +09:00