summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/why3-for-spark: profiling is not more supported by newer ocamlTupone Alfredo2020-01-171-2/+1
* sci-mathematics/why3-for-spark: depend on a newer dev-ml/lablgtkTupone Alfredo2020-01-161-1/+1
* sci-mathematics/why3-for-spark: Needs a newer coq versionTupone Alfredo2020-01-151-1/+1
* sci-mathematics/why3-for-spark: use ocaml-4.09Tupone Alfredo2020-01-141-0/+78