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

[RPM Fusion Bugzilla]

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

             Bug #: 2997
           Summary: Review Request: spinroot - Formal verification of
                    multi-threaded software applications
    Classification: Unclassified
           Product: Package Reviews
           Version: Current
          Platform: All
        OS/Version: GNU/Linux
            Status: NEW
          Severity: normal
          Priority: P5
         Component: Review Request
        AssignedTo: rpmfusion-package-review at rpmfusion.org
        ReportedBy: alexisis-pristontale at hotmail.com
                CC: rpmfusion-package-review at rpmfusion.org
            Blocks: 2


SPEC: http://lameire.iiens.net/spinroot/spinroot.spec
SRPM: http://lameire.iiens.net/spinroot/spinroot-6.2.5-1.fc18.src.rpm
MOCK BUILD LOG: http://lameire.iiens.net/spinroot/build.log
ALL OTHER USEFULL STUFF: http://lameire.iiens.net/spinroot/

RPMLINT: 
spinroot.x86_64: W: spelling-error Summary(en_US) multi -> mulch, mufti
spinroot.x86_64: W: spelling-error %description -l en_US multi -> mulch, mufti
spinroot.x86_64: W: invalid-license free use for educational purpose

Not eligible on fedora repo : non free app, only redistribuable without money
exchange.

NB: a "spin" package is already avalable on fedora repo, I rename the package
folowing the website domain

Description:
Spin targets the efficient verification of multi-threaded software, not the
verification of hardware circuits. The tool supports a high level language to
specify systems descriptions called PROMELA (short for: PROcess MEta LAnguage).
Spin has been used to trace logical design errors in distributed systems
design,
such as operating systems, data communications protocols, switching systems,
concurrent algorithms, railway signaling protocols, control software for
spacecraft, nuclear power plants, etc. The tool checks the logical consistency
of a specification and reports on deadlocks, race conditions, different types
of
incompleteness, and unwarranted assumptions about the relative speeds of
processes.

I have no approuved package on rpm-fusion, but I'm already approuved on fedora.

-- 
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.