Control: notfound -1 4.0.3-p3+ds-1 Control: close -1 Thanks, my bad. They are indeed in debian-debug, I didn't know about that one.
X Jerome BENOIT: > Hi, thanks for your report. > > On 12/10/16 12:04, Ximin Luo wrote: >> Package: libsingular4 >> Version: 4.0.3-p3+ds-1 >> Severity: normal > >> Dear Maintainer, > >> Please provide debugging symbols for singular. > > They are provided. > > > >> In fact I can't figure out why this is not already happening - debhelper >> should in theory generate them automatically. > > Have you tried to fetch them from debian-debug [1] ? > > Thanks, > Jerome > > > > > > >> X > > [1] https://wiki.debian.org/DebugPackage > > >> -- System Information: >> Debian Release: stretch/sid >> APT prefers testing >> APT policy: (990, 'testing'), (500, 'stable'), (300, 'unstable'), (200, >> 'experimental') >> Architecture: amd64 (x86_64) >> Foreign Architectures: i386 > >> Kernel: Linux 4.6.0-1-amd64 (SMP w/4 CPU cores) >> Locale: LANG=en_GB.utf8, LC_CTYPE=en_GB.utf8 (charmap=UTF-8) >> Shell: /bin/sh linked to /bin/dash >> Init: systemd (via /run/systemd/system) > >> Versions of packages libsingular4 depends on: >> ii libc6 2.24-3 >> ii libflint-2.5.2 2.5.2-9 >> ii libgcc1 1:6.1.1-11 >> ii libgmp10 2:6.1.1+dfsg-1 >> ii libmpfr4 3.1.5-1 >> ii libntl27 9.9.1-3 >> ii libreadline7 7.0-1 >> ii libstdc++6 6.1.1-11 >> ii libtinfo5 6.0+20160917-1 > >> libsingular4 recommends no packages. > >> libsingular4 suggests no packages. > >> -- no debconf information > > > -- GPG: ed25519/56034877E1F87C35 GPG: rsa4096/1318EFAC5FBBDBCE https://github.com/infinity0/pubkeys.git
