../ agda-stdlib-doc_0.3-1ubuntu2_all.deb 30-Mar-2026 22:31 1M agda-stdlib-doc_0.6-2_all.deb 02-Apr-2026 20:47 2M agda-stdlib_0.3-1ubuntu2_amd64.deb 30-Mar-2026 22:31 11M agda-stdlib_0.3-1ubuntu2_i386.deb 30-Mar-2026 22:31 11M agda-stdlib_0.6-2_all.deb 02-Apr-2026 20:48 16M