summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* eapi version bump dev-ml/base to 7Philip Miess2024-01-201-2/+2
* fix dune dependency and make repoman happyPhilip Miess2020-04-121-3/+3
* add jbuilder alternative dep dune-1 to packagesPhilip Miess2020-04-121-0/+34