| Age | Commit message (Expand) | Author | Files | Lines |
|---|---|---|---|---|
| 2012-10-29 | Taken over maintainership (as discussed with previous maintainer, | jaapb | 1 | -15/+0 |
| 2010-11-14 | Update lang/coq to 8.3 | tonio | 1 | -11/+14 |
| 2009-09-05 | Update lang/coq to 8.2pl1 | tonio | 1 | -0/+12 |
 |
index : pkgsrc | |
| [no description] | Dyson |
| summaryrefslogtreecommitdiff |