packages: remove nix-xilinx, update package names

common/packages.nix

@@ -1,8 +1,6 @@
-{
+{ pkgs
-  pkgs,
+, system
-  nix-xilinx,
+, ...
-  system,
-  ...
 }:
 {
   environment.systemPackages =
@@ -20,7 +18,7 @@
       bluez-tools
       btop
       busybox
-      curlHTTP3
+      curl
       dfu-util
       dhcpcd
       direnv
@@ -98,12 +96,5 @@
       xfsprogs
       zip
       z-lua
-    ]
+    ];
-    ++ (with nix-xilinx.packages.${system}; [
-      vivado
-      vitis
-      vitis_hls
-      model_composer
-      xilinx-shell
-    ]);
 }