Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
agda-bin_2.3.0.1-1.diff.gz | 2012-03-12 14:47 | 2.9K | ||
agda-bin_2.3.0.1-1.dsc | 2012-03-12 14:47 | 1.3K | ||
agda-bin_2.3.0.1-1_amd64.deb | 2012-03-12 14:47 | 4.7M | ||
agda-bin_2.3.0.1-1_i386.deb | 2012-03-13 00:17 | 4.4M | ||
agda-bin_2.3.0.1.orig.tar.gz | 2012-03-12 14:47 | 1.7K | ||