summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/why3-for-spark: version bump to 2019Tupone Alfredo2019-10-111-0/+1
* sci-mathematics/why3-for-spark: use virtual/emacs on dependencyTupone Alfredo2019-03-151-1/+0
* sci-mathematics/why3-for-spark: Version bump to 2018Tupone Alfredo2018-07-131-0/+1
* sci-mathematics: Update Manifest hashes.Ulrich Müller2017-12-101-1/+1
* sci-mathematics/why3-for-spark: Adding why3 for sparkTupone Alfredo2017-10-191-0/+1