| Parent directory/ | - | - |
| agda-stdlib_1.3-2_all.deb | 69.8 MiB | Sun, 2 August 2020 06:43:42 AM |
| agda-stdlib-doc_1.3-2_all.deb | 2.3 MiB | Sun, 2 August 2020 06:43:41 AM |
| agda-stdlib_1.3-2.debian.tar.xz | 5.5 KiB | Sun, 2 August 2020 06:13:38 AM |
| agda-stdlib_1.3-2.dsc | 2.1 KiB | Sun, 2 August 2020 06:13:38 AM |
| agda-stdlib_1.3.orig.tar.gz | 733.8 KiB | Sat, 1 August 2020 12:33:38 PM |
| agda-stdlib_1.1-1_all.deb | 45.2 MiB | Fri, 6 September 2019 04:48:27 PM |
| agda-stdlib-doc_1.1-1_all.deb | 1.8 MiB | Fri, 6 September 2019 04:48:27 PM |
| agda-stdlib_1.1-1.dsc | 2.1 KiB | Fri, 6 September 2019 04:48:22 PM |
| agda-stdlib_1.1-1.debian.tar.xz | 5.4 KiB | Fri, 6 September 2019 04:48:22 PM |
| agda-stdlib_1.1.orig.tar.gz | 556.7 KiB | Wed, 4 September 2019 02:38:22 PM |
| agda-stdlib_0.14-1_all.deb | 17.3 MiB | Sun, 26 November 2017 07:04:46 PM |
| agda-stdlib-doc_0.14-1_all.deb | 1.0 MiB | Sun, 26 November 2017 07:04:45 PM |
| agda-stdlib_0.14-1.dsc | 2.1 KiB | Sun, 26 November 2017 06:08:38 PM |
| agda-stdlib_0.14-1.debian.tar.xz | 5.1 KiB | Sun, 26 November 2017 06:08:38 PM |
| agda-stdlib_0.14.orig.tar.gz | 278.7 KiB | Sun, 26 November 2017 12:14:14 AM |
| agda-stdlib-doc_0.11-1_all.deb | 1.2 MiB | Tue, 5 January 2016 02:20:13 AM |
| agda-stdlib_0.11-1_all.deb | 16.7 MiB | Tue, 5 January 2016 02:20:12 AM |
| agda-stdlib_0.11.orig.tar.gz | 247.3 KiB | Mon, 4 January 2016 12:25:05 PM |
| agda-stdlib_0.11-1.dsc | 2.1 KiB | Mon, 4 January 2016 12:25:05 PM |
| agda-stdlib_0.11-1.debian.tar.xz | 4.5 KiB | Mon, 4 January 2016 12:25:05 PM |