![]() | Name | Last modified | Size | Description |
---|---|---|---|---|
![]() | Parent Directory | - | ||
![]() | agda-stdlib-doc_0.7-2_all.deb | 2013-05-28 06:33 | 1.7M | |
![]() | agda-stdlib-doc_0.11-1_all.deb | 2016-01-05 08:20 | 1.2M | |
![]() | agda-stdlib_0.7-2_all.deb | 2013-05-28 06:33 | 17M | |
![]() | agda-stdlib_0.11-1_all.deb | 2016-01-05 08:20 | 17M | |