Debian Patches

Status for coq-reduction-effects/0.1.6-4

Patch Description Author Forwarded Bugs Origin Last update
rocq9.2.patch fix compilation with Coq/Rocq 9.2 upstream yes

All known versions for source package 'coq-reduction-effects'

Links