Log of /cauldron/alt-ergo/pristine

---

Revision 180495 - Directory Listing
Modified Sat Dec 10 23:52:10 2011 UTC (12 years, 4 months ago) by schedbot
Copied from: cauldron/alt-ergo/current revision 180494

Copying release 0.94-1.mga2 to pristine/ directory.

---

Revision 180489 - Directory Listing
Modified Sat Dec 10 23:34:01 2011 UTC (12 years, 4 months ago) by malo
Original Path: cauldron/alt-ergo/current

- new version 0.94
- missing Requires gtksourceview2
- fixing install of source.lang and ocaml lib

---

Revision 163891 - Directory Listing
Added Sat Nov 5 21:02:48 2011 UTC (12 years, 5 months ago) by malo
Original Path: cauldron/alt-ergo/current

imported package alt-ergo