🐧
Repositori Linux Lokal — Diskominfo Kutai Timur
Ubuntu · CentOS · AlmaLinux · archive.ubuntu.com
← Halaman Utama
NameLast modifiedSize
Parent Directory  -
coq_8.15.0+dfsg-2_amd64.deb2022-02-06 07:52 91M
coq_8.18.0+dfsg-1build2_amd64.deb2024-04-01 03:32 91M
coq_8.20.1+dfsg-1_amd64.deb2025-02-18 09:40 78M
coq_8.20.1+dfsg-1build4_amd64.deb2026-03-01 21:54 79M
coqide_8.15.0+dfsg-2_amd64.deb2022-02-06 07:51 2.3M
coqide_8.18.0+dfsg-1build2_amd64.deb2024-04-01 03:32 2.2M
coqide_8.20.1+dfsg-1_amd64.deb2025-02-18 09:40 2.1M
coqide_8.20.1+dfsg-1build4_amd64.deb2026-03-01 21:54 2.1M
libcoq-core-ocaml-dev_8.15.0+dfsg-2_amd64.deb2022-02-06 07:51 43M
libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_amd64.deb2024-04-01 03:32 49M
libcoq-core-ocaml-dev_8.20.1+dfsg-1_amd64.deb2025-02-18 09:40 66M
libcoq-core-ocaml-dev_8.20.1+dfsg-1build4_amd64.deb2026-03-01 21:54 57M
libcoq-core-ocaml_8.15.0+dfsg-2_amd64.deb2022-02-06 07:51 26M
libcoq-core-ocaml_8.18.0+dfsg-1build2_amd64.deb2024-04-01 03:32 26M
libcoq-core-ocaml_8.20.1+dfsg-1_amd64.deb2025-02-18 09:40 26M
libcoq-core-ocaml_8.20.1+dfsg-1build4_amd64.deb2026-03-01 21:54 27M
libcoq-stdlib_8.15.0+dfsg-2_amd64.deb2022-02-06 07:51 24M
libcoq-stdlib_8.18.0+dfsg-1build2_amd64.deb2024-04-01 03:32 25M
libcoq-stdlib_8.20.1+dfsg-1_amd64.deb2025-02-18 09:40 26M
libcoq-stdlib_8.20.1+dfsg-1build4_amd64.deb2026-03-01 21:54 26M