Re: Conflicts in Rawhide i386 (part 2)

["Alan Dunn" <amdunn gmail com>]

The new name is coq-parser.

- Alan

On Wed, Aug 6, 2008 at 6:35 AM, Richard W.M. Jones <rjones redhat com> 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 redhat com
> https://www.redhat.com/mailman/listinfo/fedora-devel-list
>