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

2016-03-09 Thread Afif Elghraoui
-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

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

2016-02-26 Thread Afif Elghraoui
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

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

2016-02-25 Thread Afif Elghraoui
es Debian contributors really do have their packaging VCS hosted on github. regards Afif 1. https://debian-handbook.info/browse/stable/sect.source-package-structure.html (see the box "Different source package formats") 2. https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=561071 -- Afif Elghraoui | عفيف الغراوي http://afif.ghraoui.name

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

2016-02-24 Thread Afif Elghraoui
build. Most such problems can be found by running lintian, but we first need the package to build in a minimal environment. regards Afif -- Afif Elghraoui | عفيف الغراوي http://afif.ghraoui.name

Bug#793659: closing 793659

2015-08-09 Thread Afif Elghraoui
close 793659 -- The package was sponsored by Laszlo Boszormenyi (GCS) and is currently in the NEW queue: https://ftp-master.debian.org/new/ori_0.8.1%2Bds1-1.html -- To UNSUBSCRIBE, email to debian-mentors-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lis

Bug#793659: RFS: ori/0.8.1+ds1-1 [ITP]

2015-07-26 Thread Afif Elghraoui
ières. Replication, History, and Grafting in the Ori File System. In Proceedings of the 24th Symposium on Operating Systems Principles, November 2013. http://dl.acm.org/ft_gateway.cfm?id=2522721&ftid=1403940&dwn=1 Please consider sponsoring my package. Many thanks and regards Afif -- A

Bug#793659: RFS: ori/0.8.1+ds1-1 [ITP]

2015-07-26 Thread Afif Elghraoui
ding a sponsor will greatly increase if you use a > VCS for the Debian packaging. You can then reference this using the > Vcs-Browser/Vcs-Git sections in d/control. > That's a good tip. I'll publish my repository on launchpad or something with the necessary changes and report

Bug#793659: RFS: ori/0.8.1+ds1-1 [ITP]

2015-07-25 Thread Afif Elghraoui
using this command: dget -x http://mentors.debian.net/debian/pool/main/o/ori/ori_0.8.1+ds1-1.dsc Many thanks and regards, Afif -- Afif Elghraoui | عفيف الغراوي http://afif.ghraoui.name -- To UNSUBSCRIBE, email to debian-mentors-requ...@lists.debian.org with a subject of "unsubscribe&quo