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

[RPM Fusion Bugzilla]

https://bugzilla.rpmfusion.org/show_bug.cgi?id=2997

--- Comment #2 from Lameire Alexis <alexisis-pristontale at hotmail.com> 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.