This port disappeared from its main (and only) site in 2001. Although it can still be found in various places on the web, the fact that no one has complained recently means it's time to let it go. (The current maintainer is no longer actively working on it either IMHO). When this is closed, ports/30201 should be closed as well. Fix: Delete the port. How-To-Repeat: make install
Hello Mike, Please see ports/56868 at http://www.freebsd.org/cgi/query-pr.cgi?pr=ports/56868 Do you approve this change? Edwin -- Edwin Groothuis | Personal website: http://www.mavetju.org edwin@freebsd.org | Weblog: http://www.mavetju.org/weblog/weblog.php
Assuming it no longer works (I can't get the PR from here), that makes sense to me. = Mike On Sep 26, 2003, at 8:42 PM, Edwin Groothuis wrote: > Hello Mike, > > Please see ports/56868 at > http://www.freebsd.org/cgi/query-pr.cgi?pr=ports/56868 > > Do you approve this change? > > Edwin > > -- > Edwin Groothuis | Personal website: > http://www.mavetju.org > edwin@freebsd.org | Weblog: > http://www.mavetju.org/weblog/weblog.php > > -- "there is no reliable algorithm for ensuring efficient memory usage, and none is possible" [Wilson95]
State Changed From-To: open->closed Commited, thanks!