Hi, On Thu, Jan 02, 2014 at 10:44:05AM +0000, Wolodja Wentland wrote: > Hi Ralf, > > On Tue, Dec 31, 2013 at 16:27 +0100, Ralf Treinen wrote: > > 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? > > Thank you for your immediate answer and spot on advice. Downgrading gringo to > 3.0.5-1+b1 from testing does indeed solve the issue. Please let me know if > there is anything else that I can do to investigate the issue.
thanks for your offer but this won't be necessary at the moment, aspcud upstream is already working on migrating aspcud to gringo 4. Cheers -Ralf. -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
