Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. https://bugzilla.redhat.com/show_bug.cgi?id=592579 Mark Rader <msrader@xxxxxxxxx> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |RELEASE_PENDING --- Comment #49 from Mark Rader <msrader@xxxxxxxxx> 2010-07-28 10:36:03 EDT --- 1. I tend to agree with you on the frama-c-Boron vs the older version but as David noted the technical difficulties became greater than a simple switch and sometimes it is better to get it out there than just keep trying to get the latest and greatest. 2. Since this has been put in the repository and is now available as a package, I will see about changing this for the next version. 3. Since this has been put in the repository and is now available as a package, I will see about changing this for the next version. 4. Since this has been put in the repository and is now available as a package, I will see about changing this for the next version. Actually frama-c has both. you have frama-c (command line) and frama-c-gui which is the gui. 5. Not as familiar with that command. I will look into it. (In reply to comment #47) > Some suggestions: > > 1. Why not package the latest version - frama-c-Boron-20100401 instead? > > 2.I think Development/Libraries should be changed to Development/Tools. > > 3. > %{_datadir}/applications should not be listed in %file, you need to use > %{_datadir}/applications/*.desktop instead. > > 4. > I suggest to rename %{name}.desktop to %{name}-gui.desktop. Actually, frama-c > is a command line tool. > > 5. > ExcludeArch: PPC, PPC64, ARM, IA64, MIPS, S390 > > I think you should use ExclusiveArch: alpha armv4l %{ix86} ia64 x86_64 ppc > sparc sparcv9 ppc64 instead to keep consistency with ocaml. -- Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are on the CC list for the bug. _______________________________________________ package-review mailing list package-review@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/package-review