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.

The Packages

Packages that Fedora can take

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

• gap-pkg-4ti2interface: GAP interface to 4ti2.
• gap-pkg-kbmag: Knuth-Bendix on Monoids and Automatic Groups.
• gap-pkg-lins: Compute the normal subgroups of a finitely presented group.
• gap-pkg-normalizinterface: GAP wrapper for Normaliz.
• gap-pkg-numericalsgps: Compute with numerical semigroups and affine semigroups.
• ocaml-opam-0install-cudf: A generic CUDF solver library meant to be used in opam.
• ocaml-reactivedata: Declarative events and signals for OCaml.