The text be7370cf24ce, as Debian 12 (Bookworm) shipped it.
Show HAL parameters, pins and signals
halshow(1) on Linux now
