Bug#814680: RFS: stp/2.1.2+dfsg-1 [ITP] -- Simple theorem prover

[Afif Elghraoui]

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