Szládovics Péter - MyOnline APT repository

Ezt az oldalt a MyOnline, Szládovics Péter üzemelteti.
Az oldalon elérhető tartalom egyes részei (pl. restricted csomagok) saját produktumnak számítanak, ezért annak letöltése az arra való jogosultság hiányában nem engedélyezett

A jelenlegi útvonal:

/pool/universe/c/coq/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
coq_8.15.0+dfsg-2_amd64.deb91.0 MiB2022-Feb-06 00:52
coq_8.20.1+dfsg-1build4_amd64.deb78.6 MiB2026-Mar-01 14:54
coqide_8.15.0+dfsg-2_amd64.deb2.3 MiB2022-Feb-06 00:51
coqide_8.20.1+dfsg-1build4_amd64.deb2.1 MiB2026-Mar-01 14:54
libcoq-core-ocaml-dev_8.15.0+dfsg-2_amd64.deb42.9 MiB2022-Feb-06 00:51
libcoq-core-ocaml-dev_8.20.1+dfsg-1build4_amd64.deb57.0 MiB2026-Mar-01 14:54
libcoq-core-ocaml_8.15.0+dfsg-2_amd64.deb25.8 MiB2022-Feb-06 00:51
libcoq-core-ocaml_8.20.1+dfsg-1build4_amd64.deb27.0 MiB2026-Mar-01 14:54
libcoq-stdlib_8.15.0+dfsg-2_amd64.deb23.6 MiB2022-Feb-06 00:51
libcoq-stdlib_8.20.1+dfsg-1build4_amd64.deb25.7 MiB2026-Mar-01 14:54

©2023 MyOnline - Szládovics Péter