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

2017-06-15 Thread Ian A Mason
/main/libp/libpoly0/libpoly0_1.3-2.dsc More information about hello can be obtained from https://www.example.com. Changes since the last upload: None. Regards, Ian A. Mason

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

2017-06-15 Thread Ian A Mason
bout hello can be obtained from https://www.example.com. Changes since the last upload: None. Regards, Ian A. Mason

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