summaryrefslogtreecommitdiff
path: root/benchmark.opam
Commit message (Expand)AuthorAge
* New upstream version 1.6Stephane Glondu2020-08-25
* New upstream version 1.5Stephane Glondu2020-08-25