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

control: tags -1 moreinfo Hi, On Wed, 9 Mar 2016 20:48:46 -0800 Afif Elghraoui wrote: > -BEGIN PGP SIGNED MESSAGE- > Hash: SHA256 > > Hi, Marko, > > On الأحد 6 آذار 2016 14:53, Marko Dimjašević wrote: > > > > On Fri, 2016-02-26 at 17:42 -0800, Afif

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

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Hi, Marko, On الأحد 6 آذار 2016 14:53, Marko Dimjašević wrote: > > On Fri, 2016-02-26 at 17:42 -0800, Afif Elghraoui wrote: >> Something like the following: >> [...] > Thank you Afif for this! > No problem. > I am not sure what is the cause

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

Hi all, On Fri, 2016-02-26 at 17:42 -0800, Afif Elghraoui wrote: > That's alright, you can go ahead. I would just add that the source for > the second tarball be documented somewhere or configured to be > downloaded in debian/watch with a second uscan line. Something like > the > following: > >

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

Hi, Anton, على الجمعـة 26 شباط 2016 ‫11:42، كتب Anton Gladky: > Hi Marko, > [...] > 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). > That's

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

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

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

على الأربعاء 24 شباط 2016 ‫23:34، كتب Marko Dimjašević: > > Thank you for taking a look at the package! > No problem. > >> 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

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

Hi Afif, On Wed, 2016-02-24 at 21:16 -0800, Afif Elghraoui wrote: > Thanks for working on this package. Thank you for taking a look at the 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 >

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

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

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

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:

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

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

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

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" Just to clarify this... With the sponsorship of the ITP's [1] owner I uploaded a first version of STP back in