Hi
Just in case you missed it.
Rahul
--- Begin Message ---
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
--
fedora-list mailing list
fedora-list@xxxxxxxxxx
To unsubscribe: https://www.redhat.com/mailman/listinfo/fedora-list
--- End Message ---
--
fedora-extras-list mailing list
fedora-extras-list@xxxxxxxxxx
https://www.redhat.com/mailman/listinfo/fedora-extras-list
