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

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#864839: RFS: yices2/2.6.0-2 [ITP]

Control: tags -1 + moreinfo Please use the automatic debug packages. The debian revision for an initial upload should be -1. Please update Standards-Version to the current version. Please switch to the debhelper compat level 10. debian/copyright lacks Source and Upstream-Name. Please disable DH_VE

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

Package: sponsorship-requests Severity: normal [important for RC bugs, wishlist for new packages] Dear mentors, I am looking for a sponsor for my package "yices2" * Package name: yices2 Version : 2.6.0-2 Upstream Author : Bruno Dutertre * URL : yices.csl.s