gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-09-24 04:59:14 -07:00
Code Issues Projects Releases Wiki Activity

sci-mathematics/why3-for-spark: Update virtual/emacs dependency.

Browse Source 
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>
This commit is contained in:
Ulrich Müller
2019-12-20 17:31:12 +01:00
parent 7123dfea22
commit 6c532ec926
2 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
sci-mathematics/why3-for-spark/why3-for-spark-2018.ebuild
View File

@@ -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 )

2
sci-mathematics/why3-for-spark/why3-for-spark-2019.ebuild
View File

@@ -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 )