-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
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:
>
>
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
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
على الأربعاء 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
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
>
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
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: