Bug#840512: libsingular4: please provide debugging symbols for singular

[Ximin Luo]

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