ops

@@ -1 +1 @@
-{"version":1,"ops":[{"type":1,"author":{"id":"c2ed196b915ecab89e120532abf581660b7ef37b"},"timestamp":1643659443,"title":"literalExample is deprecated","message":"Don't know where we use it, but it apprently needs to be replaced\n\nWarning while building:\nliteralExample is deprecated, use literalExpression instead, or use literalDocBook for a non-Nix description.","files":null}]}
+{"version":1,"ops":[{"type":3,"author":{"id":"15c9d6c01e34fec0e7f1559c86cbbdd66d9dc10c"},"timestamp":1643720748,"message":"found the culprit: we didn't upgrade home-manager in lockstep with nixpkgs,\nit's still the 21.05 version.\n\nI opened a new branch nixos21.11-fixes where that's fixed (untested, since\nI'm sitting in a tutorial right now and my laptop is busy running Isabelle)","files":null}]}