🎩 Hat Labs APT Repository

Debian packages for Hat Labs projects

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

CasaOS containerized service for Halos

Architectures: pool/main/casaos-docker-service_0.4.15-2_all.deb, pool/main/casaos-docker-service_0.4.15-2_all.deb, all, arm64

sudo apt install casaos-docker-service

Firmware for the HALPI2 Computer

Architectures: pool/main/halpi2-firmware_3.1.3_all.deb, pool/main/halpi2-firmware_3.1.3_all.deb, all, arm64

sudo apt install halpi2-firmware

HALPI2 service daemon

Architectures: pool/main/halpid_4.0.7_arm64.deb, arm64

sudo apt install halpid

debug symbols for halpid

Architectures: pool/main/halpid-dbgsym_4.0.7_arm64.deb, arm64

sudo apt install halpid-dbgsym

Runtipi homeserver orchestrator with systemd integration

Architectures: pool/main/runtipi-docker-service_4.5.3-6_all.deb, pool/main/runtipi-docker-service_4.5.3-6_all.deb, all, arm64

sudo apt install runtipi-docker-service

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

Key fingerprint: 3D853E2D7363406DAF542A53577177042AF756F2

Last updated: Thu Oct 30 06:01:02 UTC 2025

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

🔒 This repository is cryptographically signed for security