sci-mathematics/why3-for-spark: Update virtual/emacs dependency.
authorUlrich Müller <ulm@gentoo.org>
Fri, 20 Dec 2019 16:31:12 +0000 (17:31 +0100)
committerUlrich Müller <ulm@gentoo.org>
Fri, 20 Dec 2019 22:48:52 +0000 (23:48 +0100)
commit6c532ec926058d96e6d584075b63a32e4fb2c300
treef866f467c8b044effb860b7b9e53dab73832b5e6
parent7123dfea220bfbc96226df6883217023f2bfaa19
sci-mathematics/why3-for-spark: 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/why3-for-spark/why3-for-spark-2018.ebuild
sci-mathematics/why3-for-spark/why3-for-spark-2019.ebuild