RPMs for Fedora Installations

Here is a collection of RPMs that I have put together. They are here for me to test. Those that seem satisfactory will eventually be pushed into either Fedora or RPM Fusion, depending on licensing issues. If an RPM disappears from this page, then I have either found it unsatisfactory or migrated it into one of those two collections.

Note that I used to distribute patched rpm and redhat-rpm-config RPMs from this page, allowing the creation of binary RPMs tailored to particular Intel CPUs. I no longer do that, because the miniscule gains weren't worth the cost of maintaining the patches.

Note: Due to space problems, I am not able to post binary RPMs on this web page. Furthermore, some of the programs listed here are distributed under non-free licenses, so I cannot provide the sources either. Hence, all you get is either src or norsrc RPMs.

The Packages

Packages that Fedora can take

These packages are freely distributable. I provide source RPMs for each.

• AIDA: Abstract Interfaces for Data Analysis
• blast: Berkeley Lazy Abstraction Software verification Tool
• BuDDy: BDD manipulation library
• CAL: BDD manipulation library using breadth-first algorithms
• choco, a Java library for solving constraint satisfaction problems
• cl-alexandria, a Common Lisp library of portable utilities.
• cl-trivial-features, a Common Lisp library for rationalizing the *FEATURES* variable.
• cl-trivial-gray-streams, a Common Lisp library that hides the differences in Gray Streams implementations.
• cmuclmtk: a language model trainer for the CMU Sphinx decoders
• cream: constraint programming in Java
• GalaxyCommunicator: a hub-spoke server architecture designed especially for voice communication
• ia: the Brandeis Interval Arithmetic Constraint Solver
• intel-extras: make use of ICC more convenient on Fedora, and also provide macro files for rpmbuild
• javabdd: a Java front-end to several BDD packages (including a built-in package)
• jdd: a BDD package written in Java
• JML: the Java Modeling Language
• libmba: a library of generic C modules
• Omega: Analysis and transformation of scientific progams
• sal: Symbolic Analysis Library, tools for exploring concurrent systems
• sctk: Speech Recognition Scoring Toolkit
• SphinxTrain: acoustic model trainer for CMU's Sphinx tools
• Xspin: a Tcl/Tk GUI for Spin

“Free” Packages with Fedora-incompatible licenses

These packages are supposedly free software or open source, but include license terms that are incompatible with the Fedora distribution.

• javapathfinder: deep analysis of Java code
• scale: an optimizing C/Fortran/Java byte code compiler.
• shorten: a fast audio compressor
• slm: the CMU-Cambridge Statistical Modeling Language toolkit
• Spin: a model checker

These packages have restrictive licenses. I do not provide the sources. You have to download those yourself after signifying your agreement with the license terms. All I provide is a nosrc RPM.

• pvs: Prototype Specification and Verification System (Allegro Common Lisp version)
• yices: an efficient SMT solver
• zChaff: a Boolean Satisfiability solver

Packages without licenses

These packages are clearly intended to be free, given statements by their authors. However, the authors have failed to provide a clear license, making them unacceptable to repositories with lawyers.

• pvslib: NASA Langley collection of PVS theories
• UNO: a C source code analysis program