debian specific patch information for coq-doc / 8.2pl1-1

Summary

Package Version Package Type Source Package Format
8.2pl1-1 Debian-diff 3.0 (quilt)

Debian packaging Information

Debian changes tarfile coq-doc_8.2pl1-1.debian.tar.gz
Size8584
MD5sum6691df945a9bed7b78e0401fd05554f5