Folder Path
/
raspbian
/
deb.debian.org
/
debian
/
pool
/
main
/
a
/
agda
/
0
directories
5
files
40 MiB
total
List
Grid
Name
Size
Modified
Up
agda-bin_2.6.4.3-1+b2_arm64.deb
9.4 MiB
02/14/2025 12:31:07 PM +00:00
agda_2.6.4.3-1_all.deb
12 KiB
10/08/2024 11:23:12 AM +00:00
elpa-agda2-mode_2.6.4.3-1_all.deb
50 KiB
10/08/2024 11:23:12 AM +00:00
libghc-agda-dev_2.6.4.3-1+b2_arm64.deb
23 MiB
02/14/2025 12:31:07 PM +00:00
libghc-agda-doc_2.6.4.3-1_all.deb
7.1 MiB
10/08/2024 11:23:12 AM +00:00