Cermin Mirror
Supported by Logo
/debian/pool/main/a/agda/
File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
agda-bin_2.6.2.2-1.1_amd64.deb7.4 MiB2026-Feb-25 09:57
agda-bin_2.6.4.3-1+b2_amd64.deb9.4 MiB2026-Feb-25 09:57
agda-bin_2.6.4.3-1+b2_i386.deb14.1 MiB2026-Feb-25 09:57
agda_2.6.2.2-1.1_all.deb12.0 KiB2026-Feb-25 09:57
agda_2.6.4.3-1_all.deb11.9 KiB2026-Feb-25 09:57
elpa-agda2-mode_2.6.2.2-1.1_all.deb49.8 KiB2026-Feb-25 09:57
elpa-agda2-mode_2.6.4.3-1_all.deb50.1 KiB2026-Feb-25 09:57
libghc-agda-dev_2.6.2.2-1.1_amd64.deb23.7 MiB2026-Feb-25 09:57
libghc-agda-dev_2.6.4.3-1+b2_amd64.deb21.8 MiB2026-Feb-25 09:57
libghc-agda-dev_2.6.4.3-1+b2_i386.deb35.6 MiB2026-Feb-25 09:57
libghc-agda-doc_2.6.2.2-1.1_all.deb6.3 MiB2026-Feb-25 09:57
libghc-agda-doc_2.6.4.3-1_all.deb7.1 MiB2026-Feb-25 09:57

Hubungi Kami

Status Sinkronisasi

Terupdate otomatis setiap jam dari upstream resmi.

Lihat Monitor Repository