pkgname=intergen-firstboot
pkgver=1.0
pkgrel=1
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-06-13T01:50:23Z
size=33742
filecount=3
depend=gnome-shell-extensions
