Debian Patches

Status for ott/0.33+ds-3

Patch Description Author Forwarded Bugs Origin Last update
typos.patch fix typos Julien Puydt yes
coq_8.19.patch fix compilation with Coq 8.19 Karl Palmskog yes

All known versions for source package 'ott'

Links