Bug#864839: RFS: yices2/2.6.0-2 [ITP]

2017-08-10 Thread Andrey Rahmatullin
debian/copyright has an incorrect short license name. OTOH the project license is actually GPL-3+. etc/pstdint.h and etc/msinttypes-r26.zip aren't mentioned in debian/copyright. There is no debian/watch. --with autoreconf is the default in compat 10. doc/sat-solver-papers contains sourceless and p

Bug#871693: RFS: tinymux/2.10.1.14-1 [RC]

2017-08-10 Thread Andrey Rahmatullin
Control: severity -1 important Control: tags -1 + moreinfo On Thu, Aug 10, 2017 at 11:32:54AM -0600, Stephen Dennis wrote: > Package: sponsorship-requests > Severity: normal [RC bug will auto-remove package on the 20th] That statement actually means "put "important" here if RC". > Changes since t

Bug#864838: RFS: libpoly0/1.3-2 [ITP]

2017-08-10 Thread Andrey Rahmatullin
On Thu, Aug 10, 2017 at 11:36:03AM -0700, Ian A Mason wrote: > Andrey, > > We do not see any lintian warnings: > > > dpkg-deb: building package 'libpoly-dev' in > '../libpoly-dev_1.4-1_amd64.deb'. > dpkg-deb: building package 'libpoly0' in '../libpoly0_1.4-1_amd64.deb'. > dpkg-deb: building pack

Bug#864838: RFS: libpoly0/1.3-2 [ITP]

2017-08-10 Thread Andrey Rahmatullin
The source package name shouldn't contain the soname, please rename the package to libpoly and retitle the bug accordingly. include/version.h should be added to debian/clean instead of rm'ing it in rules. debian/copyright has an incorrect short license name. There is no debian/watch. Please use th

Bug#864838: RFS: libpoly0/1.3-2 [ITP]

2017-08-10 Thread Ian A Mason
Andrey, We do not see any lintian warnings: dpkg-deb: building package 'libpoly-dev' in '../libpoly-dev_1.4-1_amd64.deb'. dpkg-deb: building package 'libpoly0' in '../libpoly0_1.4-1_amd64.deb'. dpkg-deb: building package 'libpoly-dbg' in '../libpoly-dbg_1.4-1_amd64.deb'. dpkg-genbuildinfo

Bug#869420: marked as done (RFS: python-pymeasure/0.4.5-1 [ITP])

2017-08-10 Thread Debian Bug Tracking System
Your message dated Thu, 10 Aug 2017 19:17:35 +0100 with message-id <3698215a-8232-766c-71bd-18b2409d5...@gmail.com> and subject line uploaded to unstable has caused the Debian Bug report #869420, regarding RFS: python-pymeasure/0.4.5-1 [ITP] to be marked as done. This means that you claim that the

Fortinet/Juniper Networks/CheckPoint Users

2017-08-10 Thread autumn . perry
style="margin-bottom:0.0001pt;line-height:normal">style="color:rgb(31,78,121)">Hi, style="color:rgb(34,34,34)"> style="margin-bottom:0.0001pt;line-height:normal">style="color:rgb(31,78,121)"> would you be interested in Fortinet/Juniper Networks/CheckPoint Users contact list? style="margin-

Bug#871693: RFS: tinymux/2.10.1.14-1 [RC]

2017-08-10 Thread Stephen Dennis
Package: sponsorship-requests Severity: normal [RC bug will auto-remove package on the 20th] Dear mentors, I am looking for a sponsor for my package "tinymux" * Package name: tinymux Version : 2.10.1.14-1 Upstream Author : Stephen Dennis * URL : https://www.tinym

Bug#843126: marked as done (RFS: freight/0.3.9-2 [ITP] -- easy-to-understand shell scripts to handle APT repositories)

2017-08-10 Thread Debian Bug Tracking System
Your message dated Thu, 10 Aug 2017 13:08:50 -0400 with message-id and subject line Closing freight RFS has caused the Debian Bug report #843126, regarding RFS: freight/0.3.9-2 [ITP] -- easy-to-understand shell scripts to handle APT repositories to be marked as done. This means that you claim t

Bug#871682: RFS: xtensor-python/0.12.2-1

2017-08-10 Thread Ghislain Vaillant
Package: sponsorship-requests Severity: normal Dear mentors, I am looking for a sponsor for the following package: * Package name: xtensor-python Version : 0.12.2-1 Upstream Author : Johan Mabille, Sylvain Corlay and Wolf Vollprecht * URL : http://quantstack.net/xten