chore(3p/sources): Bump channels & overlays (2024-12-02)

* //tools/nixery/popcount:
  replace removed buildGoPackage with buildGoModule.

* //users/aspen/system/system/modules:
  pkgs.nerdfonts has been removed. Instead we have a
  pkgs.nerd-fonts attribute set that contains all fonts
  as individual derivations.

* //users/tazjin/presentations:
  The ms package was removed from texlive for some reason
  in the latest release. Replace it with the packages it
  bundles (according to CTAN).

* //tvix/verify-lang-tests:
  Test on latest Nix release 2.25.2.

* //tvix/*-go:
  regenerate code from protobufs.

Change-Id: I19fcb3a0267f929f6e7388aa69ad99ac53b62236
Reviewed-on: https://cl.tvl.fyi/c/depot/+/12859
Autosubmit: sterni <sternenseemann@systemli.org>
Reviewed-by: tazjin <tazjin@tvl.su>
Reviewed-by: flokli <flokli@flokli.de>
Reviewed-by: aspen <root@gws.fyi>
Tested-by: BuildkiteCI

users/aspen/system/system/modules/fonts.nix

@@ -2,11 +2,10 @@
 {
   fonts = {
     packages = with pkgs; [
-      nerdfonts
       noto-fonts-emoji
       twitter-color-emoji
       weather-icons
-    ];
+    ] ++ builtins.filter lib.isDerivation (builtins.attrValues pkgs.nerd-fonts);
 
     fontconfig.defaultFonts.emoji = [ "Twitter Color Emoji" ];
   };

users/tazjin/presentations/bootstrapping-2018/default.nix

@@ -17,7 +17,10 @@ let
       luaotfload
       luatex
       minted
-      ms
+      count1to
+      multitoc
+      prelim2e
+      ragged2e
       pgfopts
       scheme-basic
       translator;

users/tazjin/presentations/tvix-eval-2023/default.nix

@@ -16,7 +16,10 @@ let
       listings
       xetex
       minted
-      ms
+      count1to
+      multitoc
+      prelim2e
+      ragged2e
       pgfopts
       scheme-basic
       translator;