[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]

[Fwd: announcement: gemi repository rebuilt for fc5]



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 redhat com
To unsubscribe: https://www.redhat.com/mailman/listinfo/fedora-list

--- End Message ---

[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]