Debian Patches

Status for coq-extructures/0.5.0-1

This package does not include any patches.

All known versions for source package 'coq-extructures'

Links