Package: coq / 8.3.pl4+dfsg-2

Metadata

Package Version Patches format
coq 8.3.pl4+dfsg-2 3.0 (quilt)

This package has no patches.