Debian Patches

Status for coq-math-classes/8.19.0-1

Patch Description Author Forwarded Bugs Origin Last update
drop_debian_directory.patch the debian/ directory doesn't contain upstream sources! Julien Puydt invalid

All known versions for source package 'coq-math-classes'

Links