| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| DIME_1.0.tar.gz | 23.2 KiB | 2012-Oct-29 16:56 |
| DIME_1.1.tar.gz | 26.1 KiB | 2012-Dec-12 03:00 |
| DIME_1.2.tar.gz | 25.9 KiB | 2013-Dec-10 07:08 |
| DIME_1.3.0.tar.gz | 26.6 KiB | 2022-May-09 23:50 |
| PACKAGES.rds | 402 B | 2026-Sep-27 18:00 |