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

2016-03-06 Thread Marko Dimjašević
--git-ignore-branch --git-pbuilder -us -uc -j8 Any clue what went wrong? I looked at the tests/query-files/lit.cfg config file/script in question, but I don't see why it would fail. -- Regards, Marko Dimjašević . University of Utah https://dimjasevic.net/marko . PGP key ID:

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

2016-02-24 Thread Marko Dimjašević
Usually I use the "-i -I" options. Can you be specific, i.e. which other options should I use that reveal issues you are talking about? -- Regards, Marko Dimjašević . University of Utah https://dimjasevic.net/marko . PGP key ID: 1503F0AA Learn email self-defense! https:

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

2016-02-21 Thread Marko Dimjašević
/git/debian-science/packages/stp.git -- Regards, Marko Dimjašević . 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: sponsors

Sponsoring stp/2.1.2+dfsg-1 [ITP] -- Simple theorem prover

2016-02-15 Thread Marko Dimjašević
the first upload (missing copyright info, as explained below) and now I am looking for a sponsor. If you are interested, please see my RFS below or visit: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=814680 -- Kind regards, Marko Dimjašević . University of Utah https://dimjasevic