在 forky 发行版中 amd64 硬件架构下的 libcoq-mathcomp-algebra 软件包文件清单
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/algebra/all_algebra.glob /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/algebra/all_algebra.v /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/algebra/all_algebra.vo /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/algebra/archimedean.glob /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/algebra/archimedean.v /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/algebra/archimedean.vo /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/algebra/countalg.glob /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/algebra/countalg.v /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/algebra/countalg.vo /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/algebra/finalg.glob /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/algebra/finalg.v /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/algebra/finalg.vo /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/algebra/fraction.glob /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/algebra/fraction.v /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/algebra/fraction.vo /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/algebra/intdiv.glob /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/algebra/intdiv.v /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/algebra/intdiv.vo /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/algebra/interval.glob /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/algebra/interval.v /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/algebra/interval.vo /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/algebra/matrix.glob /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/algebra/matrix.v /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/algebra/matrix.vo /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/algebra/mxalgebra.glob /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/algebra/mxalgebra.v /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/algebra/mxalgebra.vo /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/algebra/mxpoly.glob /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/algebra/mxpoly.v /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/algebra/mxpoly.vo /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/algebra/mxred.glob /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/algebra/mxred.v /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/algebra/mxred.vo /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/algebra/poly.glob /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/algebra/poly.v /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/algebra/poly.vo /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/algebra/polyXY.glob /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/algebra/polyXY.v /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/algebra/polyXY.vo /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/algebra/polydiv.glob /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/algebra/polydiv.v /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/algebra/polydiv.vo /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/algebra/qpoly.glob /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/algebra/qpoly.v /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/algebra/qpoly.vo /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/algebra/rat.glob /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/algebra/rat.v /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/algebra/rat.vo /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/algebra/ring_quotient.glob /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/algebra/ring_quotient.v /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/algebra/ring_quotient.vo /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/algebra/sesquilinear.glob /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/algebra/sesquilinear.v /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/algebra/sesquilinear.vo /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/algebra/spectral.glob /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/algebra/spectral.v /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/algebra/spectral.vo /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/algebra/ssralg.glob /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/algebra/ssralg.v /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/algebra/ssralg.vo /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/algebra/ssrint.glob /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/algebra/ssrint.v /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/algebra/ssrint.vo /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/algebra/ssrnum.glob /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/algebra/ssrnum.v /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/algebra/ssrnum.vo /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/algebra/vector.glob /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/algebra/vector.v /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/algebra/vector.vo /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/algebra/zmodp.glob /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/algebra/zmodp.v /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/algebra/zmodp.vo /usr/share/doc/libcoq-mathcomp-algebra/changelog.Debian.amd64.gz /usr/share/doc/libcoq-mathcomp-algebra/changelog.Debian.gz /usr/share/doc/libcoq-mathcomp-algebra/changelog.gz /usr/share/doc/libcoq-mathcomp-algebra/copyright /var/lib/coq/md5sums/libcoq-mathcomp-algebra.checksum