docs: Add sentence on where Debian packages can be searched for online

Signed-off-by: Glenn Washburn <development@efficientek.com>
Reviewed-by: Daniel Kiper <daniel.kiper@oracle.com>

diff --git a/INSTALL b/INSTALL
index 38d8d5a4df843b8aa721e82dc4f6e1ed4824798c..8a2b617f344f116975bb6b7a470b29844668d420 100644 (file)
--- a/INSTALL
+++ b/INSTALL
@@ -5,7 +5,8 @@ This is the GRUB.  Welcome.
 This file contains instructions for compiling and installing the GRUB.
 
 Where this document refers to packages names, they are named according to the
-Debian 11 package repositories.
+Debian 11 package repositories. These packages can be found by searching
+https://packages.debian.org/.
 
 The Requirements
 ================