![[ICO]](/icons/blank.png){kind=icon}
![[PARENTDIR]](/icons/back.png){kind=icon}
![[ ]](/icons/compressed.png){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| annotated_types-0.5...> | 2024-01-27 17:30 | 13K | GZIP compressed docume> |
| annotated_types-0.6...> | 2024-01-20 17:25 | 14K | GZIP compressed docume> |
| annotated_types-0.7...> | 2024-06-19 20:37 | 16K | GZIP compressed docume> |