From: lkcl <lkcl@web>
Date: Tue, 10 Mar 2020 14:36:53 +0000 (+0000)
Subject: (no commit message)
X-Git-Tag: convert-csv-opcode-to-binary~3164
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=40c044e48fe6887660d330072db6b27de3d6edb9;p=libreriscv.git

---

diff --git a/HDL_workflow/coriolis2.mdwn b/HDL_workflow/coriolis2.mdwn
index fdeb91215..59f2c7854 100644
--- a/HDL_workflow/coriolis2.mdwn
+++ b/HDL_workflow/coriolis2.mdwn
@@ -7,7 +7,7 @@ git remote set-url origin https://gitlab.lip6.fr/vlsi-eda/alliance-check-toolkit
 
 ## debootstrap
 
-First set up an schroot debootstrap jail with debian 9.0.
+First set up an schroot debootstrap jail with debian 10.
 These instructions are based on information taken from here:
 <https://www.debian.org/releases/stretch/amd64/apds03.html.en>