![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| Data/ | 05-Apr-2009 13:05 | - | |
| HSmonoids-0.1.25.o | 05-Apr-2009 13:05 | 1.5M | |
| HSmonoids-0.1.27.o | 05-Apr-2009 13:05 | 1.7M | |
| HSmonoids-0.1.28.o | 05-Apr-2009 13:04 | 1.7M | |
| HSmonoids-0.1.29.o | 05-Apr-2009 13:04 | 1.7M | |
| autogen/ | 05-Apr-2009 13:04 | - | |
| libHSmonoids-0.1.25.a | 05-Apr-2009 13:04 | 2.1M | |
| libHSmonoids-0.1.27.a | 05-Apr-2009 13:04 | 2.3M | |
| libHSmonoids-0.1.28.a | 05-Apr-2009 13:04 | 2.3M | |
| libHSmonoids-0.1.29.a | 05-Apr-2009 13:05 | 2.4M | |
| tmp/ | 05-Apr-2009 13:05 | - | |