![]() | Name | Last modified | Size | Description |
---|---|---|---|---|
![]() | Parent Directory | - | ||
![]() | agda-stdlib-doc_0.3-3_all.deb | 2010-03-03 19:32 | 1.1M | |
![]() | agda-stdlib-doc_0.6-2_all.deb | 2012-03-14 17:47 | 1.6M | |
![]() | agda-stdlib-doc_0.7-2_all.deb | 2013-05-28 02:46 | 1.7M | |
![]() | agda-stdlib_0.3-3.diff.gz | 2010-03-03 19:32 | 3.7K | |
![]() | agda-stdlib_0.3-3.dsc | 2010-03-03 19:32 | 1.2K | |
![]() | agda-stdlib_0.3-3_amd64.deb | 2010-03-03 19:32 | 12M | |
![]() | agda-stdlib_0.3-3_i386.deb | 2010-03-04 01:17 | 12M | |
![]() | agda-stdlib_0.3.orig.tar.gz | 2010-02-06 01:17 | 147K | |
![]() | agda-stdlib_0.6-2.debian.tar.gz | 2012-03-14 17:47 | 4.1K | |
![]() | agda-stdlib_0.6-2.dsc | 2012-03-14 17:47 | 1.4K | |
![]() | agda-stdlib_0.6-2_all.deb | 2012-03-14 17:47 | 16M | |
![]() | agda-stdlib_0.6.orig.tar.gz | 2011-12-31 04:47 | 211K | |
![]() | agda-stdlib_0.7-2.debian.tar.gz | 2013-05-28 02:46 | 4.4K | |
![]() | agda-stdlib_0.7-2.dsc | 2013-05-28 02:46 | 2.0K | |
![]() | agda-stdlib_0.7-2_all.deb | 2013-05-28 02:46 | 17M | |
![]() | agda-stdlib_0.7.orig.tar.gz | 2013-04-10 19:24 | 221K | |