diff options
author | Vladimír Čunát <vcunat@gmail.com> | 2019-01-02 17:06:20 +0100 |
---|---|---|
committer | Vladimír Čunát <vcunat@gmail.com> | 2019-01-02 17:08:02 +0100 |
commit | de96413bbfc3deae4e81b48d7d973f836985c39c (patch) | |
tree | 6c697ec038aad9feda0fe22c87223e771449ccdf /pkgs/servers/osrm-backend | |
parent | f0c41f0bbf36b90b05349e5d4e13e7f33196ab17 (diff) | |
download | nixpkgs-de96413bbfc3deae4e81b48d7d973f836985c39c.tar nixpkgs-de96413bbfc3deae4e81b48d7d973f836985c39c.tar.gz nixpkgs-de96413bbfc3deae4e81b48d7d973f836985c39c.tar.bz2 nixpkgs-de96413bbfc3deae4e81b48d7d973f836985c39c.tar.lz nixpkgs-de96413bbfc3deae4e81b48d7d973f836985c39c.tar.xz nixpkgs-de96413bbfc3deae4e81b48d7d973f836985c39c.tar.zst nixpkgs-de96413bbfc3deae4e81b48d7d973f836985c39c.zip |
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.
Diffstat (limited to 'pkgs/servers/osrm-backend')
0 files changed, 0 insertions, 0 deletions