在 bookworm 发行版中 s390x 硬件架构下的 elan 软件包文件清单

/usr/bin/elan
/usr/bin/lake
/usr/bin/lean
/usr/bin/leanc
/usr/bin/leanchecker
/usr/bin/leanmake
/usr/bin/leanpkg
/usr/share/bash-completion/completions/elan
/usr/share/doc/elan/changelog.Debian.gz
/usr/share/doc/elan/changelog.gz
/usr/share/doc/elan/copyright