Filelist of package alt-ergo in squeeze of architecture kfreebsd-i386

/usr/bin/alt-ergo
/usr/lib/alt-ergo/smt_prelude.mlw
/usr/share/doc/alt-ergo/README
/usr/share/doc/alt-ergo/changelog.Debian.gz
/usr/share/doc/alt-ergo/changelog.gz
/usr/share/doc/alt-ergo/copyright
/usr/share/man/man1/alt-ergo.1.gz