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
This commit is contained in:
sterni 2024-12-02 19:37:27 +01:00 committed by clbot
parent e9f7c1fcc8
commit a95eedac3b

View File

@ -1,13 +1,19 @@
# Copyright 2022 The TVL Contributors
# Copyright 2022, 2024 The TVL Contributors
# SPDX-License-Identifier: Apache-2.0
{ buildGoPackage }:
{ buildGoModule }:
buildGoPackage {
buildGoModule {
name = "nixery-popcount";
src = ./.;
goPackagePath = "github.com/google/nixery/popcount";
vendorHash = null;
# https://nixos.org/manual/nixpkgs/stable/#buildGoPackage-migration
postPatch = ''
go mod init github.com/google/nixery/popcount
'';
doCheck = true;
}