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 23:23 5432 gedit-latex-plugin_3.20.0-1.dsc 29-Nov-2016 23:23 2108 gedit-latex-plugin_3.20.0-1_all.deb 29-Nov-2016 23:43 200012 gedit-latex-plugin_3.20.0-2.debian.tar.xz 29-Apr-2021 12:23 7168 gedit-latex-plugin_3.20.0-2.dsc 29-Apr-2021 12:23 2098 gedit-latex-plugin_3.20.0-2_all.deb 29-Apr-2021 13:07 198808 gedit-latex-plugin_3.20.0.orig.tar.gz 29-Nov-2016 23:23 684860 gedit-latex-plugin_3.8.0-1.debian.tar.gz 21-Oct-2013 13:19 4576 gedit-latex-plugin_3.8.0-1.dsc 21-Oct-2013 13:19 2099 gedit-latex-plugin_3.8.0-1_all.deb 22-Oct-2013 00:54 229286 gedit-latex-plugin_3.8.0-3build1.debian.tar.xz 22-Jul-2015 17:16 29400 gedit-latex-plugin_3.8.0-3build1.dsc 22-Jul-2015 17:16 2193 gedit-latex-plugin_3.8.0-3build1_all.deb 22-Jul-2015 17:39 188762 gedit-latex-plugin_3.8.0.orig.tar.gz 21-Oct-2013 13:19 656609
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.