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
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
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
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
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
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
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 :
7 matches
Mail list logo