| Name | Size | Modified | ||
|---|---|---|---|---|
| Go up | — | — | ||
| agda-stdlib-doc_2.3-1_all.deb | 3.8 MiB | |||
| agda-stdlib_2.3-1.debian.tar.xz | 5.9 KiB | |||
| agda-stdlib_2.3-1.dsc | 2.2 KiB | |||
| agda-stdlib_2.3-1_all.deb | 146 MiB | |||
| agda-stdlib_2.3.orig.tar.gz | 1.2 MiB |
| Name | Size | Modified | ||
|---|---|---|---|---|
| Go up | — | — | ||
| agda-stdlib-doc_2.3-1_all.deb | 3.8 MiB | |||
| agda-stdlib_2.3-1.debian.tar.xz | 5.9 KiB | |||
| agda-stdlib_2.3-1.dsc | 2.2 KiB | |||
| agda-stdlib_2.3-1_all.deb | 146 MiB | |||
| agda-stdlib_2.3.orig.tar.gz | 1.2 MiB |