diff --git a/config/install_debian10.sh b/config/install_debian10.sh
index 8e28134d..9195c4f6 100755
--- a/config/install_debian10.sh
+++ b/config/install_debian10.sh
@@ -2,9 +2,10 @@
 
 #
 # ScoDoc: install third-party software necessary for our installation
-# starting for a minimal Debian (Stretch, 9.0) install.
+# starting for a minimal Debian (Buster, 10.0) install.
 #
-# E. Viennet, Jun 2008, Apr 2009, Sept 2011, Sept 2013, Nov 2013, Mar 2017, Jul 2017, Jun 2019, Oct 2019
+# E. Viennet, Jun 2008, Apr 2009, Sept 2011, Sept 2013, Nov 2013, Mar 2017, Jul 2017, 
+# Jun 2019, Oct 2019, Dec 2020
 #
 
 source config.sh