Ubuntu
darcs package

  1. Bug #1790
  2. Comment #4

Comment 4 for bug 1790

Revision history for this message
Andrew Mitchell (ajmitch) wrote :

Yes, this is a workaround, but libgmp3c2 conflicts with libgmp3, so you wouldn't be able to have anything else that depends on libgmp3c2 installed