Debian 11 no longer supported

[HubertGaravel]

Hi,

Page https://www.stormchecker.org/documentation/obtain-storm/build.html
states that "Debian 11 and higher" is a supported operating system.

Having tried Storm 1.9.0 on Debian 11.11, this is no longer true.

The build displays many warnings about Boost version having incorrect or missing
dependencies, and finally halts:

CMake Error at CMakeLists.txt:12 (cmake_minimum_required):
CMake 3.22 or higher is required. You are running version 3.18.4.

Building Storm 1.9.0 on Debian 12 succeeds.

[volkm]

Thanks for letting us know.

For the current master branch, we require either Debian 12 or Ubuntu >= 22.04 because we require CMake >= 3.22.
The latest Storm release 1.9.0 still works on Debian 11 and Ubuntu 20.04 though.

I will update the documentation accordingly.