zuntum
|
98cf373d36
|
Move pkg/ files into package's toplevel directory
|
2001-11-01 00:32:23 +00:00 |
|
jtb
|
a1417e24b9
|
Respect CFLAGS. This seems to work okay with default optimization.
|
2001-04-25 23:35:30 +00:00 |
|
agc
|
fa5c767d84
|
Move to sha1 digests, and add distfile sizes.
|
2001-04-19 08:45:37 +00:00 |
|
agc
|
9e8d6c8b8d
|
+ move the distfile digest/checksum value from files/md5 to distinfo
+ move the patch digest/checksum values from files/patch-sum to distinfo
|
2001-04-17 11:33:31 +00:00 |
|
jtb
|
eb0cef2016
|
Change MAINTAINER section to packages@netbsd.org
|
2001-04-14 21:43:38 +00:00 |
|
jtb
|
24fa8425a9
|
Otter doesn't respect CFLAGS because -O2 optimization causes the program
to malfunction. While here, change COMMENT to "Automated Deduction System".
|
2001-03-31 18:10:47 +00:00 |
|
wiz
|
a13ea108bb
|
Update to new COMMENT style: COMMENT var in Makefile instead of pkg/COMMENT.
|
2001-02-17 17:52:59 +00:00 |
|
jtb
|
1184440a59
|
Initial import of new "otter" package:
Otter is a theorem-proving program
|
2000-11-25 18:19:19 +00:00 |
|