The hardware and bandwidth for this mirror is donated by dogado GmbH, the Webhosting and Full Service-Cloud Provider. Check out our Wordpress Tutorial.
If you wish to report a bug, or if you are interested in having us mirror your free-software or open-source project, please feel free to contact us at mirror[@]dogado.de.
../ gedit-latex-plugin_3.20.0-1.debian.tar.xz 29-Nov-2016 18:38 5432 gedit-latex-plugin_3.20.0-1.dsc 29-Nov-2016 18:38 2108 gedit-latex-plugin_3.20.0-1_all.deb 29-Nov-2016 18:38 216754 gedit-latex-plugin_3.20.0-2.debian.tar.xz 25-Feb-2021 21:57 7168 gedit-latex-plugin_3.20.0-2.dsc 25-Feb-2021 21:57 2098 gedit-latex-plugin_3.20.0-2_all.deb 25-Feb-2021 22:28 215828 gedit-latex-plugin_3.20.0.orig.tar.gz 29-Nov-2016 18:38 684860 gedit-latex-plugin_46.2.2-1.debian.tar.xz 23-Jul-2024 09:31 5232 gedit-latex-plugin_46.2.2-1.dsc 23-Jul-2024 09:31 2129 gedit-latex-plugin_46.2.2-1_all.deb 23-Jul-2024 09:56 231160 gedit-latex-plugin_46.2.2.orig.tar.xz 23-Jul-2024 09:31 251444
These binaries (installable software) and packages are in development.
They may not be fully stable and should be used with caution. We make no claims about them.
Health stats visible at Monitor.