| Age | Commit message (Expand) | Author | Files | Lines |
|---|---|---|---|---|
| 2002-09-29 | Update to 1.8.22, as requested by Christian Biere in PR 18460. | wiz | 1 | -15/+38 |
| 2002-05-06 | Update to version 1.8.19. | seb | 1 | -1/+34 |
| 2001-11-01 | Move pkg/ files into package's toplevel directory | zuntum | 1 | -0/+3 |
 |
index : pkgsrc | |
| [no description] | Dyson |
| summaryrefslogtreecommitdiff |