Soroti University Logo

Local Ubuntu Archive Mirror

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
coq_8.18.0+dfsg-1build2.debian.tar.xz32.6 KiB2024-Mar-31 21:36
coq_8.18.0+dfsg-1build2.dsc2.6 KiB2024-Mar-31 21:36
coq_8.18.0+dfsg-1build2_amd64.deb91.5 MiB2024-Mar-31 22:32
coq_8.18.0+dfsg.orig.tar.xz4.6 MiB2023-Dec-22 22:46
coqide_8.18.0+dfsg-1build2_amd64.deb2.2 MiB2024-Mar-31 22:32
libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_amd64...>49.0 MiB2024-Mar-31 22:32
libcoq-core-ocaml_8.18.0+dfsg-1build2_amd64.deb26.4 MiB2024-Mar-31 22:32
libcoq-stdlib_8.18.0+dfsg-1build2_amd64.deb25.3 MiB2024-Mar-31 22:32

Hosted locally by Soroti University at repo.sun.ac.ug

Synchronized Daily • Powered by Directorate of ICT