![[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} | libghc-agda-doc_2.6.0.1-1build4_all.deb | 2020-02-08 13:19 | 4.0M |
| libghc-agda-doc_2.5.3-3build1_all.deb | 2017-11-25 20:09 | 2.6M |
| libghc-agda-dev_2.6.0.1-1build4_amd64.deb | 2020-02-08 13:19 | 19M |
| libghc-agda-dev_2.5.3-3build1_amd64.deb | 2017-11-25 20:09 | 15M |
| elpa-agda2-mode_2.6.0.1-1build4_all.deb | 2020-02-08 13:19 | 40K |
| elpa-agda2-mode_2.5.3-3build1_all.deb | 2017-11-25 20:09 | 40K |
| agda_2.6.0.1-1build4_all.deb | 2020-02-08 13:19 | 4.0K |
| agda_2.5.3-3build1_all.deb | 2017-11-25 20:09 | 3.0K |
| agda-mode_2.6.0.1-1build4_all.deb | 2020-02-08 13:19 | 3.6K |
| agda-mode_2.5.3-3build1_all.deb | 2017-11-25 20:09 | 3.5K |
| agda-bin_2.6.0.1-1build4_amd64.deb | 2020-02-08 13:19 | 6.3M |
| agda-bin_2.5.3-3build1_amd64.deb | 2017-11-25 20:09 | 5.5M |