Name Last modified Size DescriptionApache/2.4.39 (Unix) OpenSSL/1.0.2u Server at pkg.cs.ovgu.de Port 80
Parent Directory - pkgconfig/ 2015-10-06 16:39 - libsynctex.so.1.17.0 2015-10-06 16:30 237K libtexlua52.so.5.2.4 2015-10-06 16:30 1.1M libptexenc.so.1.3.3 2015-10-06 16:29 110K libkpathsea.so.6.2.1 2015-10-06 16:29 712K