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

[RPM Fusion Bugzilla]

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

Nicolas Chauvet  changed:

   What|Removed |Added

 Blocks|2   |


Referenced Bugs:

https://bugzilla.rpmfusion.org/show_bug.cgi?id=2
[Bug 2] Tracker: New packages awaiting review
-- 
You are receiving this mail because:
You are on the CC list for the bug.
You are the assignee for the bug.___
rpmfusion-developers mailing list -- rpmfusion-developers@lists.rpmfusion.org
To unsubscribe send an email to rpmfusion-developers-le...@lists.rpmfusion.org

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

[RPM Fusion Bugzilla]

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

Nicolas Chauvet  changed:

   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution|--- |EXPIRED

--- Comment #6 from Nicolas Chauvet  ---
Please re-open when ready.

-- 
You are receiving this mail because:
You are on the CC list for the bug.
You are the assignee for the bug.___
rpmfusion-developers mailing list -- rpmfusion-developers@lists.rpmfusion.org
To unsubscribe send an email to rpmfusion-developers-le...@lists.rpmfusion.org

[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 #5 from Nicolas Chauvet  ---
ping ?

-- 
You are receiving this mail because:
You are on the CC list for the bug.
You are the assignee for the bug.___
rpmfusion-developers mailing list -- rpmfusion-developers@lists.rpmfusion.org
To unsubscribe send an email to rpmfusion-developers-le...@lists.rpmfusion.org

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

[RPM Fusion Bugzilla]

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

Robert-André Mauchin  changed:

   What|Removed |Added

 CC||zebo...@gmail.com

--- Comment #4 from Robert-André Mauchin  ---
 - Not needed:

rm -rf %{buildroot}
%defattr(-,root,root,-)


I'll review if you update it.

-- 
You are receiving this mail because:
You are on the CC list for the bug.
You are the assignee for the bug.___
rpmfusion-developers mailing list -- rpmfusion-developers@lists.rpmfusion.org
To unsubscribe send an email to rpmfusion-developers-le...@lists.rpmfusion.org

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

[RPM Fusion Bugzilla]

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

Nicolas Chauvet  changed:

   What|Removed |Added

  namespace||nonfree

--- Comment #3 from Nicolas Chauvet  ---
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.___
rpmfusion-developers mailing list -- rpmfusion-developers@lists.rpmfusion.org
To unsubscribe send an email to rpmfusion-developers-le...@lists.rpmfusion.org

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

[RPM Fusion Bugzilla]

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

Mohamed El Morabity pikachu.2...@gmail.com changed:

   What|Removed |Added

 CC||pikachu.2...@gmail.com

--- Comment #1 from Mohamed El Morabity pikachu.2...@gmail.com 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.

[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-pristont...@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.