| Commit message (Collapse) | Author | Age | ||
|---|---|---|---|---|
| ... | ||||
| * | Getting ready for an upload to experimental. |  Samuel Mimram | 2004-07-21 | |
| | | ||||
| * | Try to build in opt, ready for dpatch, manpages added (but not used yet). | Samuel Mimram | 2004-07-17 | |
 |
index : debian-coq | |
| Debian packaging for Coq |
| summaryrefslogtreecommitdiff |