Processed: RFS: spin/6.4.5-1 [ITP] -- formal software verification tool
Processing commands for control@bugs.debian.org:
> severity 819615 wishlist
Bug #819615 [sponsorship-requests] RFS: spin/6.4.5-1 [ITP] -- formal software verification tool
Severity set to 'wishlist' from 'normal'
>
End of message, stopping processing here.
Please contact me if you need assistance.
--
819615: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=819615
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: