kili d74f83d278 Update to 2.12.3.

2010-01-01 11:00:49 +00:00

..

DESCR-docs

Update to 2.10.25.

2007-06-06 20:36:23 +00:00

DESCR-main

…

PLIST-docs

Update to 2.12.3.

2010-01-01 11:00:49 +00:00

PLIST-main

Update to 2.12.2, following the guile update.

2009-10-11 18:56:21 +00:00