Списък на файловете в пакета libcoq-reglang в sid, архитектура armhf

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