🎩 Hat Labs APT Repository

Debian packages for Hat Labs projects

🔐 Installation

Add our signing key to verify package authenticity:

curl -fsSL https://apt.hatlabs.fi/hat-labs-apt-key.asc | sudo gpg --dearmor -o /usr/share/keyrings/hatlabs.gpg
echo "deb [signed-by=/usr/share/keyrings/hatlabs.gpg] https://apt.hatlabs.fi stable main" | sudo tee /etc/apt/sources.list.d/hatlabs.list
sudo apt update

📋 Available Packages

halpid-dbgsym

debug symbols for halpid

Architectures: arm64

sudo apt install halpid-dbgsym

halpi2-firmware

Firmware for the HALPI2 Computer

Architectures: all, arm64

sudo apt install halpi2-firmware

halpid

HALPI2 service daemon

Architectures: arm64

sudo apt install halpid

🔑 Manual Key Installation

Download the signing key: hat-labs-apt-key.asc

Key fingerprint: 3D853E2D7363406DAF542A53577177042AF756F2


Last updated: Thu Aug 21 06:00:40 UTC 2025

Repository URL: https://apt.hatlabs.fi

🔒 This repository is cryptographically signed for security