[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

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 October last year [2]. The package got rejected a few
days ago, and I fixed issues with it in this submission. I would ask the
owner to sponsor this submission too, but I haven't heard from him since
last year and there was no reply to my emails in the meantime. 

Let me know if someone could directly sponsor the submission or if a
different approach is needed.


[1] https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=789055
[2]
https://web.archive.org/web/20151027054349/https://ftp-master.debian.org/new/stp_2.1.1+dfsg-1.html


-- 
Regards,
Marko
https://dimjasevic.net/marko

Attachment: signature.asc
Description: This is a digitally signed message part


Reply to: