nix: rename pins

This commit is contained in:
Primrose 2025-04-30 15:35:16 +02:00
parent e4edbf6725
commit 420d265ba3
Signed by: primrose
GPG key ID: 4E887A4CA9714ADA
3 changed files with 6 additions and 6 deletions

View file

@ -5,11 +5,11 @@ in
lib.composeManyExtensions [
(final: _: {
# Isabelle version 2023
inherit (import sources.isabelle-pin {}) isabelle;
inherit (import sources.pin-isabelle {}) isabelle;
# Wireshark bug
# https://gitlab.com/wireshark/wireshark/-/issues/19574
inherit (import sources.wireshark-pin {}) wireshark;
inherit (import sources.pin-wireshark {}) wireshark;
wallpapers = final.callPackage sources.wallpapers {};