There is no port for otter. Fix: I chose to put this in misc mainly by default. There's no obvious category for theorem-provers that I could find, but I didn't look very hard. I'm sending this as a PR rather than committing it myself because I'm not likely to have the time to do that before the next freeze. #!/bin/sh How-To-Repeat: grep otter /usr/ports/INDEX-?
Class Changed From-To: maintainer-update->change-request Fix category (new ports should be change-requests)
Responsible Changed From-To: freebsd-ports-bugs->garga I'll take it.
Since i'm here I propose you this new shar file: http://people.freebsd.org/~garga/otter.shar I made some changes to respect portlint(1) and respect CC/CFLAGS/NOPORTDOCS. Do you approve this? -- Renato Botelho <garga @ FreeBSD.org> <freebsd @ galle.com.br> GnuPG Key: http://www.FreeBSD.org/~garga/pubkey.asc
State Changed From-To: open->feedback Ask for submitter approval.
State Changed From-To: feedback->closed New port added, with changes. Thanks!