bianca の amd64 アーキテクチャ用 coq-dpdgraph-tools パッケージのファイル一覧

/usr/bin/dpd2dot
/usr/bin/dpdusage
/usr/share/doc/coq-dpdgraph-tools/changelog.Debian.amd64.gz
/usr/share/doc/coq-dpdgraph-tools/changelog.Debian.gz
/usr/share/doc/coq-dpdgraph-tools/changelog.gz
/usr/share/doc/coq-dpdgraph-tools/copyright
/usr/share/man/man1/dpd2dot.1.gz
/usr/share/man/man1/dpdusage.1.gz