Folder Path
/
pub
/
mirror
/
archive.ubuntu.com
/
ubuntu
/
pool
/
universe
/
a
/
agda-stdlib
/
0
directories
7
files
375 MiB
total
List
Grid
Name
Size
Modified
Up
agda-stdlib-doc_1.7.1-1_all.deb
2.8 MiB
08/26/2022 07:09:39 PM +00:00
agda-stdlib-doc_1.7.3-1_all.deb
2.8 MiB
11/10/2023 11:50:08 PM +00:00
agda-stdlib-doc_2.1-4_all.deb
3.5 MiB
11/26/2024 12:17:56 AM +00:00
agda-stdlib-doc_2.3-1_all.deb
3.6 MiB
02/19/2026 12:05:59 AM +00:00
agda-stdlib_1.7.1-1_all.deb
98 MiB
08/26/2022 07:09:39 PM +00:00
agda-stdlib_1.7.3-1_all.deb
115 MiB
11/10/2023 11:50:08 PM +00:00
agda-stdlib_2.3-1_all.deb
149 MiB
02/19/2026 12:06:02 AM +00:00