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

89 Commits

Author SHA1 Message Date
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
Jens Petersen
12a5988583 use %license 2016-09-28 18:22:39 +09:00
Jens Petersen
8b9cf04092 no longer remove license 2016-09-27 18:32:07 +09:00
Jens Petersen
2219348db1 drop redundant exclusivearch %ghc_arches_with_ghci 2016-03-07 22:55:21 +09:00
Jens Petersen
290b41f098 drop %ghc_arches_with_ghci 2016-03-07 22:54:00 +09:00
Dennis Gilmore
ec50775e58 - Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild 2016-02-03 15:18:58 +00:00