summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/why3-for-spark: Update virtual/emacs dependency.Ulrich Müller2019-12-201-1/+1
* sci-mathematics/why3-for-spark: use virtual/emacs on dependencyTupone Alfredo2019-03-151-2/+2
* sci-mathematics/why3-for-spark: StableTupone Alfredo2018-12-161-2/+2
* sci-mathematics/why3-for-spark: Version bump to 2018Tupone Alfredo2018-07-131-0/+75