nixpkgs/pkgs/development/coq-modules/mathcomp
c0bw3b 69b393ace5 Treewide: update some problematic homepages
These URLs are reported as problematic by Repology.
It could be a permanent redirection
or the page does not exist anymore
2019-12-08 10:21:29 -08:00
..
default.nix Treewide: update some problematic homepages 2019-12-08 10:21:29 -08:00
extra.nix treewide: remove redundant quotes 2019-08-26 21:40:19 +00:00