Age | Commit message (Collapse) | Author | Files | Lines |
|
|
|
|
|
${PKGNAME}, so that the WRKSRC definition is immune from any subsequent
PKGREVISION changes. With thanks to jmc for the nudge.
|
|
Should anybody feel like they could be the maintainer for any of thewe packages,
please adjust.
|
|
|
|
|
|
|
|
|
|
+ move the patch digest/checksum values from files/patch-sum to distinfo
|
|
|
|
to malfunction. While here, change COMMENT to "Automated Deduction System".
|
|
|
|
Otter is a theorem-proving program
|