Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2001-11-01 | Move pkg/ files into package's toplevel directory | zuntum | 2 | -1/+1 | |
2001-04-25 | Respect CFLAGS. This seems to work okay with default optimization. | jtb | 3 | -24/+25 | |
2001-04-19 | Move to sha1 digests, and add distfile sizes. | agc | 1 | -2/+3 | |
2001-04-17 | + move the distfile digest/checksum value from files/md5 to distinfo | agc | 3 | -7/+5 | |
+ move the patch digest/checksum values from files/patch-sum to distinfo | |||||
2001-04-14 | Change MAINTAINER section to packages@netbsd.org | jtb | 1 | -2/+2 | |
2001-03-31 | Otter doesn't respect CFLAGS because -O2 optimization causes the program | jtb | 1 | -2/+5 | |
to malfunction. While here, change COMMENT to "Automated Deduction System". | |||||
2001-02-17 | Update to new COMMENT style: COMMENT var in Makefile instead of pkg/COMMENT. | wiz | 2 | -2/+2 | |
2000-11-25 | Initial import of new "otter" package: | jtb | 8 | -0/+279 | |
Otter is a theorem-proving program |