Bug#949041: RFS: pidgin-sipe/1.25.0-1 -- Pidgin plugin for Skype for Business and Microsoft Lync

2020-01-16 Thread Jakub Adam
Package: sponsorship-requests Severity: normal Dear mentors, I am looking for a sponsor for my package "pidgin-sipe" * Package name: pidgin-sipe Version : 1.25.0-1 Upstream Author : [fill in name and email of upstream] * URL : http://sipe.sourceforge.net/ * Lice

Re: Help: Building asymptote on alpha

2020-01-16 Thread Matthew Fernandez
This error appears to be from the BDW garbage collector [0]. Are you sure it works on Linux on Alpha? The docs refer to a missing file, README.alpha, and the source has exciting comments like “untested but hopefully should work on Linux/Alpha.” What’s going on here might be an mmap or sbrk failu

Re: Help: Building asymptote on alpha

2020-01-16 Thread Hilmar Preuße
Am 16.01.2020 um 17:24 teilte Matthew Fernandez mit: Hi, > This error appears to be from the BDW garbage collector [0]. Are you > sure it works on Linux on Alpha? The docs refer to a missing file, > README.alpha, and the source has exciting comments like “untested but > hopefully should work on L

Re: Help: Building asymptote on alpha

2020-01-16 Thread Hilmar Preuße
Am 16.01.2020 um 03:31 teilte Ko Ko Ye` mit: > use swap or tune ram ?? > Otherwise may I test for you ?. > Do you have an alpha CPU @hand? If there would be RAM pressure I'd expect that top shows me high RAM utilization, which is not the case. I guess, the idea of Matthew Fernandez sounds plausi

Re: Help: Building asymptote on alpha

2020-01-16 Thread Matthew Fernandez
On Thu, 16 Jan 2020 at 10:53, Hilmar Preuße wrote: > Am 16.01.2020 um 17:24 teilte Matthew Fernandez mit: > > Hi, > > > This error appears to be from the BDW garbage collector [0]. Are you > > sure it works on Linux on Alpha? The docs refer to a missing file, > > README.alpha, and the source has

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

2020-01-16 Thread Matthew Fernandez
> On Jan 15, 2020, at 10:33, Adam Borowski wrote: > > On Tue, Jan 14, 2020 at 08:07:05PM -0800, Matthew Fernandez wrote: >> OK, uploaded a new version with this fix. Please let me know if you have a >> chance to take another look. > > Alas, still fails: > > /usr/bin/ld: > /usr/lib/gcc/x86_64

Is SDDM not expected to be installed during Base System setup?

2020-01-16 Thread Chew, Kean Ho
Hi mentors, is SDDM package not expected to get installed during base system setup phase in a simple-cdd built Debian ISO OS installation? Despite being added, it was not installed. However, the problem does not occur if I place it under 'selected packages' phase (as in preseeding) or `postinst`

Re: Is SDDM not expected to be installed during Base System setup?

2020-01-16 Thread Paul Wise
On Fri, Jan 17, 2020 at 2:24 AM Chew, Kean Ho wrote: > is SDDM package not expected to get installed during base system setup phase > in a simple-cdd built Debian ISO OS installation? For future simple-cdd questions I suggest contacting the simple-cdd maintainer about this, most folks on this lis

Re: Is SDDM not expected to be installed during Base System setup?

2020-01-16 Thread Chew, Kean Ho
On Fri, Jan 17, 2020 at 11:25 AM Paul Wise wrote: > > For future simple-cdd questions I suggest contacting the simple-cdd > maintainer about this, most folks on this list aren't simple-cdd users > (including me). > > simple-...@packages.debian.org > Wow, a dedicated channel. Noted with thanks. I

Re: Is SDDM not expected to be installed during Base System setup?

2020-01-16 Thread Paul Wise
On Fri, Jan 17, 2020 at 3:56 AM Chew, Kean Ho wrote: > On Fri, Jan 17, 2020 at 11:25 AM Paul Wise wrote: > > > For future simple-cdd questions I suggest contacting the simple-cdd > > maintainer about this, most folks on this list aren't simple-cdd users > > (including me). > > > > simple-...@packag

Re: Is SDDM not expected to be installed during Base System setup?

2020-01-16 Thread Chew, Kean Ho
On Fri, Jan 17, 2020 at 12:04 PM Paul Wise wrote: > > > $ apt-cache showsrc simple-cdd | grep @ This...is life saver. Thanks for the sharing. > Maintainer: Simple-CDD Developers > Uploaders: Vagrant Cascadian > > BTW, in case you want to help improve the Debian wiki page about > simple-cdd, I'