Folder Path
/
archive.ubuntu.com
/
ubuntu
/
pool
/
universe
/
a
/
agda
/
0
directories
5
files
53 MiB
total
List
Grid
Name
Size
Modified
Up
agda-bin_2.6.1-1build2.1_amd64.deb
9.1 MiB
09/16/2021 08:28:52 AM +00:00
agda_2.6.1-1build2.1_all.deb
4.0 KiB
09/16/2021 08:28:52 AM +00:00
elpa-agda2-mode_2.6.1-1build2.1_all.deb
45 KiB
09/16/2021 08:28:53 AM +00:00
libghc-agda-dev_2.6.1-1build2.1_amd64.deb
38 MiB
09/16/2021 08:28:52 AM +00:00
libghc-agda-doc_2.6.1-1build2.1_all.deb
5.2 MiB
09/16/2021 08:28:53 AM +00:00