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/multiverse/c/coq-doc/
| File Name ↓ | File Size ↓ | Date ↓ | |
|---|---|---|---|
| Parent directory/ | - | - | |
| coq-doc-html_8.15.0-3_all.deb | 1.3 MiB | 2022-Mar-17 10:15 | |
| coq-doc-html_8.20.0-2build1_all.deb | 1.5 MiB | 2025-Dec-03 12:05 | |
| coq-doc-pdf_8.15.0-3_all.deb | 3.9 MiB | 2022-Mar-17 10:15 | |
| coq-doc-pdf_8.20.0-2build1_all.deb | 4.8 MiB | 2025-Dec-03 12:05 | |
| coq-doc_8.15.0-3_all.deb | 3.9 KiB | 2022-Mar-17 10:15 | |
| coq-doc_8.20.0-2build1_all.deb | 3.9 KiB | 2025-Dec-03 12:05 | |