在 trixie 发行版中 i386 硬件架构下的 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