![]() | Name | Last modified | Size | Description |
---|---|---|---|---|
![]() | Parent Directory | - | ||
![]() | agda-mode_2.3.0.1-2_all.deb | 2012-05-26 21:32 | 45K | |
![]() | agda_2.3.0.1-2_all.deb | 2012-05-26 21:32 | 13K | |
![]() | libghc-agda-doc_2.3.0.1-2_all.deb | 2012-05-26 21:32 | 1.7M | |
![]() | libghc-agda-dev_2.3.0.1-2_armhf.deb | 2012-06-23 00:08 | 17M | |
![]() | agda-mode_2.4.0.2-2_all.deb | 2014-08-11 11:28 | 86K | |
![]() | agda_2.4.0.2-2_all.deb | 2014-08-11 11:28 | 55K | |
![]() | libghc-agda-doc_2.4.0.2-2_all.deb | 2014-08-11 11:28 | 1.9M | |