Move agda dependencies from Depends to Suggests for elpa-agda2-mode

XIYUE DENGrequested to merge
manphiz/DHG_packages:elpa-agda2-mode-move-depends-to-suggests into master
  • This avoids pulling in the whole ghc stack when installing elpa-agda2-mode and still provide editing support for agda2 in Emacs.

Note: the first commit is required. The other 2 are IMHO good to have changes but not required for Bug#1125220.

Merge request reports