Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/sci-mathematics/why3-for-spark/why3-for-spark-2018.ebuild
Commit message (Collapse)AuthorAgeFilesLines
* sci-mathematics/why3-for-spark: Update virtual/emacs dependency.Ulrich Müller2019-12-201-1/+1
| | | | | | | 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: use virtual/emacs on dependencyTupone Alfredo2019-03-151-2/+2
| | | | | | 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: StableTupone Alfredo2018-12-161-2/+2
| | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.51, Repoman-2.3.11
* sci-mathematics/why3-for-spark: Version bump to 2018Tupone Alfredo2018-07-131-0/+75
Package-Manager: Portage-2.3.40, Repoman-2.3.9