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:

Builds fine in pbuilder, is lint clean, etc. Appreciate reviews too!

Tom Lee / http://tomlee.co / @tglee

Reply to:

Follow-Ups:
- Bug#819615: RFS: spin/6.4.5-1 [ITP] -- formal software verification tool
  - From: Paul Wise <pabs@debian.org>