[
Date Prev
][
Date Next
] [
Thread Prev
][
Thread Next
] [
Date Index
] [
Thread Index
]
Bug#819615: RFS: spin/6.4.5-1 [ITP] -- formal software verification tool
To
:
819615@bugs.debian.org
Subject
: Bug#819615: RFS: spin/6.4.5-1 [ITP] -- formal software verification tool
From
: Tom Lee <
debian@tomlee.co
>
Date
: Sun, 24 Apr 2016 20:20:54 -0700
Message-id
: <
[🔎]
CAKwFPQ_Y-m2G8rWcitd=zsycde+YNyMX-Zv6ujjYYr6s7rvkRA@mail.gmail.com
>
Reply-to
: Tom Lee <
debian@tomlee.co
>,
819615@bugs.debian.org
In-reply-to
: <CAKwFPQ8QUoHaEdzt=yH2cw72vG4Gv=XwKTdgaAnh=6aj7Tr4yQ@mail.gmail.com>
References
: <145940686084.3049.13916888307304080523.reportbug@desktop> <CAKTje6H+dfmTzQ272LSbEqLjsf-MBNvhUS6fizKE-ewS542UNw@mail.gmail.com> <CAKwFPQ8QUoHaEdzt=yH2cw72vG4Gv=XwKTdgaAnh=6aj7Tr4yQ@mail.gmail.com>
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
Reply to:
package-sponsorship-requests@lists.debian.org
Tom Lee (on-list)
Tom Lee (off-list)
Follow-Ups
:
Bug#819615: RFS: spin/6.4.5-1 [ITP] -- formal software verification tool
From:
Paul Wise <pabs@debian.org>
Prev by Date:
Bug#822362: marked as done (RFS: mitlm/0.4-2 -- MIT Language Modeling toolkit)
Next by Date:
Bug#816542: RFS: connman/1.31-0.1 [RC]
Previous by thread:
Processed: Re: Bug#816542: RFS: connman/1.31-0.1 [RC]
Next by thread:
Bug#819615: RFS: spin/6.4.5-1 [ITP] -- formal software verification tool
Index(es):
Date
Thread