The new name is coq-parser. - Alan On Wed, Aug 6, 2008 at 6:35 AM, Richard W.M. Jones <rjones@xxxxxxxxxx> wrote: > On Tue, Aug 05, 2008 at 12:10:36PM -0400, Alan Dunn wrote: >> Upstream said the name should probably be changed and that they have >> done so in the past with previous binaries in the package. While that >> isn't a solid commitment to doing it in the next version, I would say >> it's probably good enough to change it, which I'm going to do now. > > Out of interest, what was the new name? I'll alert Debian ... > > Rich. > > -- > Richard Jones, Emerging Technologies, Red Hat http://et.redhat.com/~rjones > virt-df lists disk usage of guests without needing to install any > software inside the virtual machine. Supports Linux and Windows. > http://et.redhat.com/~rjones/virt-df/ > > -- > fedora-devel-list mailing list > fedora-devel-list@xxxxxxxxxx > https://www.redhat.com/mailman/listinfo/fedora-devel-list > -- fedora-devel-list mailing list fedora-devel-list@xxxxxxxxxx https://www.redhat.com/mailman/listinfo/fedora-devel-list
