[patchlogo]

Debian patch tracking system

- coq-float - coq-float/1:8.2-1.2-5

debian specific patch information for coq-float / 1:8.2-1.2-5

Summary

Package Version Package Type Source Package Format
1:8.2-1.2-5 Debian-diff 3.0 (quilt)

Debian packaging Information

Debian changes tarfile coq-float_8.2-1.2-5.debian.tar.gz
Size3053
MD5sum56ae57d10f68c1034f807823b623798c
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