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