projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 19b9cb3) | patch
sci-mathematics/agda: Update virtual/emacs dependency.
authorUlrich Müller <ulm@gentoo.org>
Fri, 20 Dec 2019 16:28:16 +0000 (17:28 +0100)
committerUlrich Müller <ulm@gentoo.org>
Fri, 20 Dec 2019 22:48:47 +0000 (23:48 +0100)
commit1e5f45b1ed0fa6ae2b44a8872085f93cf0738a49
tree6cde78c65d82c67f6c0b1efd30487b5880a9b34atree | snapshot
parent19b9cb36d743b3c4a1d7f95e4722cd8666e1e9f1commit | diff
sci-mathematics/agda: Update virtual/emacs dependency.

The virtual is deprecated, depend on app-editors/emacs instead.

Package-Manager: Portage-2.3.82, Repoman-2.3.20
Signed-off-by: Ulrich Müller <ulm@gentoo.org>
sci-mathematics/agda/agda-2.4.2.5-r2.ebuild diff | blob | history
sci-mathematics/agda/agda-2.5.2-r1.ebuild diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.