[Agda/f19] (6 commits) ...BR emacs now instead of emacs-haskell-mode
Jens Petersen
petersen at fedoraproject.org
Thu Aug 29 09:25:50 UTC 2013
Summary of changes:
b26047f... use ghc_docdir (*)
4edfb4e... - Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass (*)
dee2bbc... replace ghc_docdir by _pkgdocdir (*)
1c2e957... compile agda2-queue.el; exclude armv7hl since TemplateHaske (*)
f970b43... emacs agda-mode no longer needs haskell-mode (*)
f518914... BR emacs now instead of emacs-haskell-mode (*)
(*) This commit already existed in another branch; no separate mail sent
More information about the scm-commits
mailing list