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

https://bugzilla.rpmfusion.org/show_bug.cgi?id=2997 Mohamed El Morabity <pikachu.2014(a)gmail.com&gt; changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |pikachu.2014(a)gmail.com --- Comment #1 from Mohamed El Morabity <pikachu.2014(a)gmail.com&gt; 2013-10-22 14:52:06 CEST --- The files are unavailable ("Forbidden access" from http://lameire.iiens.net/). -- Configure bugmail: https://bugzilla.rpmfusion.org/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are on the CC list for the bug. You are the assignee for the bug.