Bestandenoverzicht voor pakket libssreflect-coq in squeeze voor het platform all

/usr/bin/ssrcoq
/usr/lib/coq/user-contrib/Ssreflect/automorphism.vo
/usr/lib/coq/user-contrib/Ssreflect/bigops.vo
/usr/lib/coq/user-contrib/Ssreflect/binomial.vo
/usr/lib/coq/user-contrib/Ssreflect/charpoly.vo
/usr/lib/coq/user-contrib/Ssreflect/choice.vo
/usr/lib/coq/user-contrib/Ssreflect/connect.vo
/usr/lib/coq/user-contrib/Ssreflect/cyclic.vo
/usr/lib/coq/user-contrib/Ssreflect/div.vo
/usr/lib/coq/user-contrib/Ssreflect/eqtype.vo
/usr/lib/coq/user-contrib/Ssreflect/finfun.vo
/usr/lib/coq/user-contrib/Ssreflect/finset.vo
/usr/lib/coq/user-contrib/Ssreflect/fintype.vo
/usr/lib/coq/user-contrib/Ssreflect/groups.vo
/usr/lib/coq/user-contrib/Ssreflect/matrix.vo
/usr/lib/coq/user-contrib/Ssreflect/morphisms.vo
/usr/lib/coq/user-contrib/Ssreflect/normal.vo
/usr/lib/coq/user-contrib/Ssreflect/paths.vo
/usr/lib/coq/user-contrib/Ssreflect/perm.vo
/usr/lib/coq/user-contrib/Ssreflect/poly.vo
/usr/lib/coq/user-contrib/Ssreflect/prime.vo
/usr/lib/coq/user-contrib/Ssreflect/seq.vo
/usr/lib/coq/user-contrib/Ssreflect/ssralg.vo
/usr/lib/coq/user-contrib/Ssreflect/ssrbool.vo
/usr/lib/coq/user-contrib/Ssreflect/ssreflect.vo
/usr/lib/coq/user-contrib/Ssreflect/ssrfun.vo
/usr/lib/coq/user-contrib/Ssreflect/ssrnat.vo
/usr/lib/coq/user-contrib/Ssreflect/tuple.vo
/usr/lib/coq/user-contrib/Ssreflect/zmodp.vo
/usr/share/doc-base/ssreflect-library
/usr/share/doc/libssreflect-coq/ANNOUNCE
/usr/share/doc/libssreflect-coq/README
/usr/share/doc/libssreflect-coq/README.Debian
/usr/share/doc/libssreflect-coq/changelog.Debian.gz
/usr/share/doc/libssreflect-coq/copyright
/usr/share/doc/libssreflect-coq/examples/pg-ssr.el
/usr/share/doc/libssreflect-coq/examples/tutorial.v.gz
/usr/share/doc/libssreflect-coq/html/Ssreflect.automorphism.html
/usr/share/doc/libssreflect-coq/html/Ssreflect.bigops.html
/usr/share/doc/libssreflect-coq/html/Ssreflect.binomial.html
/usr/share/doc/libssreflect-coq/html/Ssreflect.charpoly.html
/usr/share/doc/libssreflect-coq/html/Ssreflect.choice.html
/usr/share/doc/libssreflect-coq/html/Ssreflect.connect.html
/usr/share/doc/libssreflect-coq/html/Ssreflect.cyclic.html
/usr/share/doc/libssreflect-coq/html/Ssreflect.div.html
/usr/share/doc/libssreflect-coq/html/Ssreflect.eqtype.html
/usr/share/doc/libssreflect-coq/html/Ssreflect.finfun.html
/usr/share/doc/libssreflect-coq/html/Ssreflect.finset.html
/usr/share/doc/libssreflect-coq/html/Ssreflect.fintype.html
/usr/share/doc/libssreflect-coq/html/Ssreflect.groups.html
/usr/share/doc/libssreflect-coq/html/Ssreflect.matrix.html
/usr/share/doc/libssreflect-coq/html/Ssreflect.morphisms.html
/usr/share/doc/libssreflect-coq/html/Ssreflect.normal.html
/usr/share/doc/libssreflect-coq/html/Ssreflect.paths.html
/usr/share/doc/libssreflect-coq/html/Ssreflect.perm.html
/usr/share/doc/libssreflect-coq/html/Ssreflect.poly.html
/usr/share/doc/libssreflect-coq/html/Ssreflect.prime.html
/usr/share/doc/libssreflect-coq/html/Ssreflect.seq.html
/usr/share/doc/libssreflect-coq/html/Ssreflect.ssralg.html
/usr/share/doc/libssreflect-coq/html/Ssreflect.ssrbool.html
/usr/share/doc/libssreflect-coq/html/Ssreflect.ssreflect.html
/usr/share/doc/libssreflect-coq/html/Ssreflect.ssrfun.html
/usr/share/doc/libssreflect-coq/html/Ssreflect.ssrnat.html
/usr/share/doc/libssreflect-coq/html/Ssreflect.tuple.html
/usr/share/doc/libssreflect-coq/html/Ssreflect.zmodp.html
/usr/share/doc/libssreflect-coq/html/coqdoc.css
/usr/share/doc/libssreflect-coq/html/index.html
/usr/share/doc/libssreflect-coq/html/toc.html
/usr/share/man/man1/ssrcoq.1.gz