diff options
| author | Sergei Trofimovich <slyich@gmail.com> | 2024-02-10 10:14:43 +0000 |
|---|---|---|
| committer | Sergei Trofimovich <slyich@gmail.com> | 2024-02-10 10:14:43 +0000 |
| commit | d952b5884c312a3ea34422d2705b264b9a16b772 (patch) | |
| tree | 9cbcb03a79593abeec84fde9df1b50adf0f97735 /pkgs/development/python-modules/rangehttpserver | |
| parent | 23942104840f84d561c56f419690950edade877e (diff) | |
mcrl2: 202206 -> 202307
Among other things fixes `gcc-13` build fix as
https://hydra.nixos.org/build/247554470:
In file included from /build/mcrl2-202206.1/libraries/utilities/source/bitstream.cpp:10:
/build/mcrl2-202206.1/libraries/utilities/include/mcrl2/utilities/bitstream.h:56:25: error: 'uint8_t' in namespace 'std' does not name a type; did you mean 'wint_t'?
56 | void write(const std::uint8_t* buffer, std::size_t size);
| ^~~~~~~
| wint_t
Diffstat (limited to 'pkgs/development/python-modules/rangehttpserver')
0 files changed, 0 insertions, 0 deletions