Installation

1. Trust the registry signing key

wget -O sign.gpg https://git.xyz.bzh/api/packages/software/arch/repository.key
pacman-key --add sign.gpg
pacman-key --lsign-key 'software@noreply.git.xyz.bzh'

2. Add the repo

Append to /etc/pacman.conf:

[software.git.xyz.bzh]
SigLevel = Required
Server = https://git.xyz.bzh/api/packages/software/arch/ida-bin/$arch

3. Install

pacman -Sy ida-pro

Update

pacman -Syu

Picks up both new IDA builds and packaging-only patches (new pkgrel).

What gets installed

• /opt/ida-pro/ — full IDA install, already licensed and patched
• /usr/bin/ida — symlink to /opt/ida-pro/ida
• /usr/share/applications/ida-pro.desktop — "IDA Professional" launcher
• /usr/share/icons/ida-pro.png, /usr/share/licenses/ida-pro/LICENSE

Runtime dependencies: libgl, libx11, libxext, libxrender, glib2, qt5-base, python-rpyc.