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

/usr/lib/ocaml/coq-unicoq/META
/usr/lib/ocaml/coq-unicoq/unicoq.cmi
/usr/lib/ocaml/coq-unicoq/unicoq.cmx
/usr/lib/ocaml/coq-unicoq/unicoq.cmxa
/usr/lib/ocaml/coq-unicoq/unicoq.cmxs
/usr/lib/ocaml/coq/user-contrib/Unicoq/Unicoq.glob
/usr/lib/ocaml/coq/user-contrib/Unicoq/Unicoq.v
/usr/lib/ocaml/coq/user-contrib/Unicoq/Unicoq.vo
/usr/lib/ocaml/coq/user-contrib/Unicoq/unicoq.cmxs
/usr/share/doc/libcoq-unicoq/changelog.Debian.gz
/usr/share/doc/libcoq-unicoq/changelog.gz
/usr/share/doc/libcoq-unicoq/copyright
/usr/share/lintian/overrides/libcoq-unicoq
/var/lib/coq/md5sums/libcoq-unicoq.checksum