summaryrefslogtreecommitdiff
path: root/math/otter
AgeCommit message (Collapse)AuthorFilesLines
2009-06-14Remove @dirrm entries from PLISTsjoerg1-11/+1
2008-03-04Mechanical changes to add DESTDIR support to packages that installjlam1-10/+12
their files via a custom do-install target.
2006-10-04Update MASTER_SITES and/or HOMEPAGE, from Sergey Svishchev.wiz1-2/+2
2006-03-04Point MAINTAINER to pkgsrc-users@NetBSD.org in the case where nojlam1-2/+2
developer is officially maintaining the package. The rationale for changing this from "tech-pkg" to "pkgsrc-users" is that it implies that any user can try to maintain the package (by submitting patches to the mailing list). Since the folks most likely to care about the package are the folks that want to use it or are already using it, this would leverage the energy of users who aren't developers.
2005-06-17Create directories before installing files into them.jlam1-1/+3
2005-02-23Add RMD160 digests in addition to SHA1 ones.agc1-1/+2
2004-12-03Rename ALL_TARGET to BUILD_TARGET for consistency with other *_TARGETs.wiz1-2/+2
Suggested by Roland Illig, ok'd by various.
2004-01-20Move WRKSRC definition away from the first paragraph in a Makefile.agc1-2/+2
2003-07-17s/netbsd.org/NetBSD.org/grant1-2/+2
2003-06-18When constructing the WRKSRC definition, use ${PKGNAME_NOREV} rather thanagc1-7/+7
${PKGNAME}, so that the WRKSRC definition is immune from any subsequent PKGREVISION changes. With thanks to jmc for the nudge.
2003-06-02Use tech-pkg@ in favor of packages@ as MAINTAINER for orphaned packages.jschauma1-2/+2
Should anybody feel like they could be the maintainer for any of thewe packages, please adjust.
2003-03-29Place WRKSRC where it belongs, to make pkglint happy; ok'ed by wiz.jmmv1-3/+2
2001-11-01Move pkg/ files into package's toplevel directoryzuntum2-1/+1
2001-04-25Respect CFLAGS. This seems to work okay with default optimization.jtb3-24/+25
2001-04-19Move to sha1 digests, and add distfile sizes.agc1-2/+3
2001-04-17+ move the distfile digest/checksum value from files/md5 to distinfoagc3-7/+5
+ move the patch digest/checksum values from files/patch-sum to distinfo
2001-04-14Change MAINTAINER section to packages@netbsd.orgjtb1-2/+2
2001-03-31Otter doesn't respect CFLAGS because -O2 optimization causes the programjtb1-2/+5
to malfunction. While here, change COMMENT to "Automated Deduction System".
2001-02-17Update to new COMMENT style: COMMENT var in Makefile instead of pkg/COMMENT.wiz2-2/+2
2000-11-25Initial import of new "otter" package:jtb8-0/+279
Otter is a theorem-proving program