File list of package elan in bookworm of architecture ppc64el

/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