[Bug 4027] New: fs-uae - Amiga emulator with on-screen GUI and online play support
by RPM Fusion Bugzilla
https://bugzilla.rpmfusion.org/show_bug.cgi?id=4027
Bug #: 4027
Summary: fs-uae - Amiga emulator with on-screen GUI and online
play support
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(a)rpmfusion.org
ReportedBy: musuruan(a)gmail.com
CC: rpmfusion-package-review(a)rpmfusion.org
Blocks: 2
Spec file:
https://dl.dropboxusercontent.com/u/12575912/reviews/fs-uae.spec
Source RPM:
https://dl.dropboxusercontent.com/u/12575912/reviews/fs-uae-2.6.2-1.fc23....
Description:
FS-UAE is an Amiga emulator for Windows, Linux and Mac OS X
based on UAE/WinUAE, with a focus on emulating games.
Features include emulation of Amiga 500, 1200, 4000, CD32
and CDTV, perfectly smooth scrolling on 50Hz displays, support
for floppy images in ADF and IPF formats, CD-ROM images in ISO
or BIN/CUE format, mounting folders on your computer as Amiga
hard drives, support for Picasso 96 drivers for high-color and
high-resolution Workbench displays, and more.
A unique feature is support for cross-platform online play. You
can now play Amiga games against (or with) friends over the
Internet.
The emulator uses the latest Amiga emulation code from the
WinUAE project and requires a moderately fast computer with
accelerated graphics (OpenGL) to work. A game pad or joystick is
recommended, but not required (FS-UAE can emulate a joystick
using the cursor keys and right ctrl/alt keys).
Why is this package not eligible to be included in Fedora?
Because it depends on packages in RPM Fusion.
rpmlint output:
[andrea@panoramix SPECS]$ rpmlint
/home/andrea/rpmbuild/SRPMS/fs-uae-2.6.2-1.fc23.src.rpm
fs-uae.src: W: spelling-error %description -l en_US ctrl -> ctr, curl, ctr l
1 packages and 0 specfiles checked; 0 errors, 1 warnings.
[andrea@panoramix SPECS]$ rpmlint
/home/andrea/rpmbuild/RPMS/x86_64/fs-uae-2.6.2-1.fc23.x86_64.rpm
fs-uae.x86_64: W: spelling-error %description -l en_US ctrl -> ctr, curl, ctr l
fs-uae.x86_64: E: zero-length /usr/share/fs-uae/theme.conf
fs-uae.x86_64: E: zero-length /usr/share/fs-uae/share-dir
fs-uae.x86_64: W: no-manual-page-for-binary fs-uae-device-helper
fs-uae.x86_64: W: no-manual-page-for-binary fs-uae
1 packages and 0 specfiles checked; 2 errors, 3 warnings.
[andrea@panoramix SPECS]$ rpmlint
/home/andrea/rpmbuild/RPMS/x86_64/fs-uae-debuginfo-2.6.2-1.fc23.x86_64.rpm
1 packages and 0 specfiles checked; 0 errors, 0 warnings.
--
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.
3 years, 6 months
[Bug 2151] New: Review request: perle-serial-kmod - Perle Serial PCI card kernel module(s)
by RPM Fusion Bugzilla
https://bugzilla.rpmfusion.org/show_bug.cgi?id=2151
Bug #: 2151
Summary: Review request: perle-serial-kmod - Perle Serial PCI
card kernel module(s)
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(a)rpmfusion.org
ReportedBy: philipp(a)redfish-solutions.com
CC: rpmfusion-package-review(a)rpmfusion.org
Perle Systems makes several PCI and PCIe serial cards, but there support for
linux 2.6 and 3.x is lacking.
This package patches their driver tarball and builds it as per rpmfusion as
kmod.
ftp://ftp.redfish-solutions.com/pub/perle-serial-kmod.spec
ftp://ftp.redfish-solutions.com/pub/perle-serial-kmod-3.8.0-6.1.fc16.1.sr...
== description ==
This package provides a driver for the family of Perle serial cards.
The cards supported are:
Perle UltraPort1, 2, 4, 8, 8i, and 16 cards
Perle UltraPort1, 2, 4, 8, 8i, and 16 SI cards
Perle UltraPort1, 2, 4, 8, and 8i Express cards
Perle PCI-RAS V.92 (4 and 8 port) cards
Perle Speed1, 2, 4, and 8 LE cards
Read /usr/share/doc/perle-serial/README for more info.
====
This is a kmod package, and as such can't be included in Fedora.
====
$ rpmlint perle-serial-kmod.spec
perle-serial-kmod.spec:44: W: mixed-use-of-spaces-and-tabs (spaces: line 44,
tab: line 6)
0 packages and 1 specfiles checked; 0 errors, 1 warnings.
$
The spaces come as a result of cut&paste of taking the description directly
from upstream files.
$ rpmlint ../RPMS/x86_64/*perle-serial*
kmod-perle-serial-3.1.9-1.fc16.x86_64.x86_64: W: summary-not-capitalized C
perle-serial kernel module(s) for 3.1.9-1.fc16.x86_64
kmod-perle-serial-3.1.9-1.fc16.x86_64.x86_64: W: unstripped-binary-or-object
/lib/modules/3.1.9-1.fc16.x86_64/extra/perle-serial/perle-serial.ko
kmod-perle-serial-3.1.9-1.fc16.x86_64.x86_64: W: no-documentation
kmod-perle-serial.x86_64: W: spelling-error Summary(en_US) Metapackage -> Meta
package, Meta-package, Prepackage
kmod-perle-serial.x86_64: W: no-documentation
perle-serial-kmod-common.x86_64: W: spelling-error Summary(en_US) userland ->
user land, user-land, slanderous
perle-serial-kmod-common.x86_64: W: spelling-error %description -l en_US
Userland -> User land, User-land, Slanderous
perle-serial-kmod-debuginfo.x86_64: E: incorrect-fsf-address
/usr/src/debug/perle-serial-kmod-3.8.0/_kmod_build_3.1.9-1.fc16.x86_64/perle-serial.c
4 packages and 0 specfiles checked; 1 errors, 7 warnings.
$
"Userland" and "Metapackage" are legitimate words in this lexicon.
The wrong FSF address in perle-serial.c is directly from the upstream sources.
Kernel modules are unstripped (or they wouldn't load otherwise).
The not capitalized warning applies to a string that's generated from a macro.
The documentation is in the -common package.
--
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.
4 years
[Bug 2221] New: Review request: libarea - Library that allows for creating tool paths for pocketing
by RPM Fusion Bugzilla
https://bugzilla.rpmfusion.org/show_bug.cgi?id=2221
Bug #: 2221
Summary: Review request: libarea - Library that allows for
creating tool paths for pocketing
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(a)rpmfusion.org
ReportedBy: SpikeFedora(a)gmail.com
CC: rpmfusion-package-review(a)rpmfusion.org
Spec URL:
http://spike.fedorapeople.org/libarea/libarea.spec
SRPM URL:
http://spike.fedorapeople.org/libarea/libarea-0.0.2-0.1.20111215git599996...
Description:
LibAREA is a library that allows for creating tool paths for pocketing.
Why this package is not eligible to be included in Fedora:
"Some software is not functional or useful without the presence of external
code dependencies in the runtime operating system environment. When those
external code dependencies are non-free, legally unacceptable, or binary-only
[...], then the dependent software is not acceptable for inclusion in
Fedora"[1]
Since atm only HeeksCNC uses this lib and HeeksCNC depends on OCE
(HeeksCNC->HeeksCAD-devel->OCE-devel), which is considered non-free, I assume
the term "not useful" applies here.
[1] http://fedoraproject.org/wiki/Packaging:Guidelines
rpmlint output:
SPECS/libarea.spec: W: invalid-url Source0: libarea-svnHEAD.tar.bz2
libarea.src: W: invalid-url Source0: libarea-svnHEAD.tar.bz2
1 packages and 1 specfiles checked; 0 errors, 2 warnings.
Upstream doesn't provide a release package tarball.
Careful: I usually don't do any python packaging. Here be dragons!
--
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.
4 years
[Bug 2599] New: Review request: libshout-idjc - Icecast source streaming library modified for IDJC
by RPM Fusion Bugzilla
https://bugzilla.rpmfusion.org/show_bug.cgi?id=2599
Bug #: 2599
Summary: Review request: libshout-idjc - Icecast source
streaming library modified for IDJC
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(a)rpmfusion.org
ReportedBy: comzeradd(a)fedoraproject.org
CC: rpmfusion-package-review(a)rpmfusion.org
Blocks: 2
SPEC: http://comzeradd.fedorapeople.org/specs/libshout-idjc.spec
SRPM: http://comzeradd.fedorapeople.org/libshout-idjc-2.3.0-1.fc17.src.rpm
The libshout is a library for communicating with and sending data to an icecast
server. It handles the socket connection, the timing of the data, and prevents
most bad data from getting to the icecast server. libshout-idjc is a modified
version of libshout library with extra functionality needed by idjc.
This is package can not be include in Fedora main repos because it contains
code for supporting non-free codecs (eg. AAC).
$ rpmlint libshout-idjc-2.3.0-1.fc17.src.rpm
libshout-idjc.src: W: spelling-error Summary(en_US) Icecast -> Ice cast,
Ice-cast, Icecap
libshout-idjc.src: W: spelling-error %description -l en_US icecast -> ice cast,
ice-cast, icecap
$ rpmlint libshout-idjc-2.3.0-1.fc17.x86_64.rpm
libshout-idjc.x86_64: W: spelling-error Summary(en_US) Icecast -> Ice cast,
Ice-cast, Icecap
libshout-idjc.x86_64: W: spelling-error %description -l en_US icecast -> ice
cast, ice-cast, icecap
1 packages and 0 specfiles checked; 0 errors, 2 warnings.
This is my first RPM Fusion package, but I am a Fedora Packager.
https://admin.fedoraproject.org/pkgdb/users/packages/comzeradd
--
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.
4 years
[Bug 2600] New: Review request: idjc - DJ application for streaming audio
by RPM Fusion Bugzilla
https://bugzilla.rpmfusion.org/show_bug.cgi?id=2600
Bug #: 2600
Summary: Review request: idjc - DJ application for streaming
audio
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(a)rpmfusion.org
ReportedBy: comzeradd(a)fedoraproject.org
CC: rpmfusion-package-review(a)rpmfusion.org
Blocks: 2
SPEC: http://comzeradd.fedorapeople.org/specs/idjc.spec
SRPM: http://comzeradd.fedorapeople.org/idjc-0.8.8-1.fc17.src.rpm
Internet DJ Console is a client for streaming live radio shows over the
Internet using Icecast or Shoutcast servers. It has a two panel playlist mode,
with automatic cross-fading. It uses jack as a back-end and it supports all
major free audio codecs.
Package is not eligible to be included in Fedora main repos because it depends
on other RPMFusion packages (eg. lame, ffmpeg).
$ rpmlint idjc-0.8.8-1.fc17.src.rpm
idjc.src: W: spelling-error %description -l en_US playlist -> play list,
play-list, pluralist
idjc.src: W: spelling-error %description -l en_US codecs -> codes, coders,
code's
1 packages and 0 specfiles checked; 0 errors, 2 warnings.
$ rpmlint idjc-0.8.8-1.fc17.x86_64.rpm
idjc.x86_64: W: spelling-error %description -l en_US playlist -> play list,
play-list, pluralist
idjc.x86_64: W: spelling-error %description -l en_US codecs -> codes, coders,
code's
1 packages and 0 specfiles checked; 0 errors, 2 warnings.
This is my first RPMFusion package along with #2599
But I am a Fedora Packager
https://admin.fedoraproject.org/pkgdb/users/packages/comzeradd
--
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.
4 years
[Bug 2632] New: Review request: amuleadunanza - File sharing client compatible with eDonkey - Adunanza MOD
by RPM Fusion Bugzilla
https://bugzilla.rpmfusion.org/show_bug.cgi?id=2632
Bug #: 2632
Summary: Review request: amuleadunanza - File sharing client
compatible with eDonkey - Adunanza MOD
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(a)rpmfusion.org
ReportedBy: lorenzo.dalrio(a)gmail.com
CC: rpmfusion-package-review(a)rpmfusion.org
Spec: http://lorenzodalrio.fedorapeople.org/amuleadunanza.spec
srpm: http://lorenzodalrio.fedorapeople.org/amuleadunanza-2012.1-1.fc17.src.rpm
Description: aMuleAdunanzA is the mod of aMule dedicated to Fastweb ISP users.
aMule is an easy to use multi-platform client for ED2K Peer-to-Peer
Network. It is a fork of xMule, which was based on eMule for
Windows. aMule currently supports (but is not limited to) the
following platforms: Linux, *BSD and MacOS X.
Why not in fedora: could be legal problems with p2p software.
rpmlint output:
>Checking: amuleadunanza-2012.1-1.fc17.x86_64.rpm
> amuleadunanza-2012.1-1.fc17.src.rpm
> amuleadunanza-debuginfo-2012.1-1.fc17.x86_64.rpm
> amuleadunanza-nogui-2012.1-1.fc17.x86_64.rpm
>amuleadunanza.x86_64: W: spelling-error Summary(en_US) eDonkey -> e Donkey, >donkey, monkey
>amuleadunanza.x86_64: W: spelling-error %description -l en_US aMule -> a Mule, >mule, amulet
>amuleadunanza.x86_64: W: spelling-error %description -l en_US multi -> mulch, >mufti
>amuleadunanza.x86_64: W: spelling-error %description -l en_US xMule -> x Mule, >mule, mullet
>amuleadunanza.x86_64: W: spelling-error %description -l en_US whis -> which, >his, whirs
>amuleadunanza.x86_64: W: spelling-error %description -l en_US eMule -> e Mule, >mule, Lemuel
>amuleadunanza.x86_64: W: manual-page-warning /usr/share/man/man1/amulegui.1.gz >4: warning: macro `"' not defined
This one is not clear to me, man page seems to work fine.
>amuleadunanza.src: W: spelling-error Summary(en_US) eDonkey -> e Donkey, >donkey, monkey
>amuleadunanza.src: W: spelling-error %description -l en_US aMule -> a Mule, >mule, amulet
>amuleadunanza.src: W: spelling-error %description -l en_US multi -> mulch, >mufti
>amuleadunanza.src: W: spelling-error %description -l en_US xMule -> x Mule, >mule, mullet
>amuleadunanza.src: W: spelling-error %description -l en_US whis -> which, his, >whirs
>amuleadunanza.src: W: spelling-error %description -l en_US eMule -> e Mule, >mule, Lemuel
>amuleadunanza-nogui.x86_64: W: only-non-binary-in-usr-lib
This one refers to systemd unit used to start amuleadunanza daemon.
>4 packages and 0 specfiles checked; 0 errors, 14 warnings.
Noticed in rpmfusion wishlist.
--
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.
4 years
[Bug 2682] New: Review request: higan - A Nintendo multi-system emulator
by RPM Fusion Bugzilla
https://bugzilla.rpmfusion.org/show_bug.cgi?id=2682
Bug #: 2682
Summary: Review request: higan - A Nintendo multi-system
emulator
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(a)rpmfusion.org
ReportedBy: belegdol(a)gmail.com
CC: rpmfusion-package-review(a)rpmfusion.org
higan is a multi-system emulator that began development on 2004-10-14. It
currently supports the following systems:
* Nintendo
* Super Nintendo
* Game Boy
* Game Boy Color
* Game Boy Advance
* Nintendo DS
higan also supports the following subsystems:
* Super Game Boy
* BS-X Satellaview
* Sufami Turbo
higan focuses on accuracy and clean code above all else. It never uses speed or
compatibility hacks. As a result, the minimum system requirements are greater
than with other emulators. It was formerly known as bsnes.
SRPM URL: http://lesloueizeh.com/belegdol/higan-0.092-2.fc19.src.rpm
Spec URL: http://lesloueizeh.com/belegdol/higan.spec
Why not in Fedora: it requires copyrighted ROMs to do anything useful
rpmlint output:
higan.src: W: spelling-error %description -l en_US multi -> mulch, mufti
higan.src: W: spelling-error %description -l en_US compatibilty ->
compatibility, compatibly, comparability
higan.src: W: strange-permission higan-source-cleanup.sh 0755L
higan.src: W: invalid-url Source0: higan_v092-source-noroms.tar.xz
higan.x86_64: W: spelling-error %description -l en_US multi -> mulch, mufti
higan.x86_64: W: spelling-error %description -l en_US compatibilty ->
compatibility, compatibly, comparability
higan.x86_64: W: obsolete-not-provided bsnes-pixelshaders
higan.x86_64: W: obsolete-not-provided bsnes-snesfilter
higan.x86_64: W: obsolete-not-provided bsnes-snesreader
higan.x86_64: W: obsolete-not-provided bsnes-supergameboy
higan.x86_64: E: no-ldconfig-symlink /usr/lib64/libananke.so
higan.x86_64: W: no-manual-page-for-binary higan
higan.spec: W: invalid-url Source0: higan_v092-source-noroms.tar.xz
3 packages and 1 specfiles checked; 1 errors, 12 warnings.
--
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.
4 years
[Bug 2909] New: gtkradiant - Level design program for video games
by RPM Fusion Bugzilla
https://bugzilla.rpmfusion.org/show_bug.cgi?id=2909
Bug #: 2909
Summary: gtkradiant - Level design program for video games
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(a)rpmfusion.org
ReportedBy: bebo.sudo(a)gmail.com
CC: rpmfusion-package-review(a)rpmfusion.org
Blocks: 2
Spec:
http://sourceforge.net/projects/bebosudo-rpms/files/gtkradiant/F18/SRPM/g...
SRPM:
http://sourceforge.net/projects/bebosudo-rpms/files/gtkradiant/F18/SRPM/g...
Description:
GtkRadiant is a powerful level editor used for various ego-shooter games.
It stores level data in text format and uses compilers (q3map2 for QuakeIII,
for instance) to create the binary map files.
For more detailed information see:
http://icculus.org/gtkradiant/
-----------
I've yet tried to submit gtkradiant to the redhat bugzilla, but it needs
proprietary SDK to works, so I've to submit to rpmfusion.
Here is the old bug in the rh bugzilla (now closed):
https://bugzilla.redhat.com/show_bug.cgi?id=836840
I've followed all Hans' tips and I re-packaged the rpm with the last sources
available.
Here is the result from rpmlint on the spec and on all the rpms:
$ rpmlint -i gtkradiant.spec
../SRPMS/gtkradiant-1.6.3-9.20130803git.fc18.src.rpm
../RPMS/x86_64/gtkradiant-{1.6.3-9.20130803git.fc18.x86_64.rpm,debuginfo-1.6.3-9.20130803git.fc18.x86_64.rpm}
../RPMS/noarch/gtkradiant-data-1.6.3-9.20130803git.fc18.noarch.rpm
gtkradiant.spec: W: invalid-url Source4:
gtkradiant-1.6-gamepacks-20130805.tar.gz
The value should be a valid, public HTTP, HTTPS, or FTP URL.
gtkradiant.src: W: invalid-url Source4:
gtkradiant-1.6-gamepacks-20130805.tar.gz
The value should be a valid, public HTTP, HTTPS, or FTP URL.
gtkradiant.x86_64: W: no-documentation
The package contains no documentation (README, doc, etc). You have to include
documentation files.
gtkradiant.x86_64: W: dangling-symlink /usr/lib64/gtkradiant/installs
/usr/share/gtkradiant/gamepacks
The target of the symbolic link does not exist within this package or its file
based dependencies. Verify spelling of the link target and that the target is
included in a package in this package's dependency chain.
gtkradiant.x86_64: W: no-manual-page-for-binary q3map2
Each executable in standard binary directories should have a man page.
gtkradiant.x86_64: W: no-manual-page-for-binary q3map2_urt
Each executable in standard binary directories should have a man page.
gtkradiant.x86_64: W: no-manual-page-for-binary gtkradiant
Each executable in standard binary directories should have a man page.
gtkradiant.x86_64: W: desktopfile-without-binary
/usr/share/applications/gtkradiant.desktop gtkradiant
the .desktop file is for a file not present in the package. You should check
the requires or see if this is not a error
gtkradiant-debuginfo.x86_64: E: debuginfo-without-sources
This debuginfo package appears to contain debug symbols but no source files.
This is often a sign of binaries being unexpectedly stripped too early during
the build, or being compiled without compiler debug flags (which again often
is a sign of distro's default compiler flags ignored which might have security
consequences), or other compiler flags which result in rpmbuild's debuginfo
extraction not working as expected. Verify that the binaries are not
unexpectedly stripped and that the intended compiler flags are used.
4 packages and 1 specfiles checked; 1 errors, 8 warnings.
$
The first two warnings I think could be ignored because the source is created
manually, because the upstream doesn't provide a package for the SDKs.
All the docs are in the gtkradiant-data package, so I don't know if I have to
put some docs manually to solve the third warning.
in the fourth warning, rpmlint complains about a "dangling-symlink", but I
think it shouldn't do it, because it refer at the gamepacks present in the data
package and, as said by rpmlint itself, its a chain of packages.
the other three warnings regard the lack of documentation to the three execs,
but I don't know where to find it.
the "desktopfile-without-binary" warning is a strange error, because the
gtkradiant exec exist, and I don't know how to solve it.
And finally, the error at the end I really don't know what it means and how to
solve it.
But the biggest problem is that package can't work because gtkradiant try to
write in the folder where it is present the exec. I have already reported it to
the developers but nobody helped me. here is the link at the discussion on the
ML: http://icculus.org/pipermail/gtkradiant/2013-February/011841.html
Any sort of help is appreciated :)
Thanks for your time, have a nice day!
Alberto
--
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.
4 years
[Bug 2997] New: Review Request: spinroot - Formal verification of multi-threaded software applications
by 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(a)rpmfusion.org
ReportedBy: alexisis-pristontale(a)hotmail.com
CC: rpmfusion-package-review(a)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.
4 years