coqPackages.CoLoR: update homepage

2 years ago · 28d7cd8c46
parent 5e09daba1b
commit 28d7cd8c46
1 changed files with 1 additions and 1 deletions
--- a/pkgs/development/coq-modules/CoLoR/default.nix
+++ b/pkgs/development/coq-modules/CoLoR/default.nix
@ -23,7 +23,7 @@ with lib; mkCoqDerivation {
  enableParallelBuilding = false;

  meta = {
-    homepage = "http://color.inria.fr/";
+    homepage = "https://github.com/fblanqui/color";
    description = "CoLoR is a library of formal mathematical definitions and proofs of theorems on rewriting theory and termination whose correctness has been mechanically checked by the Coq proof assistant.";
    maintainers = with maintainers; [ jpas jwiegley ];
  };