Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 680312 - sci-mathematics/why3-for-spark should depend on virtual/emacs
Summary: sci-mathematics/why3-for-spark should depend on virtual/emacs
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: All Linux
: Normal normal (vote)
Assignee: Tupone Alfredo
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2019-03-14 11:42 UTC by Ulrich Müller
Modified: 2019-03-15 07:25 UTC (History)
1 user (show)

See Also:
Package list:
Runtime testing required: ---

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Ulrich Müller gentoo-dev 2019-03-14 11:42:04 UTC 
Ebuilds should not depend on app-editors/emacs directly, but on virtual/emacs instead.
Comment 1 Larry the Git Cow gentoo-dev 2019-03-15 07:25:09 UTC 
The bug has been closed via the following commit(s):

https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=f0437170eb42e30839073788456e18d5e695665b

commit f0437170eb42e30839073788456e18d5e695665b
Author:     Tupone Alfredo <tupone@gentoo.org>
AuthorDate: 2019-03-15 07:24:05 +0000
Commit:     Tupone Alfredo <tupone@gentoo.org>
CommitDate: 2019-03-15 07:24:59 +0000

    sci-mathematics/why3-for-spark: use virtual/emacs on dependency
    
    Closes: https://bugs.gentoo.org/680312
    Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
    Package-Manager: Portage-2.3.51, Repoman-2.3.11

 sci-mathematics/why3-for-spark/Manifest            |  1 -
 .../why3-for-spark/why3-for-spark-2017.ebuild      | 83 ----------------------
 .../why3-for-spark/why3-for-spark-2018.ebuild      |  4 +-
 3 files changed, 2 insertions(+), 86 deletions(-)