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 possibly non-free PDFs.
doc/smt2/smt-lib-reference-v2.0-r12.09.09.pdf doesn't seem to have source
and means to build it.
doc/manual/ contains EPS and PDF files, all of them should have source and
means to build it, and if they are installed into the binry packages they
should be rebuilt during the package build process.
lintian displays some of these and a lot of other problems, you seem to
not run it properly (with -IE --pedantic and against the binary .changes).

Please use the automatic debug packages. - still not fixed
Please update Standards-Version to the current version. - still not fixed
Please fix lintian warnings related to the descriptions. - still not fixed
Consider using dh_auto_{build,install,test} with additional args instead
of just make. CPPFLAGS are already added to CFLAGS in compat 9 when using
dh_auto_*. - still not fixed




-- 
WBR, wRAR


signature.asc
Description: PGP signature

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

2017-07-25 Thread Andrey Rahmatullin 
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_VERBOSE.
Please fix lintian warnings related to the descriptions.
I don't like the .install.in thing, I think you should better use
dh-exec(1) or make the upstream build system do the right thing.
Consider using dh_auto_{build,install,test} with additional args instead
of just make. CPPFLAGS are already added to CFLAGS in compat 9 when using
dh_auto_*.
The package doesn't build: "configure:5053: error: *** libpoly library not
found. Try to set LDFLAGS ***".


-- 
WBR, wRAR


signature.asc
Description: PGP signature

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

2017-06-15 Thread Ian A Mason 

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.sri.com
 * License : GPL-3.0
   Section : misc

  It builds those binary packages:

 libyices2.6 - Yices SMT Solver API Library
 yices2 - Yices SMT Solver
 yices2-dbg - Yices SMT Solver
 yices2-dev - C library for manipulating multivariate polynomials

  To access further information about this package, please visit the following 
URL:

  https://mentors.debian.net/package/yices2


  Alternatively, one can download the package with dget using this command:

dget -x 
https://mentors.debian.net/debian/pool/main/y/yices2/yices2_2.6.0-2.dsc

  More information about hello can be obtained from https://www.example.com.

  Changes since the last upload:

  None.


  Regards,
   Ian A. Mason