Hi, Marko, على الأحد 21 شباط 2016 18:27، كتب Marko Dimjašević: > > Let me know if I can do something to get you interested in sponsoring > this package for the Simple theorem prover. I am desperately looking for > a sponsor. The package has been in the New queue before. Its details are > given below. The package is also available on Alioth: > > git.debian.org/git/debian-science/packages/stp.git > >
Thanks for working on this package. I took a look at it and found some issues. The first is the requirement of the additional file stp_2.1.2+dfsg.orig-outputcheck.tar.gz. You should not be directly using anything outside the packaging directory. There's at least one other issue--in debian/control, the Vcs URLs should be pointing to the packaging repository rather than upstream. I didn't check further because the package currently doesn't build. Most such problems can be found by running lintian, but we first need the package to build in a minimal environment. regards Afif -- Afif Elghraoui | عفيف الغراوي http://afif.ghraoui.name
