-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1
On 01/12/13 22:05, Steve M. Robbins wrote: > On December 1, 2013 02:40:05 PM Steve M. Robbins wrote: > >> Thanks for the note. The functionality is optional rather than >> core, so I'll use "Suggests libmpfr-dev" rather than depends. > > ... and I realized after sending that the package in question is actually > "libmpfrc++-dev". I am sorry, I should specify the name of the involved Debian package is libmpfrc++-dev . Thanks, Jerome > > -Steve > -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) iQEcBAEBAgAGBQJSnE1cAAoJEIC/w4IMSybjfE0IAJogwLkVKJfhpVwU9+dgGtIL onlCaExN6L9lcTNwZcB7mUYIMq9OMMhSerIiziMNKA8ISIyHT90tdFygjK9++rk9 YgoR2ebeBXGPQ9VMAVixel1i/lGBnCh74CVwaAaCUwI0BmC1FRJ+q58f2GRLlW+M uYGNJ+oaz1mlj2t3J/U5VY2nNJDp+s01ahYeLpfBFJTsy/ogd+KQU/7ZPJxuTuKx O9r/b48a1267SUcul/hcYPB1TAZk+5oLe79V9t4GsWgxr3SZE75PEhLcQqnWjlIt nXZImE0vVW4ytyE6pd4OOJgnKT6M21yjFiv1i5DFeGqAyKf6Tae8u+V5+7ShL5c= =3Jnv -----END PGP SIGNATURE----- -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org