summaryrefslogtreecommitdiff
path: root/debian/watch
Commit message (Expand)AuthorAge
* Updated watch file.Gravatar Samuel Mimram2008-01-04
* Last modifications before upload.debian/8.0pl3+8.1alpha-1Gravatar Samuel Mimram2006-04-29
* Let's see if coqide builds in bytecode on alpha.Gravatar Samuel Mimram2004-08-17