Index: head/math/hs-kan-extensions/pkg-descr
===================================================================
--- head/math/hs-kan-extensions/pkg-descr	(revision 444457)
+++ head/math/hs-kan-extensions/pkg-descr	(revision 444458)
@@ -1,4 +1,4 @@
 Kan extensions, Kan lifts, various forms of the Yoneda lemma, and (co)density
 (co)monads.
 
-WWW: https://github.com/ekmett/kan-extensions/
+WWW: https://github.com/ekmett/kan-extensions