| File Name ↓ | File Size ↓ | Date ↓ | |
|---|---|---|---|
| Parent directory/ | - | - | |
| mantis_0.4.2.tar.gz | 1166951 | 2025-Jul-29 03:40 | |
| mantis_0.4.3.tar.gz | 1177043 | 2025-Aug-01 21:30 | |
| mantis_1.0.0.tar.gz | 1177315 | 2025-Oct-27 23:50 | |
| mantis_1.0.1.tar.gz | 1178176 | 2026-Jan-14 01:50 | |
| PACKAGES.rds | 579 | 2026-Jul-09 13:27 | |