Inicio Explorar contacts
Iniciar sesión
LDA010
/
bug_ebuild
Seguir 0
Destacar 0
Fork 0
Archivos Incidencias 0 Pull Requests 0 Wiki
Rama: master
Ramas Etiquetas
bug_ebuild
/
gentoo
/
sci-mathematics
/
agda-stdlib
LDA010 b7df015bb4 copy hace 7 años
..
files b7df015bb4 copy hace 7 años
Manifest b7df015bb4 copy hace 7 años
agda-stdlib-2.4.2.5.ebuild b7df015bb4 copy hace 7 años
agda-stdlib-2.5.2.0.13.ebuild b7df015bb4 copy hace 7 años
metadata.xml b7df015bb4 copy hace 7 años