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

[Anton Gladky]

Hi Marko,

the package looks fine, but I have a couple of notice:

- Use DEP-3 format for the patch
- Try not to use source/lintian-overrides, but fix it in the code.
- lib/extlib-abc/aig/cnf/cnfData.c looks strange, is it some kind
  of binary, not the source code?
- Use Files-Exclude parameter in d/copyright to drop PDF-files and
  generate dfsg-version of package.
- Apply "cme fix dpkg" to fix parameters formatting
- Use desktop-file instead of menu-file [1]:
- What is "outfile"?
- Clean d/rules from some comments, which are not relevant
- stp.install:
   - Remove debian/tmp, use just usr/bin usr/include etc.
   - Do not use versions in libs, use instead usr/lib/libstp.so.*
   - Think, whether you really need static lib (libstp.a)
   - Use multiarch path (GNUInstallDirs does it perfectly for cmake)
   - Think about splitting stp onto: stp, libstp2.1 and libstp-dev
(not mandatory)
- Please use VCS on git.debian.org
- Fix control-file according to debian-science policy
- Please double-check all files and their licenses. Everything should be
  documented in d/copyright.

Feel free to ask me, if you have some questions regarding those
notes. You have done a great job, please fix those notices and
I will upload the package (Afif, if you want, feel free to do it).

[1] https://lists.debian.org/debian-devel-announce/2015/09/msg00000.html
"We further resolve that "menu programs" should not depend on the
 Debian Menu System and should instead rely on .desktop file
 contents for constructing a list of applications to present to
 the user."

Best regards

Anton


2016-02-22 3:27 GMT+01:00 Marko Dimjašević <marko at dimjasevic.net>:
> Dear all,
>
> 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
>
>
> --
> Regards,
> Marko Dimjašević <marko at cs.utah.edu> .   University of Utah
> https://dimjasevic.net/marko         . PGP key ID: 1503F0AA
> Learn email self-defense!  https://emailselfdefense.fsf.org
>
>
> On Sat, 2016-02-13 at 17:41 -0700, Marko Dimjašević wrote:
>> Package: sponsorship-requests
>> Severity: wishlist
>>
>> Dear mentors,
>>
>> I am looking for a sponsor for my package "stp"
>>
>> * Package name    : stp
>>   Version         : 2.1.2+dfsg-1
>>   Upstream Author : STP developers
>> * URL             : https://stp.github.io/
>> * License         : Expat and others
>>   Section         : science
>>
>> It builds those binary packages:
>>
>>   python-stp - Simple theorem prover library bindgings for Python
>>   stp - Simple theorem prover
>>
>> To access further information about this package, please visit the
>> following URL:
>>
>>   http://mentors.debian.net/package/stp
>>
>>
>> Alternatively, one can download the package with dget using this
>> command:
>>
>>   dget -x http://mentors.debian.net/debian/pool/main/s/stp/stp_2.1.2
>> +dfsg-1.dsc
>>
>> More information about STP can be obtained from https://stp.github.io/.
>>
>> Changes since the last upload:
>>
>>   - new upstream release
>>   - added copyright for the OutputCheck archive per Thorsten Alteholz's
>> instructions (ftp-master)
>>
>>
>
>
> --
> debian-science-maintainers mailing list
> debian-science-maintainers at lists.alioth.debian.org
> http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/debian-science-maintainers