pkgname=intergen-firstboot
pkgver=1.0
pkgrel=3
pkgdesc=InterGenOS first-login branded ECG-pulse animation (GNOME Shell extension) -- renders the operator-tuned 22.4s pulse + text sequence above gnome-shell's session-startup UI on the first login per user; subsequent logins no-op via filesystem marker gate
license=GPL-3.0-or-later
tier=desktop
builddate=2026-08-06T01:16:24Z
size=34214
filecount=3
depend=gnome-shell-extensions
