Nixpkgs-update/r-ryantm logs

Development
27

Thanks! Apparently Dafny is out of date. Update is here: dafny: 2.1.0 -> 2.3.0 by layus · Pull Request #63575 · NixOS/nixpkgs · GitHub.