Accueil/Home
Remonter/Go Up
Actualiser/Refresh
Parcourir en FTP/Browse with FTP
Parcourir en SSL/Secure Browsing
Location:
Name
Last modified
Size
Description
Parent Directory
-
agda_2.6.3-1.debian.tar.xz
2023-10-14 02:34
11K
TAR compressed archive
agda_2.6.3-1.dsc
2023-10-14 02:34
4.8K
agda_2.6.3.orig.tar.gz
2023-10-14 02:34
1.7M
GZIP compressed TAR archive
agda_2.6.3-1_all.deb
2023-10-14 03:30
20K
elpa-agda2-mode_2.6.3-1_all.deb
2023-10-14 03:30
58K
libghc-agda-doc_2.6.3-1_all.deb
2023-10-14 03:30
6.6M
agda-bin_2.6.3-1+b1_arm64.deb
2023-10-23 08:29
9.8M
libghc-agda-dev_2.6.3-1+b1_arm64.deb
2023-10-23 08:29
24M
agda-bin_2.6.3-1+b2_amd64.deb
2023-10-31 03:22
9.8M
libghc-agda-dev_2.6.3-1+b2_amd64.deb
2023-10-31 03:22
23M
agda-bin_2.6.3-1_i386.deb
2023-10-31 04:12
15M
libghc-agda-dev_2.6.3-1_i386.deb
2023-10-31 04:12
37M
agda-bin_2.6.3-1+b3_amd64.deb
2024-04-14 04:30
9.8M
libghc-agda-dev_2.6.3-1+b3_amd64.deb
2024-04-14 04:30
23M
agda-bin_2.6.3-1+b1_i386.deb
2024-04-14 06:29
15M
libghc-agda-dev_2.6.3-1+b1_i386.deb
2024-04-14 06:29
37M
agda-bin_2.6.3-1+b2_arm64.deb
2024-04-14 07:10
9.8M
libghc-agda-dev_2.6.3-1+b2_arm64.deb
2024-04-14 07:10
24M