Bug#964062: libfplll-dev:amd64: missing static library libfplll.a

[Vincent Lefevre]

Package: libfplll-dev
Version: 5.3.2-1
Severity: important

The static library libfplll.a is missing. This makes projects that
require static linking fail to build.

-- System Information:
Debian Release: bullseye/sid
  APT prefers unstable-debug
  APT policy: (500, 'unstable-debug'), (500, 'stable-updates'), (500, 'unstable'), (500, 'testing'), (500, 'stable'), (1, 'experimental')
Architecture: amd64 (x86_64)

Kernel: Linux 5.7.0-1-amd64 (SMP w/8 CPU cores)
Kernel taint flags: TAINT_PROPRIETARY_MODULE, TAINT_OOT_MODULE, TAINT_UNSIGNED_MODULE
Locale: LANG=POSIX, LC_CTYPE=C.UTF-8 (charmap=UTF-8), LANGUAGE=POSIX (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Init: systemd (via /run/systemd/system)
LSM: AppArmor: enabled

Versions of packages libfplll-dev:amd64 depends on:
ii  libfplll6    5.3.2-1
ii  libgmp-dev   2:6.2.0+dfsg-6
ii  libmpfr-dev  4.0.2-1

libfplll-dev:amd64 recommends no packages.

libfplll-dev:amd64 suggests no packages.

-- no debconf information

-- 
Vincent Lefèvre <vincent at vinc17.net> - Web: <https://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)