[patchlogo]

Debian patch tracking system

- coq - coq/8.3.pl4+dfsg-2

debian specific patch information for coq / 8.3.pl4+dfsg-2

Summary

Package Version Package Type Source Package Format
8.3.pl4+dfsg-2 Debian-diff 3.0 (quilt)

Debian packaging Information

Debian changes tarfile coq_8.3.pl4+dfsg-2.debian.tar.gz
Size16306
MD5sum34f50c26371adcf32136217b3da1d333
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