Sales & Support: 13 66 33
| File Name | File Size | Date |
|---|---|---|
| Parent directory/ | - | - |
| agda-stdlib-doc_0.3-1ubuntu2_all.deb | 1173214 | 16-Feb-2010 13:04 |
| agda-stdlib_0.3-1ubuntu2.diff.gz | 3735 | 16-Feb-2010 13:04 |
| agda-stdlib_0.3-1ubuntu2.dsc | 1289 | 16-Feb-2010 13:04 |
| agda-stdlib_0.3-1ubuntu2_amd64.deb | 12047060 | 16-Feb-2010 14:10 |
| agda-stdlib_0.3-1ubuntu2_i386.deb | 12047080 | 16-Feb-2010 13:04 |
| agda-stdlib_0.3.orig.tar.gz | 153277 | 13-Feb-2010 16:04 |
