Vladimír Čunát de96413bbf doxygen: add sourceforge as mirror ...

It turns out the upstream URL is very slow (for me at least).
We get caching through nixos.org, but this shouldn't hurt anyway.

2019-01-02 17:08:02 +01:00

..

doxygen

doxygen: add sourceforge as mirror

2019-01-02 17:08:02 +01:00

gnome-doc-utils

…

gtk-doc

gtk-doc: don't build with dblatex by default

2018-09-17 01:33:20 +02:00

mkdocs

mkdocs: 0.17.5 -> 1.0.4

2018-12-15 00:48:32 +01:00