Public Mirrors
![[ICO]](/icons/blank.gif){kind=icon} | Name | Last modified | Size |
|---|---|---|---|
![[PARENTDIR]](/icons/back.gif){kind=icon} | Parent Directory | - | |
![[ ]](/icons/unknown.gif){kind=icon} | latest_5.8 | 2000-09-02 19:07 | 6 |
| latest_5.10 | 2003-10-27 02:59 | 6 |
| latest_5.11 | 2010-02-21 00:45 | 7 |
| latest_5.12 | 2009-10-02 21:51 | 7 |
| latest_5.13 | 2011-03-20 19:49 | 8 |
| latest_devel | 2011-03-20 19:49 | 8 |
Public Mirrors