Lista plików pakietu libcoq-libhyps z gałęzi questing na architekturę amd64

/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/LibHyps/LibDecomp.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/LibHyps/LibDecomp.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/LibHyps/LibDecomp.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/LibHyps/LibHyps.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/LibHyps/LibHyps.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/LibHyps/LibHyps.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/LibHyps/LibHypsNaming.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/LibHyps/LibHypsNaming.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/LibHyps/LibHypsNaming.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/LibHyps/LibHypsTactics.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/LibHyps/LibHypsTactics.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/LibHyps/LibHypsTactics.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/LibHyps/TacNewHyps.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/LibHyps/TacNewHyps.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/LibHyps/TacNewHyps.vo
/usr/share/doc/libcoq-libhyps/changelog.Debian.gz
/usr/share/doc/libcoq-libhyps/copyright
/usr/share/doc/libcoq-libhyps/examples/demo.org
/usr/share/doc/libcoq-libhyps/examples/demo.v
/usr/share/doc/libcoq-libhyps/examples/incremental1.v
/usr/share/doc/libcoq-libhyps/examples/incremental1_fix.v
/usr/share/doc/libcoq-libhyps/examples/incremental2.v
/usr/share/doc/libcoq-libhyps/examples/incremental2_fix.v
/usr/share/doc/libcoq-libhyps/examples/incremental3.v
/usr/share/doc/libcoq-libhyps/examples/incremental3_fix.v
/usr/share/doc/libcoq-libhyps/examples/incremental5.v
/usr/share/doc/libcoq-libhyps/examples/incremental5_libhyp.v
/usr/share/doc/libcoq-libhyps/examples/incremental5_nolibhyps.v
/var/lib/coq/md5sums/libcoq-libhyps.checksum