![]() | Name | Last modified | Size | Description |
---|---|---|---|---|
![]() | Parent Directory | - | ||
![]() | libghc-agda-doc_2.5.1.1-3_all.deb | 2024-12-10 16:16 | 2.5M | |
![]() | elpa-agda2-mode_2.5.1.1-3_all.deb | 2024-12-10 16:16 | 113K | |
![]() | agda_2.5.1.1-3_all.deb | 2024-12-10 16:16 | 78K | |
![]() | agda-mode_2.5.1.1-3_all.deb | 2024-12-10 16:16 | 78K | |