diff options
author | Ben Siraphob <bensiraphob@gmail.com> | 2022-01-07 14:11:45 +0700 |
---|---|---|
committer | Ben Siraphob <bensiraphob@gmail.com> | 2022-01-07 16:45:54 +0700 |
commit | 28d7cd8c46a9afec083f5c08c82e117d054a5eb3 (patch) | |
tree | 53582df87b1250d9b0565159839b39b48e0c06bb /pkgs/development/coq-modules | |
parent | 5e09daba1be25edf68f344da2bc8ab71b264debd (diff) | |
download | nixpkgs-28d7cd8c46a9afec083f5c08c82e117d054a5eb3.tar nixpkgs-28d7cd8c46a9afec083f5c08c82e117d054a5eb3.tar.gz nixpkgs-28d7cd8c46a9afec083f5c08c82e117d054a5eb3.tar.bz2 nixpkgs-28d7cd8c46a9afec083f5c08c82e117d054a5eb3.tar.lz nixpkgs-28d7cd8c46a9afec083f5c08c82e117d054a5eb3.tar.xz nixpkgs-28d7cd8c46a9afec083f5c08c82e117d054a5eb3.tar.zst nixpkgs-28d7cd8c46a9afec083f5c08c82e117d054a5eb3.zip |
coqPackages.CoLoR: update homepage
Diffstat (limited to 'pkgs/development/coq-modules')
-rw-r--r-- | pkgs/development/coq-modules/CoLoR/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
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 ]; }; |