On Sat, May 12, 2007 at 11:03:25AM +0100, Richard Jones wrote: > > It appears to be a bug indeed, a pity it ended up in unstable. Let's see > > what we can do for the next point release. > Did you mean to say 'stable' there? Yes, sure. > > Are you able to install libcurl-ocaml-dev alone? > > If I remove: > libcurl3-gnutls-dev > libcurl3-dev > > I can then install libcurl-ocaml-dev (which depends upon and installs > libcurl3-gnutls-dev). > > In fact, I can then go on to install cduce successfully, so I'm > guessing that the problem is that 'libcurl3-gnutls-dev' needs to have > a 'Conflicts: libcurl3-dev' added? Indeed, I've just finished experimenting a bit and cduce can be installed without problems via libcurl3-gnutls-dev. After having installed if I try to install libcurl3-dev then libcurl3-gnutls-dev get properly uninstalled (and so does cduce). So probably yes, there's a missing conflicts somewhere in the chain libcurl3-gnutls-dev -> libcurl3-dev. Please file the appropriate bug report against that package. Cheers. -- Stefano Zacchiroli -*- PhD in Computer Science ............... now what? zack@{cs.unibo.it,debian.org,bononia.it} -%- http://www.bononia.it/zack/ (15:56:48) Zack: e la demo dema ? /\ All one has to do is hit the (15:57:15) Bac: no, la demo scema \/ right keys at the right time
Attachment:
signature.asc
Description: Digital signature