Filelist of package alt-ergo in wheezy of architecture armhf

/usr/bin/alt-ergo
/usr/bin/altgr-ergo
/usr/lib/ocaml/alt-ergo/META
/usr/lib/ocaml/alt-ergo/altErgo.cmi
/usr/lib/ocaml/alt-ergo/altErgo.cmo
/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/gtksourceview-2.0/language-specs/alt-ergo.lang
/usr/share/man/man1/alt-ergo.1.gz