diff options
| author |   Ulrich Müller <ulm@gentoo.org> | 2019-12-20 17:31:12 +0100 |
|---|---|---|
| committer | Ulrich Müller <ulm@gentoo.org> | 2019-12-20 23:48:52 +0100 |
| commit | 6c532ec926058d96e6d584075b63a32e4fb2c300 (patch) | |
| tree | f866f467c8b044effb860b7b9e53dab73832b5e6 /sci-mathematics/why3-for-spark/why3-for-spark-2018.ebuild | |
| parent | sci-mathematics/twelf: Update virtual/emacs dependency. (diff) | |
| download | gentoo-6c532ec926058d96e6d584075b63a32e4fb2c300.tar.gz gentoo-6c532ec926058d96e6d584075b63a32e4fb2c300.tar.bz2 gentoo-6c532ec926058d96e6d584075b63a32e4fb2c300.zip | |
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>
Diffstat (limited to 'sci-mathematics/why3-for-spark/why3-for-spark-2018.ebuild')
| -rw-r--r-- | sci-mathematics/why3-for-spark/why3-for-spark-2018.ebuild | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sci-mathematics/why3-for-spark/why3-for-spark-2018.ebuild b/sci-mathematics/why3-for-spark/why3-for-spark-2018.ebuild index 5400b37276c2..2335a61928f9 100644 --- a/sci-mathematics/why3-for-spark/why3-for-spark-2018.ebuild +++ b/sci-mathematics/why3-for-spark/why3-for-spark-2018.ebuild @@ -23,7 +23,7 @@ DEPEND=">=dev-lang/ocaml-4.02.3[ocamlopt?] coq? ( sci-mathematics/coq ) doc? ( dev-tex/rubber ) gtk? ( dev-ml/lablgtk[sourceview] ) - emacs? ( virtual/emacs ) + emacs? ( >=app-editors/emacs-23.1:* ) html? ( dev-tex/hevea ) hypothesis-selection? ( dev-ml/ocamlgraph ) zarith? ( dev-ml/zarith ) |