![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| hyperdirichlet_1.1-6..> | 24-Nov-2008 01:28 | 280K | |
| hyperdirichlet_1.1-7..> | 20-Jan-2009 00:37 | 279K | |
| hyperdirichlet_1.1-8..> | 15-Apr-2009 00:34 | 588K | |
| hyperdirichlet_1.3-0..> | 08-Sep-2009 11:14 | 1.9M | |
| hyperdirichlet_1.3-8..> | 26-Oct-2009 12:27 | 1.9M | |
| hyperdirichlet_1.4-2..> | 22-Feb-2010 06:52 | 3.0M | |
| hyperdirichlet_1.4-3..> | 20-Oct-2010 06:56 | 2.0M | |
| hyperdirichlet_1.4-5..> | 27-Mar-2011 01:28 | 1.9M | |
| hyperdirichlet_1.4-6..> | 27-Dec-2011 01:06 | 1.4M | |