Fix debian 9 tarball links

bgamari · bgamari · commit 7ee1e3061324 · 2018-05-30T15:34:06.000Z
diff --git a/download_ghc_8_4_2.shtml b/download_ghc_8_4_2.shtml
@@ -139,7 +139,7 @@ date: 19 April 2018
             interactive system, profiling libraries and documentation. It was
             made on a Debian 9 "Stretch" system and requires GMP 6.0.
           </p>
-          $tarballs("x86_64-deb8-linux")$
+          $tarballs("x86_64-deb9-linux")$
         </div>
         <div>
           <h4>Debian 8</h4>
diff --git a/download_ghc_8_4_3.shtml b/download_ghc_8_4_3.shtml
@@ -139,7 +139,7 @@ date: 29 May 2018
             interactive system, profiling libraries and documentation. It was
             made on a Debian 9 "Stretch" system and requires GMP 6.0.
           </p>
-          $tarballs("x86_64-deb8-linux")$
+          $tarballs("x86_64-deb9-linux")$
         </div>
         <div>
           <h4>Debian 8</h4>
