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