Strona główna Odkrywaj contacts
Zaloguj się
LDA010
/
bug_ebuild
Obserwuj 0
Polub 0
Forkuj 0
Pliki Problemy 0 Oczekujące zmiany 0 Wiki
Gałąź: master
Gałęzie Tagi
bug_ebuild
/
gentoo
/
sci-mathematics
/
agda-stdlib
LDA010 b7df015bb4 copy 7 lat temu
..
files b7df015bb4 copy 7 lat temu
Manifest b7df015bb4 copy 7 lat temu
agda-stdlib-2.4.2.5.ebuild b7df015bb4 copy 7 lat temu
agda-stdlib-2.5.2.0.13.ebuild b7df015bb4 copy 7 lat temu
metadata.xml b7df015bb4 copy 7 lat temu