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/m/metamath-databases/
| File Name ↓ | File Size ↓ | Date ↓ | |
|---|---|---|---|
| Parent directory/ | - | - | |
| metamath-databases_0.0.0~20210101.git55fe226-2_all.deb | 12.3 MiB | 2021-Jan-06 18:35 | |
| metamath-databases_0.0.0~20210101.git55fe226-2build1_all.deb | 12.8 MiB | 2025-Dec-16 23:25 | |