Commit 7ee1e306 authored by Ben Gamari's avatar Ben Gamari 🐢

Fix debian 9 tarball links

parent c365bdc6
......@@ -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>
......
......@@ -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>
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment