Index of /pool/main/g/gedit-latex-plugin
Name
Last modified
Size
Description
Parent Directory
-
gedit-latex-plugin_3.8.0-2_all.deb
2014-11-23 19:09
200K
gedit-latex-plugin_3.4.0-1_all.deb
2012-04-19 05:43
223K
Apache/2.4.41 (Ubuntu) Server at raspbian.luxerone.com Port 443