Name Last modified Size
Parent Directory - gedit-latex-plugin_3.20.0-2.debian.tar.xz 2024-10-13 08:09 7.0K gedit-latex-plugin_3.20.0-2.dsc 2024-10-13 08:09 2.0K gedit-latex-plugin_3.20.0-2_all.deb 2024-06-30 04:18 211K gedit-latex-plugin_3.20.0.orig.tar.gz 2024-10-13 08:09 669K gedit-latex-plugin_46.2.2-1.debian.tar.xz 2024-10-13 08:09 5.1K gedit-latex-plugin_46.2.2-1.dsc 2024-10-13 08:09 2.1K gedit-latex-plugin_46.2.2-1_all.deb 2024-08-18 16:13 226K gedit-latex-plugin_46.2.2.orig.tar.xz 2024-10-13 08:09 246K
This mirror is brought to you by HR-Tech and Heiko Richter