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
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
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
3 matches
Mail list logo