Apt repository

The AIMS OS stack, on any Debian.

Install the AIMS OS scientific and developer tooling on top of a plain Debian 13 (Trixie) box. Same metapackages as the AIMS OS ISO, no flashing required, updates land through apt-get upgrade like anything else.

Trust and add the repo

One-time setup. Fetches the AIMS OS signing key, drops a deb822 source under /etc/apt/sources.list.d/, refreshes apt.

shell

# 1. Trust the signing key
sudo curl -fsSL https://a-i-m-s-senegal.github.io/aims-os/aims-os-archive-keyring.gpg \
    -o /usr/share/keyrings/aims-os-archive-keyring.gpg

# 2. Add the source (deb822, used by Trixie's apt)
sudo tee /etc/apt/sources.list.d/aims-os.sources >/dev/null <<'EOF'
Types: deb
URIs: https://a-i-m-s-senegal.github.io/aims-os
Suites: trixie
Components: main
Architectures: amd64 arm64
Signed-By: /usr/share/keyrings/aims-os-archive-keyring.gpg
EOF

sudo apt update

Pick what you need

Filière-aligned. aims-os-bigdata and aims-os-security both depend on aims-os-math, so installing either pulls the SciPy / R / LaTeX / Jupyter baseline with them.

Regular track Mathematical Sciences
apt install aims-os-math
Coop Big Data Data Analytics, NLP, Vision, Climate, DB clients
apt install aims-os-bigdata
Coop Security Crypto, network audit, forensics
apt install aims-os-security
GNOME desktop layer Calamares, Firefox, LibreOffice, Cursor, VSCodium, Docker, …
apt install aims-os-desktop
System baseline Firmware, locales, CLI, build toolchain
apt install aims-os-core
Everything (matches the ISO)
apt install aims-os-{core,desktop,math,bigdata,security}

Heads up about firmware and RAR. The Wi-Fi / GPU firmware blobs (firmware-iwlwifi, firmware-realtek, etc.) live in Debian's non-free-firmware component and the RAR codec (p7zip-rar) lives in non-free. They are listed as Recommends, not Depends, so the install succeeds either way. If you want them pulled in, enable both components in your /etc/apt/sources.list first, then re-run apt install. The AIMS OS ISO has these components enabled out of the box.

Verify the signature

The repo's Release file is signed with the AIMS OS Repository key. Check the fingerprint against the value below before trusting it.

shell

gpg --show-keys /usr/share/keyrings/aims-os-archive-keyring.gpg

Expected fingerprint 7775 7473 70C3 E86F A12D 06D7 CEAB 168E 6D2E 30FF

What's actually inside

The debian/control files in the source tree are the truth: every metapackage lists exactly what it pulls in its Depends: field. aims-os-branding (wallpapers, GRUB theme, Plymouth, Calamares branding) ships only with the ISO, since rebranding someone's existing Debian without asking is rude.