Cermin Mirror
Supported by Logo
/ubuntu/pool/universe/a/agda-stdlib/
File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
agda-stdlib_1.3-2.dsc2.1 KiB2020-Aug-02 12:13
agda-stdlib_1.3-2.debian.tar.xz5.5 KiB2020-Aug-02 12:13
agda-stdlib_1.3.orig.tar.gz733.8 KiB2020-Aug-02 06:33
agda-stdlib-doc_1.1-1_all.deb1.8 MiB2026-Feb-25 04:18
agda-stdlib-doc_1.3-2_all.deb2.3 MiB2026-Feb-25 04:18
agda-stdlib-doc_1.7.3-1_all.deb2.8 MiB2023-Nov-11 06:50
agda-stdlib_1.1-1_all.deb45.2 MiB2026-Feb-25 04:18
agda-stdlib_1.3-2_all.deb69.8 MiB2026-Feb-25 04:18
agda-stdlib_1.7.3-1_all.deb115.0 MiB2023-Nov-11 06:50

Hubungi Kami

Status Sinkronisasi

Terupdate otomatis setiap jam dari upstream resmi.

Lihat Monitor Repository