From 28d7cd8c46a9afec083f5c08c82e117d054a5eb3 Mon Sep 17 00:00:00 2001 From: Ben Siraphob Date: Fri, 7 Jan 2022 14:11:45 +0700 Subject: coqPackages.CoLoR: update homepage --- pkgs/development/coq-modules/CoLoR/default.nix | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'pkgs/development/coq-modules') diff --git a/pkgs/development/coq-modules/CoLoR/default.nix b/pkgs/development/coq-modules/CoLoR/default.nix index 46738343431..24a7f125599 100644 --- 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 ]; }; -- cgit 1.4.1