The gemi repository has been rebuild for fc5. More information at: http://math.ifi.unizh.ch/fedora The repository contains mostly development tools, some mathematics software and a few odds and ends, stuff that I am interested in. Fedora contributors are invited to take these packages and push them trough the Fedora Extras process. Here is a selection of included packages: afnix, alice, ciao, coq, dosemu, gap, gauche, gprolog, gwydion-dylan, io, isabelle, mlkit, mlton, open-cobol, oo2c, polyml, scsh, smarteiffel, smlnj, squeak, twelf, xsb, yacas, yafray... -- Gérard Milmeister Langackerstrasse 49 CH-8057 Zürich
