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 |