Bug#919743: RFS: rumur/2019.01.12-1 [ITP]

2019-02-01 Thread Matthew Fernandez
Hello mentors, I posted an RFS a little while ago, but didn’t realise I was allowed to deviate from the template and add a little “hot spice” as the FAQ suggests. With that in mind, here’s a snippet from my package’s d/control that may entice some potential sponsors: Rumur is a model checker

Bug#919743: RFS: rumur/2019.01.12-1 [ITP]

2019-01-20 Thread Adam Borowski
On Sun, Jan 20, 2019 at 12:15:54PM -0800, Matthew Fernandez wrote: > > On Jan 19, 2019, at 17:29, Adam Borowski wrote: > > > > On Fri, Jan 18, 2019 at 06:43:13PM -0800, Matthew Fernandez wrote: > >> * Package name: rumur > >> Version : 2019.01.12-1 > > The package fails to build: >

Bug#919743: RFS: rumur/2019.01.12-1 [ITP]

2019-01-20 Thread Matthew Fernandez
> On Jan 19, 2019, at 17:29, Adam Borowski wrote: > > On Fri, Jan 18, 2019 at 06:43:13PM -0800, Matthew Fernandez wrote: >> * Package name: rumur >> Version : 2019.01.12-1 > >> dget -x >> https://mentors.debian.net/debian/pool/main/r/rumur/rumur_2019.01.12-1.dsc > >> Changes

Bug#919743: RFS: rumur/2019.01.12-1 [ITP]

2019-01-19 Thread Adam Borowski
On Fri, Jan 18, 2019 at 06:43:13PM -0800, Matthew Fernandez wrote: > * Package name: rumur > Version : 2019.01.12-1 > dget -x > https://mentors.debian.net/debian/pool/main/r/rumur/rumur_2019.01.12-1.dsc > Changes since the last upload: > > Initial release. Closes #919220. The

Bug#919743: RFS: rumur/2019.01.12-1 [ITP]

2019-01-18 Thread Matthew Fernandez
Package: sponsorship-requests Severity: normal Dear mentors, I am looking for a sponsor for my package "rumur" * Package name: rumur Version : 2019.01.12-1 Upstream Author : Matthew Fernandez * URL : https://github.com/Smattr/rumur * License : The Unlicense