Bug#819615: RFS: spin/6.4.5-1 [ITP] -- formal software verification tool

2016-05-18 Thread Tom Lee
Cheers for the review Mattia! I'll look into all of this. A few comments: On Sun, May 15, 2016 at 9:19 AM, Mattia Rizzolo wrote: > ... > * d/patches/01_makefile_fixes.patch: > + Probably use += instead of ?= in the first CFLAGS? > + I'd rather use install(1) instead of cp(1) > + Really for

Bug#819615: RFS: spin/6.4.5-1 [ITP] -- formal software verification tool

2016-04-24 Thread Tom Lee
Still looking for a sponsor for the spin verification tool. I added a spin-dbg binary package to the mix earlier today: http://mentors.debian.net/package/spin Builds fine in pbuilder, is lint clean, etc. Appreciate reviews too! -- *Tom Lee */ http://tomlee.co / @tglee <http://twitter.com/tglee>

Bug#819615: RFS: spin/6.4.5-1 [ITP] -- formal software verification tool

2016-03-31 Thread Tom Lee
Great, got it -- thanks Paul. Uploading to mentors again now. On Wed, Mar 30, 2016 at 11:59 PM, Paul Wise wrote: > On Thu, Mar 31, 2016 at 2:47 PM, Tom Lee wrote: > > > N.B. no watchfile is present due to the naming strategy of the upstream > tarball: > > uscan interprets

Bug#819615: RFS: spin/6.4.5-1 [ITP] -- formal software verification tool

2016-03-30 Thread Tom Lee
Package: sponsorship-requests Severity: normal Dear mentors, I am looking for a sponsor for the "spin" package: * Package name: spin Version : 6.4.5 Upstream Author : Gerard J. Holzmann * URL : http://spinroot.com * License : BSD-3-clause Section :

Re: not installed and installed , where they store?

2015-05-09 Thread Tom Lee
did you > really find all unique values? Try: > > grep ^Status: /var/lib/dpkg/status | sort | uniq -c > > cheers, josch > -- *Tom Lee */ http://tomlee.co / @tglee <http://twitter.com/tglee>

Re: not installed and installed , where they store?

2015-05-09 Thread Tom Lee
/// > > My query means not installed and installed !(ii) > > When dpkg read it, dpkg read from where? > > > --Regards > Mohsen > > > -- To UNSUBSCRIBE, email to debian-mentors-requ...@lists.debian.org with > a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org > Archive: https://lists.debian.org/554ec53c.9090...@pahlevanzadeh.org -- *Tom Lee */ http://tomlee.co / @tglee <http://twitter.com/tglee>

Re: Shared library binary package, SONAME changes and file conflicts

2015-05-06 Thread Tom Lee
https://github.com/redis/hiredis/issues/327 -- sounds like upstream's on-board. Thanks for your help Andrey! On Wed, May 6, 2015 at 5:50 AM, Andrey Rahmatullin wrote: > On Tue, May 05, 2015 at 10:43:57PM -0700, Tom Lee wrote: > > After reading a little more about shared lib nami

Re: Shared library binary package, SONAME changes and file conflicts

2015-05-05 Thread Tom Lee
f9abf Cheers, Tom On Tue, May 5, 2015 at 10:43 PM, Tom Lee wrote: > Hey Andrey, thanks for the advice: > > On Tue, May 5, 2015 at 9:49 PM, Andrey Rahmatullin > wrote: > >> On Tue, May 05, 2015 at 09:09:10PM -0700, Tom Lee wrote: >> > By and large that's an e

Re: Shared library binary package, SONAME changes and file conflicts

2015-05-05 Thread Tom Lee
Hey Andrey, thanks for the advice: On Tue, May 5, 2015 at 9:49 PM, Andrey Rahmatullin wrote: > On Tue, May 05, 2015 at 09:09:10PM -0700, Tom Lee wrote: > > By and large that's an easy & mostly mechanical change, but both > > libhiredis0.10 and libhiredis0.13 want to ins

Shared library binary package, SONAME changes and file conflicts

2015-05-05 Thread Tom Lee
ntains no backward-incompatible changes from 0.10 (which I have yet to verify), I feel like everything should continue to work fine. Is this the right way to handle the situation, or is there a better way to do this? Cheers, Tom -- *Tom Lee */ http://tomlee.co / @tglee <http://twitter.com/tglee>

Re: Access to mips64el system wanted to fix a bug in the capnproto package

2014-04-19 Thread Tom Lee
? On Sat, Apr 19, 2014 at 2:33 PM, Stephen Kitt wrote: > Hi Tom, > > On Sat, 19 Apr 2014 13:29:48 -0700, Tom Lee wrote: > > Does the Debian project have hardware/VMs set aside to help > > packagers/upstream maintainers diagnose this sort of thing? I don't think >

