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

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

2016-05-15 Thread Mattia Rizzolo
control: tag -1 moreinfo control: owner -1 ! On Wed, Mar 30, 2016 at 11:47:40PM -0700, Tom Lee wrote: > I am looking for a sponsor for the "spin" package: o/ > dget -x http://mentors.debian.net/debian/pool/main/s/spin/spin_6.4.5-1.dsc Actually, I'm going to use the git repository, as there is

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

2016-04-25 Thread Paul Wise
On Mon, Apr 25, 2016 at 11:20 AM, Tom Lee wrote: > I added a spin-dbg binary package to the mix earlier today: -dbg packages were obsoleted by automatic debug packages, just build with a new enough debhelper and you will automatically get -dbgsym packages for each binary package. I'd suggest

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

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 the

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

2016-03-31 Thread Paul Wise
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 the version number as "645" when the release is actually > "6.4.5". > if there's a way to teach uscan how to figure this out, I'm all ears! I

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

2016-03-31 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 :