nixpkgs/pkgs/development/tools/documentation
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 treewide: Make configureFlags lists 2018-08-03 17:06:03 -04:00
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