Package: libgmpada3-dev Version: 0.0.20120318-1 Severity: normal -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1
Hi, libgmpada3-dev must depend on libgmp-dev and libmpfr-dev: $ sudo apt-get install libgmpada3-dev Reading package lists... Done Building dependency tree Reading state information... Done The following extra packages will be installed: libgmpada2 The following NEW packages will be installed: libgmpada2 libgmpada3-dev .... (try to link some project using libgmpada) /usr/bin/ld: cannot find -lgmp /usr/bin/ld: cannot find -lmpfr collect2: ld returned 1 exit status Regards, - - reto - -- System Information: Debian Release: wheezy/sid APT prefers unstable APT policy: (500, 'unstable') Architecture: amd64 (x86_64) Kernel: Linux 3.0.0-1-amd64 (SMP w/8 CPU cores) Locale: LANG=C, LC_CTYPE=C (charmap=ANSI_X3.4-1968) Shell: /bin/sh linked to /bin/dash Versions of packages libgmpada3-dev depends on: ii gnat 4.6 ii gnat-4.6 4.6.3-2 ii libgmpada2 0.0.20120318-1 libgmpada3-dev recommends no packages. libgmpada3-dev suggests no packages. - -- no debconf information -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) iQIcBAEBAgAGBQJPfDU9AAoJEKSefDzePM5mQ2AQAJg4KZk0Zh4MBGeX5GzjaiDL 5qSWUiSoKmxqVnERNdIwA2U8Eatqk3tnNYkDVBNB//aLOpqWJfxT18g73fWWXBeL aLJw2lMlDQPWoxERXRNpLE6BLKQVokOxqFAFv3YCsvlsP7UZ7pV1/85h6j/WTtoT CQf1QG6upJKZjqaj/CUOpx2yrTTbSeVb6riWr4lQhdqPKYf585XcuoPQ5bcWxNOm W/ZjXTvhcYBTFTcpDicIlYHx8w2/GkqmFugyAj0VhwL/A8gXTmcL03tMZ0crvFrT 8x9tpsDHYKHbLwMEAZEJRDBeO/x2UqwmLexDTfyRgYF7kqPFDpKjPR15PS8usRmy 1QUvmHUyqB7sOplmgNUt2u89VtiRPvN2rpcNaN8dalK77GEfpFLnPmVdmOZ/CU1R 3QojsCQPC9Wtx1dSc/NDZEo85dF7ryy5uqZlnBgY5vEc6y0+/9EH3twgRKY6rygT BMb8S0lea1fSCruhkACLwtMfatUQT+/bzTGeDRZReNysk9AyAJ2touInkXR4nuN8 5Iokh2NbrVpmdT6mZpnX0bxDQ4r6zs5/7HfMCrdvxcQ/U54RbJILxdSWfjrl8Xis Dpvt+EIlWGaxuOD5AXL3JTXhT6x0soww4QtIIpHK90mLpPK5MQgt7e4uLGQWFCpc JaFAHMDK64MD7WiWIfZr =HRcQ -----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
