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
|
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 |
|