Debian Patches

Status for coq-reduction-effects/0.1.5-5

This package does not include any patches.

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

0.1.6-4 (sid)
0.1.5-5 (forky, trixie)
0.1.4-3 (bookworm)

Links