Cermin Mirror
Supported by Logo
/ubuntu/pool/universe/a/agda/
File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
agda-bin_2.6.0.1-1build4_amd64.deb6.3 MiB2026-Feb-25 04:18
agda-bin_2.6.1-1build2.1_amd64.deb9.1 MiB2026-Feb-25 04:18
agda-bin_2.6.3-1build1_amd64.deb10.5 MiB2026-Feb-25 04:18
agda-mode_2.6.0.1-1build4_all.deb3.6 KiB2026-Feb-25 04:18
agda_2.6.0.1-1build4_all.deb4.0 KiB2026-Feb-25 04:18
agda_2.6.1-1build2.1_all.deb4.0 KiB2026-Feb-25 04:18
agda_2.6.3-1build1_all.deb3.7 KiB2026-Feb-25 04:18
elpa-agda2-mode_2.6.0.1-1build4_all.deb40.2 KiB2026-Feb-25 04:18
elpa-agda2-mode_2.6.1-1build2.1_all.deb45.1 KiB2026-Feb-25 04:18
elpa-agda2-mode_2.6.3-1build1_all.deb45.2 KiB2026-Feb-25 04:18
libghc-agda-dev_2.6.0.1-1build4_amd64.deb18.8 MiB2026-Feb-25 04:18
libghc-agda-dev_2.6.1-1build2.1_amd64.deb38.4 MiB2026-Feb-25 04:18
libghc-agda-dev_2.6.3-1build1_amd64.deb24.3 MiB2026-Feb-25 04:18
libghc-agda-doc_2.6.0.1-1build4_all.deb4.0 MiB2026-Feb-25 04:18
libghc-agda-doc_2.6.1-1build2.1_all.deb5.2 MiB2026-Feb-25 04:18
libghc-agda-doc_2.6.3-1build1_all.deb6.0 MiB2026-Feb-25 04:18

Hubungi Kami

Status Sinkronisasi

Terupdate otomatis setiap jam dari upstream resmi.

Lihat Monitor Repository