Debian Patches

Status for coq-relation-algebra/1.7.9-2

Patch Description Author Forwarded Bugs Origin Last update
compat8.18.patch make it compile with Coq 8.18 Julien Puydt yes

All known versions for source package 'coq-relation-algebra'

Links