Bug#948752: RFS: rumur/2020.01.11-1 -- model checker for the Murphi language

2020-01-12 Thread Matthew Fernandez
On Sun, 12 Jan 2020 at 16:56, Adam Borowski wrote: > On Sun, Jan 12, 2020 at 02:13:18PM -0800, Matthew Fernandez wrote: > > * Package name: rumur > >Version : 2020.01.11-1 > > > Changes since the last upload: > > > >* New upstream release. > > Hi! > I'm afraid your package fai

Bug#948752: RFS: rumur/2020.01.11-1 -- model checker for the Murphi language

2020-01-12 Thread Adam Borowski
On Sun, Jan 12, 2020 at 02:13:18PM -0800, Matthew Fernandez wrote: > * Package name: rumur >Version : 2020.01.11-1 > Changes since the last upload: > >* New upstream release. Hi! I'm afraid your package fails autopkgtests, due to a bogus dependency on non-existing "libgmp".

Bug#948750: marked as done (RFS: freelan/2.2-1 [RC] [QA] -- Peer-to-peer virtual private network daemon)

2020-01-12 Thread Debian Bug Tracking System
Your message dated Mon, 13 Jan 2020 01:47:46 +0100 with message-id <20200113004746.ga28...@angband.pl> and subject line Re: Bug#948750: RFS: freelan/2.2-1 [RC] [QA] -- Peer-to-peer virtual private network daemon has caused the Debian Bug report #948750, regarding RFS: freelan/2.2-1 [RC] [QA] -- Pe

Bug#948752: RFS: rumur/2020.01.11-1 -- model checker for the Murphi language

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

Re: aghermann: ftbfs with GCC-9

2020-01-12 Thread Matthew Fernandez
> On Jan 12, 2020, at 12:49, Andreas Tille wrote: > > Hi, > > I'm wondering how this bug > > > rk1968/rk1968.cc: In lambda function: > rk1968/rk1968.cc:237:103: error: expected '{' before '->' token > 237 | auto make_error_return = [&L] ( const char* fmt, ...) > __attribute__ ((for

Bug#948750: RFS: freelan/2.2-1 [RC] [QA] -- Peer-to-peer virtual private network daemon

2020-01-12 Thread HÃ¥vard Flaget Aasen
Package: sponsorship-requests Severity: important Dear mentors, I am looking for a sponsor for my package "freelan" * Package name: freelan Version : 2.2-1 Upstream Author : * URL : https://www.freelan.org * License : GPL-3+ * Vcs : https://

Bug#948749: RFS: xcb/2.4-5 [QA] -- Pigeon holes for your cut and paste selections

2020-01-12 Thread Sudip Mukherjee
Package: sponsorship-requests Severity: normal Dear mentors, I am looking for a sponsor for my package "xcb" * Package name: xcb Version : 2.4-5 Upstream Author : None (dead upstream) * URL : NA * License : BSD-like * Vcs : https://salsa.debi

Re: aghermann: ftbfs with GCC-9

2020-01-12 Thread Andreas Tille
Control: tags -1 help Control: tags -1 upstream Control: forwarded -1 Andrei Zavada Hi, I'm wondering how this bug rk1968/rk1968.cc: In lambda function: rk1968/rk1968.cc:237:103: error: expected '{' before '->' token 237 | auto make_error_return = [&L] ( const char* fmt, ...) __att

Bug#948621: marked as done (RFS: synthv1/0.9.12-1 -- old-school polyphonic synthesizer - standalone/lv2)

2020-01-12 Thread Debian Bug Tracking System
Your message dated Sun, 12 Jan 2020 20:33:39 +0100 with message-id <20200112193339.4ewxrseoyshor...@ramacher.at> and subject line Re: Bug#948621: RFS: synthv1/0.9.12-1 -- old-school polyphonic synthesizer - standalone/lv2 has caused the Debian Bug report #948621, regarding RFS: synthv1/0.9.12-1 --

Bug#948623: marked as done (RFS: drumkv1/0.9.12-1 -- old-school drum-kit sampler - standalone/lv2)

2020-01-12 Thread Debian Bug Tracking System
Your message dated Sun, 12 Jan 2020 20:29:02 +0100 with message-id <20200112192901.x7qezrjmeuy4v...@ramacher.at> and subject line Re: Bug#948623: RFS: drumkv1/0.9.12-1 -- old-school drum-kit sampler - standalone/lv2 has caused the Debian Bug report #948623, regarding RFS: drumkv1/0.9.12-1 -- old-s

Bug#948622: marked as done (RFS: samplv1/0.9.12-1 -- polyphonic sampler synthesizer - standalone/lv2)

2020-01-12 Thread Debian Bug Tracking System
Your message dated Sun, 12 Jan 2020 20:11:32 +0100 with message-id <20200112191131.ir4mxuiuxn4ly...@ramacher.at> and subject line Re: Bug#948622: RFS: samplv1/0.9.12-1 -- polyphonic sampler synthesizer - standalone/lv2 has caused the Debian Bug report #948622, regarding RFS: samplv1/0.9.12-1 -- po