Debian Patches

Status for coq-math-classes/8.15.0-4

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