Bug#702898: libfplll-dev: Missing libfplll.a

[Marco Lattuada]

Package: libfplll-dev
Version: 4.0.1-1
Severity: normal

Dear Maintainer,

I am trying to create a static application which uses libfplll, but this
package installs only the shared object (libfplll.so)



-- System Information:
Debian Release: 7.0
  APT prefers unstable
  APT policy: (500, 'unstable')
Architecture: amd64 (x86_64)
Foreign Architectures: i386

Kernel: Linux 3.2.0-4-amd64 (SMP w/8 CPU cores)
Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash

Versions of packages libfplll-dev depends on:
ii  libfplll0  4.0.1-1

libfplll-dev recommends no packages.

libfplll-dev suggests no packages.

-- no debconf information