Bug#733494: OptParse exception during [dist-]upgrade

[Ralf Treinen <treinen@free.fr>]

Hello,

On Sun, Dec 29, 2013 at 11:37:19AM +0000, Wolodja Wentland wrote:
> Package: apt-cudf
> Version: 3.1.3-7
> Severity: normal
> 
> Dear maintainer,
> 
> I have used apt-cudf happily for a while now, but recently it started to show
> the following behaviour:
> 
>   $ sudo apt-get --solver aspcud dist-upgrade
>   Reading package lists... Done
>   Building dependency tree
>   Reading state information... Done
>   Fatal error: exception OptParse.Opt.No_value
>   Execute external solver... Done
>   Done
>   Fatal error: exception OptParse.Opt.No_value
>   Execute external solver... Done

This might be a problem with aspcud, coming from the fact that a new
version of gringo (one of aspcud's dependencies) was uploaded to sid
before aspcud was ready for the migration. What are your current versions
of aspcud and gringo ? If you have gringo 4.2.1-3 installed then could
you please try with gringo 3.0.5-1+b1 from testing?

Cheers -Ralf.