On Fri, Aug 08, 2008 at 09:11:20PM -0400, Adam Goode wrote: > Jan tells me /usr/bin/parser was some program called by now gone code. > It was used for Application-Specific Resolution (ASR). > > We can just not ship /usr/bin/parser. Similarly, it turns out Debian don't even ship Coq's /usr/bin/parser ... Although they may start to ship it now it's going to get renamed. Seems like this will be all cleared up soon anyway. Rich. -- Richard Jones, Emerging Technologies, Red Hat http://et.redhat.com/~rjones virt-top is 'top' for virtual machines. Tiny program with many powerful monitoring features, net stats, disk stats, logging, etc. http://et.redhat.com/~rjones/virt-top -- fedora-devel-list mailing list fedora-devel-list@xxxxxxxxxx https://www.redhat.com/mailman/listinfo/fedora-devel-list
