diff --git a/docs/02-installation.md b/docs/02-installation.md index 10d610a..fe3cab2 100644 --- a/docs/02-installation.md +++ b/docs/02-installation.md @@ -88,6 +88,17 @@ sudo apt-get update sudo apt-get install mono-devel ``` +**Debian 10:** +```nohighlight +sudo apt-key adv --keyserver hkp://keyserver.ubuntu.com:80 --recv-keys 3FA7E0328081BFF6A14DA29AA6A19B38D3D831EF + +echo "deb http://download.mono-project.com/repo/debian buster main" | sudo tee /etc/apt/sources.list.d/mono-official.list + +sudo apt-get update + +sudo apt-get install mono-devel +``` + **Debian 9:** ```nohighlight sudo apt-key adv --keyserver hkp://keyserver.ubuntu.com:80 --recv-keys 3FA7E0328081BFF6A14DA29AA6A19B38D3D831EF