![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[ ]](/icons/tar.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| 5-000.succmins.dat.gz | 23-Dec-2008 21:51 | 203M | |
| hecke/ | 27-May-2008 16:46 | - | |
| mbox | 29-Oct-2007 17:26 | 3.9K | |
| patches/ | 08-Nov-2008 18:33 | - | |
| public_html/ | 29-Jan-2007 10:46 | - | |
| sage-3.4.rc0/ | 04-Mar-2009 11:54 | - | |
| sage-4.2.tar | 14-Nov-2009 10:50 | 259M | |
| sage-4.2/ | 14-Nov-2009 12:51 | - | |
| theta/ | 03-Aug-2007 09:44 | - | |
| totallyreal/ | 27-Aug-2008 20:23 | - | |