Apache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80Name Last modified Size Description
Parent Directory -
LATEST-IS-3.25.1 2017-07-18 19:47 1.1M
latexila-3.25.1.news 2017-07-18 19:47 235
latexila-3.25.1.sha256sum 2017-07-18 19:47 176
latexila-3.25.1.tar.xz 2017-07-18 19:47 1.1M