
It's version 5.13, not 5.12. (cherry picked from commit a37965f7c5d26938774677e97b9f6c9e35bce701)
*** NixOS *** NixOS is a Linux distribution based on the purely functional package management system Nix. More information can be found at https://nixos.org/nixos and in the manual in doc/manual.