[Bug 2997] Review Request: spinroot - Formal verification of multi-threaded software applications

https://bugzilla.rpmfusion.org/show_bug.cgi?id=2997 Nicolas Chauvet <kwizart(a)gmail.com&gt; changed: What |Removed |Added ---------------------------------------------------------------------------- namespace| |nonfree --- Comment #3 from Nicolas Chauvet <kwizart(a)gmail.com&gt; --- There is a 6.4.7 release Are you still interested in this package ? -- You are receiving this mail because: You are on the CC list for the bug. You are the assignee for the bug.