Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
agda-mode_2.5.3-3build1_all.deb | 2021-01-20 01:57 | 3.5K | ||
agda_2.5.3-3build1_all.deb | 2021-01-20 01:57 | 3.0K | ||
elpa-agda2-mode_2.5.3-3build1_all.deb | 2021-01-20 01:57 | 40K | ||
agda-bin_2.5.3-3build1_amd64.deb | 2021-01-20 01:57 | 5.5M | ||
libghc-agda-doc_2.5.3-3build1_all.deb | 2021-01-20 01:58 | 2.6M | ||
libghc-agda-dev_2.5.3-3build1_amd64.deb | 2021-01-20 01:58 | 15M | ||