File list of package libcoq-deriving in questing of architecture amd64

/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/deriving/base.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/deriving/base.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/deriving/base.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/deriving/compat.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/deriving/compat.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/deriving/compat.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/deriving/deriving.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/deriving/deriving.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/deriving/deriving.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/deriving/ind.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/deriving/ind.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/deriving/ind.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/deriving/infer.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/deriving/infer.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/deriving/infer.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/deriving/instances.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/deriving/instances.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/deriving/instances.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/deriving/instances/eqtype.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/deriving/instances/eqtype.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/deriving/instances/eqtype.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/deriving/instances/fintype.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/deriving/instances/fintype.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/deriving/instances/fintype.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/deriving/instances/order.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/deriving/instances/order.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/deriving/instances/order.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/deriving/instances/tree_of_ind.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/deriving/instances/tree_of_ind.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/deriving/instances/tree_of_ind.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/deriving/tactics.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/deriving/tactics.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/deriving/tactics.vo
/usr/share/doc/libcoq-deriving/changelog.Debian.gz
/usr/share/doc/libcoq-deriving/copyright
/var/lib/coq/md5sums/libcoq-deriving.checksum