Simon Michael <[EMAIL PROTECTED]> writes: > I got this to install by downloading the latest libgmp3 and darcs debs > from packages.debian.org and installing them by hand. Is this a > dangerous thing to do ? It gives the appearance of working just fine.
This shouldn't cause any problem. You may be able to also say: apt-get install libgmp3/stable apt-get install darcs peace, isaac -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
