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

/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-reglang/META
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-reglang/dune-package
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-reglang/opam
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RegLang/dfa.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RegLang/dfa.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RegLang/dfa.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RegLang/languages.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RegLang/languages.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RegLang/languages.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RegLang/minimization.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RegLang/minimization.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RegLang/minimization.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RegLang/misc.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RegLang/misc.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RegLang/misc.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RegLang/myhill_nerode.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RegLang/myhill_nerode.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RegLang/myhill_nerode.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RegLang/nfa.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RegLang/nfa.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RegLang/nfa.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RegLang/regexp.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RegLang/regexp.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RegLang/regexp.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RegLang/setoid_leq.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RegLang/setoid_leq.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RegLang/setoid_leq.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RegLang/shepherdson.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RegLang/shepherdson.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RegLang/shepherdson.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RegLang/two_way.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RegLang/two_way.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RegLang/two_way.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RegLang/vardi.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RegLang/vardi.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RegLang/vardi.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RegLang/wmso.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RegLang/wmso.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RegLang/wmso.vo
/usr/share/doc/libcoq-reglang/changelog.Debian.gz
/usr/share/doc/libcoq-reglang/copyright
/var/lib/coq/md5sums/libcoq-reglang.checksum