在 forky 发行版中 amd64 硬件架构下的 libcoq-mathcomp-ssreflect 软件包文件清单

/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/all_ssreflect.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/all_ssreflect.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/all_ssreflect.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/bigop.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/bigop.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/bigop.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/binomial.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/binomial.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/binomial.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/choice.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/choice.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/choice.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/div.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/div.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/div.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/eqtype.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/eqtype.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/eqtype.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/finfun.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/finfun.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/finfun.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/fingraph.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/fingraph.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/fingraph.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/finset.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/finset.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/finset.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/fintype.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/fintype.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/fintype.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/generic_quotient.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/generic_quotient.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/generic_quotient.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/order.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/order.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/order.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/path.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/path.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/path.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/prime.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/prime.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/prime.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/seq.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/seq.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/seq.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/ssrAC.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/ssrAC.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/ssrAC.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/ssrbool.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/ssrbool.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/ssrbool.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/ssreflect.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/ssreflect.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/ssreflect.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/ssrfun.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/ssrfun.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/ssrfun.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/ssrmatching.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/ssrmatching.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/ssrmatching.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/ssrnat.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/ssrnat.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/ssrnat.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/ssrnotations.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/ssrnotations.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/ssrnotations.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/tuple.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/tuple.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ssreflect/tuple.vo
/usr/share/doc/libcoq-mathcomp-ssreflect/changelog.Debian.amd64.gz
/usr/share/doc/libcoq-mathcomp-ssreflect/changelog.Debian.gz
/usr/share/doc/libcoq-mathcomp-ssreflect/changelog.gz
/usr/share/doc/libcoq-mathcomp-ssreflect/copyright
/var/lib/coq/md5sums/libcoq-mathcomp-ssreflect.checksum