Ubuntu
mpfr package

  1. Bug #605657
  2. Comment #2

Comment 2 for bug 605657

Revision history for this message
Colin Watson (cjwatson) wrote :

[Updating] mpfr4 (None [Ubuntu] < 3.0.0-2 [Debian])
 * Trying to add mpfr4...
2010-07-16 14:26:32 INFO - <mpfr4_3.0.0-2.dsc: cached>
2010-07-16 14:26:32 INFO - <mpfr4_3.0.0-2.debian.tar.gz: cached>
2010-07-16 14:26:32 INFO - <mpfr4_3.0.0.orig.tar.gz: cached>
W: libmpfr-dev is in main but its source (mpfr4) is not - continuing anyway.
I: mpfr4 [universe] -> libmpfr-dev_2.4.2-3ubuntu1 [main].
W: libmpfr-doc is in main but its source (mpfr4) is not - continuing anyway.
I: mpfr4 [universe] -> libmpfr-doc_2.4.2-3ubuntu1 [main].