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/a/agda-stdlib/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
agda-stdlib-doc_1.3-2_all.deb2.3 MiB2020-Aug-02 06:43
agda-stdlib-doc_2.3-1_all.deb3.6 MiB2026-Feb-19 01:05
agda-stdlib_1.3-2_all.deb69.8 MiB2020-Aug-02 06:43
agda-stdlib_2.3-1_all.deb149.3 MiB2026-Feb-19 01:06

©2023 MyOnline - Szládovics Péter