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

41 Commits

Author SHA1 Message Date
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
Jens Petersen 7d0ed70eb3 note emacs-agda interactive environment in description 2012-07-15 16:30:33 +09:00
Jens Petersen 1567c74efa import (#710383) 2012-07-15 16:28:54 +09:00
Fedora Release Engineering 18fff63fc3 Initial setup of the repo 2012-07-13 22:58:13 +00:00