Debian Patches

Status for coq-quickchick/2.2.0-3

Patch Description Author Forwarded Bugs Origin Last update
dune3.24.patch fix compilation with recent dune Julien Puydt not-needed

All known versions for source package 'coq-quickchick'

Links