wget https://apt.halacs.hu/apt/pool/stable/halrepo/halrepo_1.1.1-1.1.1_amd64.deb -O /tmp/halrepo.deb
sudo apt install /tmp/halrepo.deb