Access to mips64el system wanted to fix a bug in the capnproto package

2014-04-19 Thread Tom Lee
thing -- happy to ask there if it's more appropriate. Thanks! Tom -- *Tom Lee */ http://tomlee.co / @tglee <http://twitter.com/tglee>

Re: New upstream source tarball introduces a new shared library

2013-11-13 Thread Tom Lee
For your review, Vincent: http://mentors.debian.net/package/capnproto http://mentors.debian.net/debian/pool/main/c/capnproto/capnproto_0.3.0-1.dsc Thanks again. On Wed, Nov 13, 2013 at 12:29 AM, Vincent Bernat wrote: > ❦ 13 novembre 2013 09:21 CET, Tom Lee : > > > Can I a

Re: New upstream source tarball introduces a new shared library

2013-11-13 Thread Tom Lee
rote: > ❦ 13 novembre 2013 09:04 CET, Tom Lee : > > > Yes it is -- all the libraries built by the source package have the same > > version numbers. > > > > It wasn't too much trouble to split out libkj, so I did that. I can > either > > leave it that

Re: New upstream source tarball introduces a new shared library

2013-11-13 Thread Tom Lee
13 at 11:46 PM, Vincent Bernat wrote: > ❦ 13 novembre 2013 05:30 CET, Tom Lee : > > > I work on the packaging for capnproto. > > > > Upstream has provided a new source tarball that introduces a new shared > > library (libkj). Theoretically, this shared library is sta

New upstream source tarball introduces a new shared library

2013-11-12 Thread Tom Lee
me demand for KJ being separate, I don't think we need to divide the package yet." I *think* I should extract libkj as a separate binary package & am currently proceeding under that assumption, but thought I'd ask here RE: whether I'm correct. Do I really need to split o

Bug#720063: RFS: capnproto/0.2.0-1 [ITP] -- Tool for working with the Cap'n Proto data interchange format

2013-08-21 Thread Tom Lee
. Be > sure to update the changelog entry in your git repository too. > > There is no other problem with the packages for me, so I have uploaded > it. > -- > Debian package sponsoring guidelines: > http://vincent.bernat.im/en/debian-package-sponsoring.html > -- *Tom Lee */ http://tomlee.co / @tglee <http://twitter.com/tglee>

Bug#720063: RFS: capnproto/0.2.0-1 [ITP] -- Tool for working with the Cap'n Proto data interchange format

2013-08-21 Thread Tom Lee
Sorry, Debian Policy Manual :) By the way, just uploaded the changelog modification to mentors, should appear shortly. Nearly forgot to upload it. On Wed, Aug 21, 2013 at 12:12 AM, Vincent Bernat wrote: > ❦ 21 août 2013 09:02 CEST, Tom Lee : > > > Changelog squashed. > > &

Bug#720063: RFS: capnproto/0.2.0-1 [ITP] -- Tool for working with the Cap'n Proto data interchange format

2013-08-21 Thread Tom Lee
e use of C++, which would place restrictions on things like virtual functions being added & removed. The KDE guys have documented some of this stuff: http://techbase.kde.org/Policies/Binary_Compatibility_Issues_With_C++ On Tue, Aug 20, 2013 at 6:27 AM, Vincent Bernat wrote: > ❦

Bug#720063: RFS: capnproto/0.2.0-1 [ITP] -- Tool for working with the Cap'n Proto data interchange format

2013-08-20 Thread Tom Lee
Oops, just noticed I missed the leading upper-case 'T' for the capnproto package. Fixed & pushing to mentors.d.n now. Cheers, Tom On Tue, Aug 20, 2013 at 1:24 AM, Tom Lee wrote: > Done -- 0.2.1-1 was just uploaded to mentors: > > http://mentors.debian.net/package/capn

Bug#720063: RFS: capnproto/0.2.0-1 [ITP] -- Tool for working with the Cap'n Proto data interchange format

2013-08-20 Thread Tom Lee
Done -- 0.2.1-1 was just uploaded to mentors: http://mentors.debian.net/package/capnproto Cheers, Tom On Mon, Aug 19, 2013 at 11:57 PM, Vincent Bernat wrote: > ❦ 20 août 2013 06:48 CEST, Tom Lee : > > > Alright, latest build of this package is up on mentors.debian.net:

Bug#720063: RFS: capnproto/0.2.0-1 [ITP] -- Tool for working with the Cap'n Proto data interchange format

2013-08-19 Thread Tom Lee
follow up with a 0.2.1-1 build once 0.2.0-1 lands in unstable? Cheers, Tom On Mon, Aug 19, 2013 at 3:12 AM, Vincent Bernat wrote: > ❦ 19 août 2013 11:46 CEST, Tom Lee : > > >> The easiest way is to use Lintian (I use it with -viI). > >> > >> > > Odd

