CI: arch: remove duplicate package from list

pull/8267/head
Eli Schwartz 4 years ago
parent 3f0a0c1582
commit 03b1955c68
No known key found for this signature in database
GPG Key ID: CEB167EFB5722BD6
  1. 2
      ci/ciimage/arch/install.sh

@ -12,7 +12,7 @@ pkgs=(
itstool gtk3 java-environment=8 gtk-doc llvm clang sdl2 graphviz
doxygen vulkan-validation-layers openssh mercurial gtk-sharp-2 qt5-tools
libwmf valgrind cmake netcdf-fortran openmpi nasm gnustep-base gettext
python-jsonschema python-lxml
python-lxml
# cuda
)

Loading…
Cancel
Save