mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-11-01 23:22:37 +00:00
b29ee6c8ff
And rename the old ubootRaspberryPi3 to ubootRaspberryPi3_32bit. |
||
---|---|---|
.. | ||
default.nix | ||
gas220.patch | ||
guruplug-file-systems.patch | ||
guruplug-usb-msd-multi-lun.patch | ||
guruplug.nix | ||
nanonote.nix | ||
sheevaplug.nix |