aboutsummaryrefslogtreecommitdiff
path: root/stitch.opam.template (follow)
Commit message (Collapse)AuthorAgeFilesLines
* stuffMarc Coquand2024-05-171-0/+14