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

130 Commits

Author SHA1 Message Date
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
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 6ceb8aa2fd allow cpphs-1.20 2016-10-06 12:19:22 +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
Jens Petersen 03df3e13ed drop emacs subpackages (#1234569) 2015-07-22 15:27:45 +09:00
Dennis Gilmore 1d37c18ef8 - Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild 2015-06-16 22:40:57 +00:00
Jens Petersen 425f93e8ad move agda from ghc-Agda-devel to ghc-Agda 2015-04-17 13:32:33 +09:00
Jens Petersen e7f568af1c compile Primitive.agda at install time 
buildtime compile in buildroot fails due to filepath check
 2015-04-16 18:06:49 +09:00
Jens Petersen 67405aa2a0 compile Primitive.agda 2015-04-16 17:49:06 +09:00
Jens Petersen d547e5047c disable arm again (#991929) 2015-04-03 21:59:00 +09:00
Jens Petersen ecc95706d7 update doc files list 2015-04-03 19:01:27 +09:00
Jens Petersen 8faac28c15 enable arm and build in utf8 2015-04-03 18:22:16 +09:00
Jens Petersen 6984fbff07 update to 2.4.2.2 2015-04-03 13:25:00 +09:00
Jens Petersen 558558bc01 cblrpm refresh 2015-02-06 21:46:37 +01:00
Jens Petersen d6f36b5d3e update to 2.4.2 
needs new deps:
STMonadTrans, boxes, data-hash, equivalence, and QuickCheck 2.7.5+
 2014-09-03 16:53:17 +09:00