Your message dated Sun, 17 Mar 2013 13:20:15 +0100
with message-id <[email protected]>
and subject line Closing bug
has caused the Debian Bug report #702898,
regarding libfplll-dev: Missing libfplll.a
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact [email protected]
immediately.)
--
702898: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=702898
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
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
--- End Message ---
--- Begin Message ---
The new 4.0.1-2 upload fixes the problem ; the changelog entry contains
the wrong bug number to close, which is why this mail is needed.
Snark on #debian-science
--- End Message ---
