From: lkcl <lkcl@web>
Date: Fri, 14 Feb 2020 22:43:05 +0000 (+0000)
Subject: (no commit message)
X-Git-Tag: convert-csv-opcode-to-binary~3426
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=08575325feef021dbc27e9ef25ae4996bdc26ca6;p=libreriscv.git

---

diff --git a/HDL_workflow/coriolis2.mdwn b/HDL_workflow/coriolis2.mdwn
index e7df92ea4..f451c6675 100644
--- a/HDL_workflow/coriolis2.mdwn
+++ b/HDL_workflow/coriolis2.mdwn
@@ -316,7 +316,7 @@ chroot, add the following to /etc/apt/sources.list
 
 then, also as root:
 
-    echo 'APT::Default-Release "stable";' | tee -a /etc/apt/apt.conf.d/00local
+    echo 'APT::Default-Release "stretch";' | tee -a /etc/apt/apt.conf.d/00local
     sudo apt-get update
     apt-get -t testing install python3.7 python3-setuptools \
                python3-jinja2 python3-pip