Name Last modified Size ![[Volver]](/icons/back.gif){kind=icon}
Parent Directory -
![[Directorio]](/icons/folder2.png){kind=icon}
man/ 2024-07-25 13:45 -
logos/ 2024-07-25 13:45 -
![[Fichero PDF]](/icons/pdf2.png){kind=icon}
Paper-ES.pdf 2024-07-25 13:45 890K
![[TXT]](/icons/text.gif){kind=icon}
LICENSE 2024-07-25 13:45 797
COPYING.GPL 2024-07-25 13:45 34K