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

2016-10-12 Thread 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  libgmp102:6.1.1+dfsg-1
>> ii  libmpfr43.1.5-1
>> ii  libntl279.9.1-3
>> ii  libreadline77.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



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

2016-10-12 Thread Jerome BENOIT
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA512

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  libgmp102:6.1.1+dfsg-1
> ii  libmpfr43.1.5-1
> ii  libntl279.9.1-3
> ii  libreadline77.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
> 

- -- 
Jerome BENOIT, Ph.D. | jgmbenoit-at+rezozer*dot_net
http://www.rezozer.net/

- -- 
Jerome BENOIT | calculus+at-rezozer^dot*net
https://qa.debian.org/developer.php?login=calcu...@rezozer.net
AE28 AE15 710D FF1D 87E5  A762 3F92 19A6 7F36 C68B
-BEGIN PGP SIGNATURE-

iQQcBAEBCgAGBQJX/k9iAAoJED+SGaZ/NsaLw3Qf/0yWSmvcXPeB8umk4HG+dEQJ
/Gt5O8UVkQs64CwdIpEgyyhxAhtfwXexQI7uuQu1XVVzIakQckzIIPuRh6DnjZbR
ZVryBDeFRdOJyouLPkp0v1IvBjy4icPJtiw7yZzYTjXi6EMnUAY8tp+RmFy5KNc7
GdYhx1t0dieh3UjOUkJ/3qQvXIxn7BfPmiUU+hHCNd4V93NFzN6eZlihGs3qsoOe
RP40sG8MtnmZydlvD1C+faXhDIc9ke7DbCpXpwxZfCglOt3j6YhS5GRyMNYicmyP
Pna11biMZ2amLMWpRvrZcS/prOqZPGcbPlwMPhe76oeTxWF3V2QZ8vuDV4WL5Y7K
U1xkbTbK7gnb0pbKX+jtiPaTH52YditYsyMlBYRRPic7Zrf3z0D9hRWH/WYOMqFA
gYuVZk4aEUES20tRHBhCpwlxxqUgDpwweKYyt6UsSobPQWic+uwNKezlMSxQZuH8
iq8y5DOVA0sjrsBZNocoEo4nSbqppUuhouSftKe0mFqL7/FlxkV0IeWFaJZfsgBQ
gmy6dvfedfqi5ZVwVa7cViBSrgS/JFQTyj52ndhc1L2X+jw+Jo0mphXjTsf++j2u
D5MR+1Lt6zZrzs8OS24WT2ijpM7rlPl4I1iTE0ZY5RBWI/oeerjqFN3OgIOkuWBr
oGGudKk4tW1W4tQuw9f/CWbkS4VbnsEp+dbnDF6BGZbQvL17WmQCGsZN2KeJRzXd
wXJy1RkNuM2JPZIHCdni0lVL1CslyhHK23D4kRDe4kQ+3THRo4809B7T3iZA8QWH
ezcFN/wOhyuGovy4x8znPBKlVAtVEwstiiF5veSwzf/fpGIxrrV4Cp+t2fU8+eZ5
jZXwV2XOozyFRFN711frHjoXaihlhSdIJPJNBQAt+BrljoaJP+TmCN6ABcj/TwCO
JnP0a0562+OJ/0yUdEkjGxfctUTE2NTbyAdrMmqcmYKqtv4VWF8sA+Lu5E1t5csh
f8/g9bCwCsl48MS2W5cTMO0WqNXYcOOhpl6Cga1AMLVfAt1fzeOUtmoPx3f0lD8C
GuAMLC9UYJC3/mL0N7ikOWt1d1dgNUUkjK8x8ql2Bf7paheCa5FvY4/9EAAIYD1v
5UBNTJjova5l7JjetGn6IuPugqfUSIZC1FxM/3MtKONL8p9vaWPIA/dPq66xL0E9
P6iRkig66rTdNVqNI/2xjNdQYxwr3QGq2+r7+t5E5nlIrUAPa1G5IuF+eMFvBNHM
6gv3bwz1uYZdvU4hn7RumSoQo1BrVI1f8mczY/8IfIFe4cmEwUNj1ADpRlFekYaT
mb/uM1kEE9hju4KdizBh8R7tRST6lERRlxBK8GVWbUdnQipZDVUQRxQ2uyDOj3U=
=1ZVu
-END PGP SIGNATURE-



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

2016-10-12 Thread Ximin Luo
Package: libsingular4
Version: 4.0.3-p3+ds-1
Severity: normal

Dear Maintainer,

Please provide debugging symbols for singular.

In fact I can't figure out why this is not already happening - debhelper
should in theory generate them automatically.

X

-- 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  libgmp102:6.1.1+dfsg-1
ii  libmpfr43.1.5-1
ii  libntl279.9.1-3
ii  libreadline77.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