Mainly development tools, mathematics and audio software
Please consider helping move packages from this repository into Fedora.
Put the following as gemi.repo into your
/etc/yum.repos.d directory.
[gemi]
name=Fedora $releasever - $basearch - gemi
baseurl=http://math.ifi.unizh.ch/fedora/$releasever/$basearch/RPMS.gemi
enabled=1
gpgcheck=1
For GPG checking import the public key:
rpm --import http://math.ifi.unizh.ch/fedora/RPM-GPG-KEY-gemi
| Package | Version | Summary |
|---|---|---|
| 4th | 3.5c3 | A Forth bytecode compiler with a little difference |
| afnix | 1.9.0 | Afnix programming language |
| afnix-devel | 1.9.0 | Development files for afnix |
| afnix-libs | 1.9.0 | Afnix libraries |
| algol68g | 1.18.0 | Algol 68 interpreter |
| awka | 0.7.5 | Open-source implementation of the AWK programming language |
| ccl | 1.3 | Clozure Common Lisp |
| chicken | 4.1.0 | A Simple Scheme-to-C compiler |
| chicken-libs | 4.1.0 | Runtime libraries for Chicken Scheme |
| marst | 2.6 | Algol-to-C translator |
| metamath | 0.07.43 | Tiny language for expressing theorems and proofs in abstract mathematics |
| mit-scheme | 7.7.90 | MIT/GNU Scheme is an implementation of the Scheme programming language |
| mlkit | 4.3.2 | Standard ML compiler |
| newlisp | 10.1.1 | LISP-like scripting language |
| nhc98 | 1.20 | A small and portable Haskell compiler |
| pmw | 4.21 | High quality music typesetting |
| qdvdauthor | 1.11.0 | GUI frontend for dvdauthor and other related tools |
| smlnj | 110.70 | Standard ML of New Jersey |
| tutka | 0.12.4 | Tracker style MIDI sequencer |
| x48 | 0.6.1 | HP48 SX/GX Emulator |
| x48-tools | 0.6.1 | Tools for the H48 SX/GX emulator |