Filelist of package mace2 in sid of architecture armel

/usr/bin/anldp
/usr/bin/mace2
/usr/share/doc/mace2/README
/usr/share/doc/mace2/README.Ivy
/usr/share/doc/mace2/anldp.html
/usr/share/doc/mace2/anldp.ps.gz
/usr/share/doc/mace2/changelog.Debian.gz
/usr/share/doc/mace2/changelog.gz
/usr/share/doc/mace2/copyright
/usr/share/doc/mace2/examples/Makefile
/usr/share/doc/mace2/examples/Perl-examples/README
/usr/share/doc/mace2/examples/Perl-examples/Sheffer-mgi-without-mirrors.gz
/usr/share/doc/mace2/examples/Perl-examples/candidates
/usr/share/doc/mace2/examples/Perl-examples/commute4_filter
/usr/share/doc/mace2/examples/Perl-examples/index.html
/usr/share/doc/mace2/examples/README
/usr/share/doc/mace2/examples/Run_all
/usr/share/doc/mace2/examples/Run_all.out
/usr/share/doc/mace2/examples/Run_anldp
/usr/share/doc/mace2/examples/Run_mace
/usr/share/doc/mace2/examples/basic/README
/usr/share/doc/mace2/examples/basic/cd.in
/usr/share/doc/mace2/examples/basic/cd.out
/usr/share/doc/mace2/examples/basic/cl_ql.in
/usr/share/doc/mace2/examples/basic/cl_ql.out
/usr/share/doc/mace2/examples/basic/cl_sw.in
/usr/share/doc/mace2/examples/basic/cl_sw.out
/usr/share/doc/mace2/examples/basic/index.html
/usr/share/doc/mace2/examples/basic/noncommutative_group.in
/usr/share/doc/mace2/examples/basic/noncommutative_group.out
/usr/share/doc/mace2/examples/basic/ordered_semi.in
/usr/share/doc/mace2/examples/basic/ordered_semi.out
/usr/share/doc/mace2/examples/basic/program
/usr/share/doc/mace2/examples/basic/ring.in
/usr/share/doc/mace2/examples/basic/ring.out
/usr/share/doc/mace2/examples/basic/tba.in
/usr/share/doc/mace2/examples/basic/tba.out
/usr/share/doc/mace2/examples/basic/temp
/usr/share/doc/mace2/examples/basic/tough-nut.in
/usr/share/doc/mace2/examples/basic/tough-nut.out
/usr/share/doc/mace2/examples/index.html
/usr/share/doc/mace2/examples/iterate/BOO032-1.in
/usr/share/doc/mace2/examples/iterate/BOO032-1.out.gz
/usr/share/doc/mace2/examples/iterate/CAT019-5.in
/usr/share/doc/mace2/examples/iterate/CAT019-5.out.gz
/usr/share/doc/mace2/examples/iterate/LAT025-1.in
/usr/share/doc/mace2/examples/iterate/LAT025-1.out.gz
/usr/share/doc/mace2/examples/iterate/LCL136-1.in
/usr/share/doc/mace2/examples/iterate/LCL136-1.out.gz
/usr/share/doc/mace2/examples/iterate/PUZ001-3.in
/usr/share/doc/mace2/examples/iterate/PUZ001-3.out.gz
/usr/share/doc/mace2/examples/iterate/README
/usr/share/doc/mace2/examples/iterate/RNG025-8.in
/usr/share/doc/mace2/examples/iterate/RNG025-8.out.gz
/usr/share/doc/mace2/examples/iterate/cd.in
/usr/share/doc/mace2/examples/iterate/cd.out.gz
/usr/share/doc/mace2/examples/iterate/index.html
/usr/share/doc/mace2/examples/iterate/kauer.in
/usr/share/doc/mace2/examples/iterate/kauer.out.gz
/usr/share/doc/mace2/examples/iterate/noncommutative_group.in
/usr/share/doc/mace2/examples/iterate/noncommutative_group.out.gz
/usr/share/doc/mace2/examples/iterate/noncommutive_ring1.in
/usr/share/doc/mace2/examples/iterate/noncommutive_ring1.out.gz
/usr/share/doc/mace2/examples/iterate/program
/usr/share/doc/mace2/examples/lattice/README
/usr/share/doc/mace2/examples/lattice/finite-lattice
/usr/share/doc/mace2/examples/lattice/index.html
/usr/share/doc/mace2/examples/lattice/lattice-axioms
/usr/share/doc/mace2/examples/lattice/lt-ml.in
/usr/share/doc/mace2/examples/lattice/lt-ml.out.gz
/usr/share/doc/mace2/examples/lattice/lt-ol.in
/usr/share/doc/mace2/examples/lattice/lt-ol.out.gz
/usr/share/doc/mace2/examples/lattice/ml-mol.in
/usr/share/doc/mace2/examples/lattice/ml-mol.out.gz
/usr/share/doc/mace2/examples/lattice/mol-ba.in
/usr/share/doc/mace2/examples/lattice/mol-ba.out.gz
/usr/share/doc/mace2/examples/lattice/ol-e1.in
/usr/share/doc/mace2/examples/lattice/ol-e1.out.gz
/usr/share/doc/mace2/examples/lattice/ol-e4.in
/usr/share/doc/mace2/examples/lattice/ol-e4.out.gz
/usr/share/doc/mace2/examples/lattice/ol-oml.in
/usr/share/doc/mace2/examples/lattice/ol-oml.out.gz
/usr/share/doc/mace2/examples/lattice/oml-mol.in
/usr/share/doc/mace2/examples/lattice/oml-mol.out.gz
/usr/share/doc/mace2/examples/lattice/ortholattice
/usr/share/doc/mace2/examples/lattice/program
/usr/share/doc/mace2/examples/propositional/README
/usr/share/doc/mace2/examples/propositional/README.more
/usr/share/doc/mace2/examples/propositional/f2.in
/usr/share/doc/mace2/examples/propositional/f2.out
/usr/share/doc/mace2/examples/propositional/f3.in
/usr/share/doc/mace2/examples/propositional/f3.out
/usr/share/doc/mace2/examples/propositional/f4.in
/usr/share/doc/mace2/examples/propositional/f4.out
/usr/share/doc/mace2/examples/propositional/index.html
/usr/share/doc/mace2/examples/propositional/p10.IN.gz
/usr/share/doc/mace2/examples/propositional/p5.in
/usr/share/doc/mace2/examples/propositional/p5.out
/usr/share/doc/mace2/examples/propositional/p6.in
/usr/share/doc/mace2/examples/propositional/p6.out
/usr/share/doc/mace2/examples/propositional/p7.in
/usr/share/doc/mace2/examples/propositional/p7.out
/usr/share/doc/mace2/examples/propositional/p8.in
/usr/share/doc/mace2/examples/propositional/p8.out
/usr/share/doc/mace2/examples/propositional/p9.in.gz
/usr/share/doc/mace2/examples/propositional/p9.out
/usr/share/doc/mace2/examples/propositional/program
/usr/share/doc/mace2/examples/propositional/q10.in.gz
/usr/share/doc/mace2/examples/propositional/q10.out
/usr/share/doc/mace2/examples/quasigroup/README
/usr/share/doc/mace2/examples/quasigroup/index.html
/usr/share/doc/mace2/examples/quasigroup/omts9.in
/usr/share/doc/mace2/examples/quasigroup/omts9.out
/usr/share/doc/mace2/examples/quasigroup/program
/usr/share/doc/mace2/examples/quasigroup/qg1d.in
/usr/share/doc/mace2/examples/quasigroup/qg1d.out
/usr/share/doc/mace2/examples/quasigroup/qg2d.in
/usr/share/doc/mace2/examples/quasigroup/qg2d.out
/usr/share/doc/mace2/examples/quasigroup/qg3.in
/usr/share/doc/mace2/examples/quasigroup/qg3.out
/usr/share/doc/mace2/examples/quasigroup/qg4.in
/usr/share/doc/mace2/examples/quasigroup/qg4.out
/usr/share/doc/mace2/examples/quasigroup/qg5l.in
/usr/share/doc/mace2/examples/quasigroup/qg5l.out
/usr/share/doc/mace2/examples/quasigroup/qg6.in
/usr/share/doc/mace2/examples/quasigroup/qg6.out
/usr/share/doc/mace2/examples/quasigroup/qg7bl.in
/usr/share/doc/mace2/examples/quasigroup/qg7bl.out
/usr/share/doc/mace2/mace2.html
/usr/share/doc/mace2/mace2.ps.gz
/usr/share/man/man1/anldp.1.gz
/usr/share/man/man1/mace2.1.gz