summaryrefslogtreecommitdiff
path: root/debian/patches/coqdoc_stdlib.dpatch
Commit message (Expand)AuthorAge
* New upstream release.debian/8.0pl3+8.1beta-1Gravatar Samuel Mimram2006-06-16
* Document the patch.Gravatar Samuel Mimram2006-04-28
* Started to package the upcoming 8.1 release.Gravatar Samuel Mimram2006-04-28