Package: libflint-dev Version: 2.5.2-15 Severity: minor Dear Maintainer,
The FLINT library supports building a static library. This upstream-default is explicitly disabled in the Debian package, seemingly for no reason. Could the --disable-static configure option be removed? A static library would be convenient for those of us who need to build statically linked programs using FLINT. Regards, Gard Spreemann -- System Information: Debian Release: 9.2 APT prefers stable-updates APT policy: (500, 'stable-updates'), (500, 'stable') Architecture: amd64 (x86_64) Kernel: Linux 4.9.0-4-amd64 (SMP w/8 CPU cores) Locale: LANG=en_IE.UTF-8, LC_CTYPE=en_IE.UTF-8 (charmap=UTF-8), LANGUAGE=en_US:en (charmap=UTF-8) Shell: /bin/sh linked to /bin/dash Init: systemd (via /run/systemd/system) Versions of packages libflint-dev depends on: ii libflint-2.5.2 2.5.2-15 ii libmpfr-dev 3.1.5-1 libflint-dev recommends no packages. libflint-dev suggests no packages. -- no debconf information
