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

https://bugzilla.rpmfusion.org/show_bug.cgi?id=2997 --- Comment #2 from Lameire Alexis <alexisis-pristontale(a)hotmail.com&gt; 2013-10-22 21:03:48 CEST --- I forgot to upload the .spec file. but I didn't see a 403 error. Strange. NB : source dir is not indexed but spinroot dir is ok. -- 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.