[patchlogo]

Debian patch tracking system

- coq-doc - coq-doc/8.3pl3-1

debian specific patch information for coq-doc / 8.3pl3-1

Summary

Package Version Package Type Source Package Format
8.3pl3-1 Debian-diff 3.0 (quilt)

Debian packaging Information

Debian changes tarfile coq-doc_8.3pl3-1.debian.tar.gz
Size8677
MD5sum9f0ad48a52b6a30dc449c7e73e8a5b6e
page code/design/content is copyright (c) 2008 sean finney <seanius@debian.org>.
patches viewed/retrieved through this system are copyrighted by their respective authors.
browse git repo - clone git repo