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