~ # apt-cache policy libgmp3c2
libgmp3c2:
  Installed: (none)
  Candidate: 2:4.3.2+dfsg-1+maemo5+0m6
  Version table:
     2:4.3.2+dfsg-1+maemo5+0m6 0
        500 https://downloads.maemo.nokia.com ./ Packages
     2:4.3.2+dfsg-1+maemo5+0m6 0
        500 http://harmattan-dev.nokia.com harmattan/sdk/free Packages