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

[Afif Elghraoui]

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 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:

version=4

opts="dversionmangle=s/\+dfsg\d*$//" \
    https://github.com/stp/stp/tags \
    (?:.*/)?v?(\d[\d\.]*)\.tar\.gz \
    debian

opts="dversionmangle=s/\+dfsg\d*$//,component=outputcheck" \
    https://github.com/stp/OutputCheck/tags \
    (?:.*/)?v?(\d[\d\.]*)\.tar\.gz \
    ignore uupdate

regards
Afif

-- 
Afif Elghraoui | عفيف الغراوي
http://afif.ghraoui.name