Apache/2.4.41 (Ubuntu) Server at ftp5.de.freebsd.org Port 80Name Last modified Size Description
Parent Directory -
LATEST-IS-3.20.0 2016-05-14 19:07 448K
gedit-latex-3.20.0.news 2016-05-14 19:07 1.4K
gedit-latex-3.20.0.sha256sum 2016-05-14 19:07 182
gedit-latex-3.20.0.tar.xz 2016-05-14 19:07 448K