🐧
Repositori Linux Lokal — Diskominfo Kutai Timur
Ubuntu · CentOS · AlmaLinux · archive.ubuntu.com
← Halaman Utama
NameLast modifiedSize
Parent Directory  -
agda-bin_2.6.1-1build2.1_amd64.deb2021-09-16 16:28 9.1M
agda-bin_2.6.3-1build1_amd64.deb2023-11-11 04:19 10M
agda-bin_2.6.4.3-1_amd64.deb2024-10-26 05:15 10M
agda-bin_2.8.0-2build1_amd64.deb2026-03-02 03:50 10M
agda_2.6.1-1build2.1_all.deb2021-09-16 16:28 4.0K
agda_2.6.3-1build1_all.deb2023-11-11 04:19 3.7K
agda_2.6.4.3-1_all.deb2024-10-26 05:15 3.6K
agda_2.8.0-2build1_all.deb2026-03-02 03:50 2.8K
elpa-agda2-mode_2.6.1-1build2.1_all.deb2021-09-16 16:28 45K
elpa-agda2-mode_2.6.3-1build1_all.deb2023-11-11 04:19 45K
elpa-agda2-mode_2.6.4.3-1_all.deb2024-10-26 05:15 45K
elpa-agda2-mode_2.8.0-2build1_all.deb2026-03-02 03:50 47K
libghc-agda-dev_2.6.1-1build2.1_amd64.deb2021-09-16 16:28 38M
libghc-agda-dev_2.6.3-1build1_amd64.deb2023-11-11 04:19 24M
libghc-agda-dev_2.6.4.3-1_amd64.deb2024-10-26 05:15 23M
libghc-agda-dev_2.8.0-2build1_amd64.deb2026-03-02 03:50 37M
libghc-agda-doc_2.6.1-1build2.1_all.deb2021-09-16 16:28 5.2M
libghc-agda-doc_2.6.3-1build1_all.deb2023-11-11 04:19 6.0M
libghc-agda-doc_2.6.4.3-1_all.deb2024-10-26 05:15 6.4M
libghc-agda-doc_2.8.0-2build1_all.deb2026-03-02 03:50 6.5M