Re: Adding SONAME to a shared object in KLEE

Hi Gianfranco, On Fri, 2016-02-12 at 11:51 +, Gianfranco Costamagna wrote: > debdiff attached. This is the exact error message I get when I apply the debdiff patch: llvm[3]: Installing Release+Asserts Shared Library /home/docker/klee-1.1.0/debian/klee/usr/lib/libkleeRuntest.so

Re: Adding SONAME to a shared object in KLEE

Hi, >llvm[3]: Installing Release+Asserts Shared >Library /home/docker/klee-1.1.0/debian/klee/usr/lib/libkleeRuntest.so >/usr/bin/install: cannot stat '/home/docker/klee-1.1.0/Release >+Asserts/lib/libkleeRuntest.so': No such file or directory it is called libkleeRuntest.so.1 or whatever now,

Bug#813933: RFS: sawfish/1:1.11-1 [ITA] -- window manager for X11

On Wed, Feb 10, 2016 at 09:44:09PM +, Jose M Calhariz wrote: > One more interation. uops! This slipped off my sight, sorry for the delay! :| > On 08/02/16 21:57, Mattia Rizzolo wrote: > > On Mon, Feb 08, 2016 at 09:29:55PM +, Jose M Calhariz wrote: > >> Today I didn't review all yours

Bug#807763: Looking for help to solve licence and third-party issues of the tomahawk-player package

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Hi, > Could you review the tomahawk-player package again? I know, there > is much more work needs tobedone. It would be great, if you could > check my answers of the first review and points out what I have to > do next, which thirdparty code I have

Bug#807763: Looking for help to solve licence and third-party issues of the tomahawk-player package

Hi again, it doesn't build on clean environment http://debomatic-amd64.debian.net/distribution#unstable/tomahawk-player/0.8.4-1/buildlog Il Mercoledì 17 Febbraio 2016 16:07, Gianfranco Costamagna ha scritto: -BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Hi, >

Bug#814864: marked as done (RFS: zbackup/1.4.4-1~bpo8+1)

Your message dated Wed, 17 Feb 2016 15:57:37 + (UTC) with message-id <107998777.9181868.1455724657094.javamail.ya...@mail.yahoo.com> and subject line Re: Bug#814864: RFS: zbackup/1.4.4-1~bpo8+1 has caused the Debian Bug report #814864, regarding RFS: zbackup/1.4.4-1~bpo8+1 to be marked as

Bug#814864: RFS: zbackup/1.4.4-1~bpo8+1

Gianfranco, On 17 February 2016 at 13:57, Gianfranco Costamagna wrote: > Hi, I removed you from uploaders (it has to be a no-change bpo, and nobody > should care about lintian). This is something that I had talked with Antonio Terceiro in private when we were

Bug#811214: RFS: retroarch-assets review

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 retroarch-assets first review: 1) rules: why rsync? what about a normal install/cp command? 2) control: std-version is 3.9.7 3) ./xmb/NPMApng2PMApng.py:#Copyright (C) 2011, Maxime Biais 4) please exclude unneeded

Bug#811214: RFS: libretro-core-info

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 libretro-core-info review: things seems good here, maybe just bump std-version and remove the template from rules file (the commented license stuff). (and address what is in common with the assets review) thanks G. -BEGIN PGP SIGNATURE-

Re: RFS: setop/0.1-1 [ITP]

Hello everybody, unfortunately nobody seems to be interested in sponsoring my package setop, so I updated my upload to increase quality. Besides some spelling errors (that will be removed with my next update) there are still a "Watch file is not present" message and some lintian

Bug#815024: RFS: autotalent/0.2-5

Package: sponsorship-requests Severity: normal Dear mentors, I am looking for a sponsor for my package "autotalent" * Package name: autotalent Version : 0.2-5 Upstream Author : Thomas A. Baran * URL : http://tombaran.info/autotalent.html * License

Bug#815027: RFS: ocrmypdf/4.0.1-1 [ITP] -- add an OCR text layer to PDF files

Package: sponsorship-requests Severity: wishlist Dear mentors, I am looking for a sponsor for my package ocrmypdf. OCRmyPDF generates a searchable PDF/A file from a regular PDF containing only images. It uses the Tesseract OCR engine and so supports the 39 languages that Tesseract does. It is

Bug#815032: RFS: hello/3.1-4 ITP

Package: sponsorship-requests Severity: wishlist Dear mentors, I am looking for a sponsor for my package "vizigrep" Package name: vizigrep Version : 1.2-1 Upstream Author : Jason J. Herne (hern...@gmail.com) URL : https://github.com/hernejj/vizigrep License : GPL

Bug#815039: RFS: normaliz 3.1.0+ds-1 [New Upstream Version] -- math computing tools

Package: sponsorship-requests Severity: normal Dear Mentors: I am looking for a sponsor for the normaliz package [1], a mathematical package used by Singular. This package brings to Debian the latest version of normaliz. Thanks in advance, Jerome [1]