summaryrefslogtreecommitdiff
path: root/debian/coq-libs.dirs
Commit message (Expand)AuthorAge