Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
agda-bin_2.5.1.1-3+b3_amd64.deb | 2016-11-10 23:10 | 5.9M | ||
agda-bin_2.5.1.1-3+b3_i386.deb | 2016-11-10 22:30 | 6.0M | ||
agda-mode_2.5.1.1-3_all.deb | 2016-10-29 06:26 | 78K | ||
agda_2.5.1.1-3.debian.tar.xz | 2016-10-28 05:54 | 8.8K | ||
agda_2.5.1.1-3.dsc | 2016-10-28 05:54 | 4.1K | ||
agda_2.5.1.1-3_all.deb | 2016-10-29 06:26 | 78K | ||
agda_2.5.1.1.orig.tar.gz | 2016-10-17 02:13 | 1.1M | ||
elpa-agda2-mode_2.5.1.1-3_all.deb | 2016-10-29 06:26 | 113K | ||
libghc-agda-dev_2.5.1.1-3+b3_amd64.deb | 2016-11-10 23:10 | 12M | ||
libghc-agda-dev_2.5.1.1-3+b3_i386.deb | 2016-11-10 22:30 | 14M | ||
libghc-agda-doc_2.5.1.1-3_all.deb | 2016-10-29 06:26 | 2.5M | ||