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

53 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
Jens Petersen
6848da0999 bring back emacs(bin) BR 2014-08-28 16:21:49 +09:00
Peter Robinson
ca128ef253 fix deps for ftbfs 2014-08-16 16:15:05 +01:00
Peter Robinson
2555551f5a - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild 2014-08-15 18:10:09 +00:00
Dennis Gilmore
c329815538 - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild 2014-06-06 17:21:41 -05:00
Jens Petersen
f86c6a6a8c no _pkgdocdir in EL7 2014-04-22 10:40:31 +09:00
Jens Petersen
e6f563dd1a exclude archs without ghci since geniplate uses template-haskell (#1038068) 2014-01-22 10:38:31 +09:00
Jens Petersen
039fa0882f update to 2.3.2.2 2013-10-31 18:29:45 +09:00
Jens Petersen
4ea8724782 drop defattr's 2013-09-02 12:39:26 +09:00
Jens Petersen
0ecfc193f9 rebuild 2013-09-02 12:36:28 +09:00
Jens Petersen
f518914766 BR emacs now instead of emacs-haskell-mode 2013-08-29 14:56:33 +09:00
Jens Petersen
f970b43df4 emacs agda-mode no longer needs haskell-mode 
add relnotes link to changelog
 2013-08-29 14:04:39 +09:00
Jens Petersen
1c2e957f93 compile agda2-queue.el; exclude armv7hl since TemplateHaskell broken 
add an abort check for missing compiled elisp files
 2013-08-29 11:02:57 +09:00
Jens Petersen
dee2bbcda8 replace ghc_docdir by _pkgdocdir 2013-08-27 19:20:40 +09:00
Dennis Gilmore
4edfb4e8dd - Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild 2013-08-02 17:26:53 -05:00
Jens Petersen
b26047ff92 use ghc_docdir 
for backportability wrt F20 unversioned docdir
 2013-07-26 14:51:16 +09:00
Jens Petersen
d7c1d5f202 just remove the license file from the base pkg 2013-06-14 19:25:33 +09:00
Jens Petersen
c64c7b4f43 move LICENSE file to shared subpkg 2013-06-14 19:24:00 +09:00
Jens Petersen
3fef23a152 fix filelist names after pkg rename 2013-06-14 19:15:52 +09:00
Jens Petersen
dd90507d20 add agda-mode-init.el from ghc-Agda 2013-06-14 19:12:49 +09:00
Jens Petersen
c05cc5b7d3 Agda hackage (ghc-Agda) replaces deprecated Agda-executable 2013-06-14 18:46:35 +09:00
Jens Petersen
38b458cdc8 rebuild 2013-03-25 11:52:51 +09:00
Jens Petersen
bd5895146e rebuild 2013-03-22 22:59:52 +09:00
Dennis Gilmore
3b28604955 - Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild 2013-02-13 08:45:29 -06:00
Jens Petersen
e9c90f6ee6 rebuild 2012-12-25 14:44:18 +09:00
Jens Petersen
9e1a47c6ad remove ExclusiveArch ghc_arches_with_ghci 
Agda does not use TemplateHaskell
 2012-12-06 18:57:07 +09:00
Jens Petersen
1e1c6bd14d rebuild 2012-11-17 17:14:01 +09:00
Dennis Gilmore
5c578a52e9 - Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild 2012-07-18 07:49:21 -05:00