Re: Adding SONAME to a shared object in KLEE

2016-02-18 Thread Marko Dimjašević
Hi Filippo, On Thu, 2016-02-18 at 22:58 +0100, Filippo Rusconi wrote: > [ longish mail, bear with me ] Thank you for this explanation! While I knew about symlinks between shared library files, your explanation made everything very clear! [...] > For each source package that contains a library

Re: texi2dvi / latex / fonts / permissions issue

2016-02-18 Thread Dirk Eddelbuettel
Dirk Eddelbuettel debian.org> writes: > It would appear that something changed in one of the underlying, and I had > taken a shortcut of making by chroot base.tgz a littler 'fatter' by > preloading. Pruning and starting over appears to have fixed the issue. Dang. And it didn't help. Same error

Re: texi2dvi / latex / fonts / permissions issue

2016-02-18 Thread Dirk Eddelbuettel
Dirk Eddelbuettel debian.org> writes: > | Same on regular (unreproducible) sid, just tested on amd64, i386 and armhf. > > Thanks for the feedback! Any idea why my regular / standard pbuilder with > chroot would all of a sudden behave differently? It would appear that something changed in one o

Re: texi2dvi / latex / fonts / permissions issue

2016-02-18 Thread Dirk Eddelbuettel
Holger, Adam, On 18 February 2016 at 20:04, Adam Borowski wrote: | On Thu, Feb 18, 2016 at 06:23:21PM +0100, Holger Levsen wrote: | > On Donnerstag, 18. Februar 2016, Dirk Eddelbuettel wrote: | > > I needed to rebuild r-base to have it use openjdk8 rather openjdk7, but I | > > am stumped at a fon

Work-needing packages report for Feb 19, 2016

2016-02-18 Thread wnpp
The following is a listing of packages for which help has been requested through the WNPP (Work-Needing and Prospective Packages) system in the last week. Total number of orphaned packages: 726 (new: 17) Total number of packages offered up for adoption: 187 (new: 0) Total number of packages reques

Re: Adding SONAME to a shared object in KLEE

2016-02-18 Thread Filippo Rusconi
[ longish mail, bear with me ] Greetings, Marko, On Thu, Feb 18, 2016 at 10:43:27AM -0700, Marko Dimjašević wrote: # Please CC me in replies as I'm not on d-devel Hi all, I would need help with fixing a SONAME issue with my ITP package. It's a tool for development, which systematically explo

Bug#815097: ITP: twitterwatch -- Simple Twitter bot detecting if no tweet was posted recently on a user timeline

2016-02-18 Thread Carl Chenet
Package: wnpp Severity: wishlist Owner: Carl Chenet * Package name: twitterwatch Version : 0.1 Upstream Author : Carl Chenet * URL : https://github.com/chaica/twitterwatch * License : GPL Programming Lang: Python Description : Simple Twitter bot detect

Adding SONAME to a shared object in KLEE

2016-02-18 Thread Marko Dimjašević
# Please CC me in replies as I'm not on d-devel Hi all, I would need help with fixing a SONAME issue with my ITP package. It's a tool for development, which systematically explores as many as possible execution paths in a given program, potentially triggering crashes unknown before. The package

Re: texi2dvi / latex / fonts / permissions issue

2016-02-18 Thread Holger Levsen
Hi Dirk, On Donnerstag, 18. Februar 2016, Dirk Eddelbuettel wrote: > I needed to rebuild r-base to have it use openjdk8 rather openjdk7, but I > am stumped at a font / permission / latexing issue. I have built this > package hundreds of times, and the last time about three weeks ago for > r-base_

texi2dvi / latex / fonts / permissions issue

2016-02-18 Thread Dirk Eddelbuettel
I needed to rebuild r-base to have it use openjdk8 rather openjdk7, but I am stumped at a font / permission / latexing issue. I have built this package hundreds of times, and the last time about three weeks ago for r-base_3.2.3-5. But now it fails at make[2]: Leaving directory '/build/r-base-3.

Bug#815072: ITP: django-webpack-loader -- Transparently use webpack with Django

2016-02-18 Thread Michael Fladischer
Package: wnpp Severity: wishlist Owner: Michael Fladischer -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 * Package name: django-webpack-loader Version : 0.2.4 Upstream Author : Owais Lone * URL : https://github.com/owais/django-webpack-loader * License : Ex