User avatar
mio @mio@shrimp.mio19.uk
3mo
Finally Isabelle on nixos was updated github.com/NixOS/nixpkgs/pull/474227/files