![[ICO]](/theme/icons/empty.svg){kind=icon} | Name | Last modified | Size |
|---|---|---|---|
![[PARENTDIR]](/theme/icons/user-home.svg){kind=icon} | Parent Directory | - | |
![[deb]](/theme/icons/deb.svg){kind=icon} | agda-bin_2.5.1.1-3+b3_amd64.deb | 2016-11-10 17:40 | 5.9M |
| agda-bin_2.5.4.1-3+b1_amd64.deb | 2018-12-04 10:59 | 5.6M |
| agda-mode_2.5.1.1-3_all.deb | 2016-10-29 01:56 | 78K |
| agda-mode_2.5.4.1-3_all.deb | 2018-10-20 22:57 | 115K |
| agda_2.5.1.1-3_all.deb | 2016-10-29 01:56 | 78K |
| agda_2.5.4.1-3_all.deb | 2018-10-20 22:57 | 115K |
| elpa-agda2-mode_2.5.1.1-3_all.deb | 2016-10-29 01:56 | 113K |
| elpa-agda2-mode_2.5.4.1-3_all.deb | 2018-10-20 22:57 | 152K |
| libghc-agda-dev_2.5.1.1-3+b3_amd64.deb | 2016-11-10 17:40 | 12M |
| libghc-agda-dev_2.5.4.1-3+b1_amd64.deb | 2018-12-04 10:59 | 16M |
| libghc-agda-doc_2.5.1.1-3_all.deb | 2016-10-29 01:56 | 2.5M |
| libghc-agda-doc_2.5.4.1-3_all.deb | 2018-10-20 22:57 | 3.6M |