Bug#720063: RFS: capnproto/0.2.0-1 [ITP] -- Tool for working with the Cap'n Proto data interchange format

2013-08-19 Thread Tom Lee
On Mon, Aug 19, 2013 at 1:47 AM, Vincent Bernat wrote: > ❦ 19 août 2013 09:56 CEST, Tom Lee : > > >> - The hardening stuff does not seem to work correctly. Maybe you could > >>just try with debhelper 9 and debian/compat to 9 to have them apply > >>auto

Bug#720063: RFS: capnproto/0.2.0-1 [ITP] -- Tool for working with the Cap'n Proto data interchange format

2013-08-19 Thread Tom Lee
ng deprecated & I should use --with python2 to "fix" it. I'll try it again tomorrow to be sure, but is that safe enough to ignore? Easy enough either way. > - In debian/control, don't start the short description with a capital >for capnproto. > > Shall do. Should be able to push a new build of this package tomorrow. Thanks again! -- *Tom Lee */ http://tomlee.co / @tglee <http://twitter.com/tglee>

Bug#720063: RFS: capnproto/0.2.0-1 [ITP] -- Tool for working with the Cap'n Proto data interchange format

2013-08-18 Thread Tom Lee
n Sun, Aug 18, 2013 at 11:14 PM, Vincent Bernat wrote: > ❦ 19 août 2013 01:34 CEST, Tom Lee : > > > I'm thinking maybe I rip out the symbols file all together for now -- > > it sounds like the tooling isn't there for it yet. What do you think? > > Yes, just rem

Bug#720063: RFS: capnproto/0.2.0-1 [ITP] -- Tool for working with the Cap'n Proto data interchange format

2013-08-18 Thread Tom Lee
ian.net/debian/pool/main/c/capnproto/capnproto_0.2.0-1.dsc Thanks! Please let me know if I can do anything else to move this forward. -- Tom Lee / http://tomlee.co / @tglee

Bug#720063: RFS: capnproto/0.2.0-1 [ITP] -- Tool for working with the Cap'n Proto data interchange format

2013-08-18 Thread Tom Lee
18, 2013 at 2:04 PM, Vincent Bernat wrote: > ❦ 18 août 2013 22:53 CEST, Tom Lee : > >> Ah, the Debug.Log hang seems like it might relate to a missing >> /proc/self/exe symlink -- probably because I didn't mount the /proc >> filesystem. Here's the relevant bit

Bug#720063: RFS: capnproto/0.2.0-1 [ITP] -- Tool for working with the Cap'n Proto data interchange format

2013-08-18 Thread Tom Lee
m guessing it's standard practice to mount /proc when doing these chrooted builds? And assuming the build servers are using a chroot, can I also assume they will mount procfs on /proc prior to executing a build? Either way, I'm going to mount /proc in my chroot & try again. On Sun, A

Bug#720063: RFS: capnproto/0.2.0-1 [ITP] -- Tool for working with the Cap'n Proto data interchange format

2013-08-18 Thread Tom Lee
s. Did you use something like pbuilder/cowbuilder? If >> not, you should. But I don't see how this could lead to such a >> backtrace. > > Same problem at home. I am building on AMD64. Please try in a sid > pbuilder if you didn't. > -- > Use data arrays to avoid

Bug#720063: RFS: capnproto/0.2.0-1 [ITP] -- Tool for working with the Cap'n Proto data interchange format

2013-08-18 Thread Tom Lee
mp; see if there's anything enlightening in there. > I am unable to compile the package on a clean chroot. The unittests > fail: > > > Weird -- I'll try that out myself & see if I can figure out what's going wrong. Cheers, Tom -- Tom Lee / http://tomlee.co /

Bug#720063: RFS: capnproto/0.2.0-1 [ITP] -- Tool for working with the Cap'n Proto data interchange format

2013-08-17 Thread Tom Lee
ined from http://capnproto.org. Changes since the last upload: * Initial release (Closes: #719782) Regards, Tom Lee -- Tom Lee / http://tomlee.co / @tglee -- To UNSUBSCRIBE, email to debian-mentors-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact li

Bug#719286: Please upload hiredis 0.11.0-3?

2013-08-11 Thread Tom Lee
On Sun, Aug 11, 2013 at 3:37 AM, Alessandro Ghedini wrote: > owner 719286 gh...@debian.org > tags 719286 pending > kthxbye > > [ also CCing the RFS bug ] > > On sab, ago 10, 2013 at 09:32:29 -0700, Tom Lee wrote: > > Hey Alessandro, > > Hi, > > > Not

Bug#719286: RFS: hiredis/0.11.0-3

2013-08-09 Thread Tom Lee
ained from http://redis.io/ Changes since the last upload: * Fix incorrect --cflags & --libs in pkg-config file Cheers, Tom -- *Tom Lee */ http://tomlee.co / @tglee <http://twitter.com/tglee>