Debian Patches

Status for coq-unimath/20230420-4

Patch Description Author Forwarded Bugs Origin Last update
fix_32bits.patch split a proof so it fits in the VM on 32-bit architectures Arnoud van der Leer yes

All known versions for source package 'coq-unimath'

Links