diff --git a/_bibliography/references.bib b/_bibliography/references.bib
index ffe9e6c..6d245aa 100644
--- a/_bibliography/references.bib
+++ b/_bibliography/references.bib
@@ -1174,7 +1174,6 @@ @inproceedings{DJKV17
   doi       = {10.1007/978-3-319-63390-9_31},
   arxiv-id  = {1702.04311},
   website   = {https://stormchecker.org/benchmarks.html},
-  material  = {https://stormchecker.org/documentation/obtain-storm/vm.html#storm-010-20172},
 }
 
 @inproceedings{GJKKV17,
diff --git a/documentation/obtain-storm/build.md b/documentation/obtain-storm/build.md
index 2220f17..d39b291 100644
--- a/documentation/obtain-storm/build.md
+++ b/documentation/obtain-storm/build.md
@@ -25,8 +25,8 @@ While compiling the source code is not always a breeze (depending on your operat
 Currently, we provide support for
 
 - <i class="fa fa-apple" aria-hidden="true"></i> macOS on either x86- or [ARM-based](apple-silicon.html) CPUs
-- <i class="icon-debian"></i> Debian 11 and higher
-- <i class="icon-ubuntu"></i> Ubuntu 20.04 and higher
+- <i class="icon-debian"></i> Debian 12 and higher
+- <i class="icon-ubuntu"></i> Ubuntu 22.04 and higher
 - <i class="icon-archlinux"></i> Arch Linux
 
 which are known to enable the easy installation of Storm. Other Linux distributions are likely to work too, but it may take significant effort to get the required versions of the dependencies up and running.
diff --git a/documentation/obtain-storm/dependencies.md b/documentation/obtain-storm/dependencies.md
index 34752d8..e9a107f 100644
--- a/documentation/obtain-storm/dependencies.md
+++ b/documentation/obtain-storm/dependencies.md
@@ -81,7 +81,7 @@ $ brew install cln ginac automake cmake boost gmp glpk hwloc z3 xerces-c
 ### <i class="icon-debian"></i> Debian and <i class="icon-ubuntu"></i> Ubuntu
 <!-- If these are changed, also change them in `vm.md` -->
 
-We currently support Debian from version 11 and Ubuntu from version 20.04.
+We currently support Debian from version 12 and Ubuntu from version 22.04.
 
 - Required:
 ``` console