Fwd: ITP: capnproto -- Cap'n Proto: a fast data interchange format & capability-based RPC system.

Gmail thwarted my attempts to add the X-Debbugs-CC header, so I'm forwarding this ITP on manually. Relevant bug number is 719782 Cheers, Tom -- Forwarded message -- From: Tom Lee Date: Thu, Aug 15, 2013 at 3:02 AM Subject: ITP: capnproto -- Cap'n Proto: a

Bug#814306: ITP: spin -- a software verification tool

available here: https://github.com/thomaslee/spin-debian Initial indications are the packaging will be relatively simple with some minimal patches. Further reading: http://spinroot.com https://en.wikipedia.org/wiki/SPIN_model_checker https://en.wikipedia.org/wiki/Promela http://spinroot.com/spin/s