gnu: Add emacs-evil-ediff.
[jackhill/guix/guix.git] / gnu / packages / agda.scm
2018-03-01 Marius BakkeMerge branch 'master' into staging
2018-02-26 Alex ter Weelegnu: Add agda.