Debian Patches

Status for coq-quickchick/2.1.1-2

This package does not include any patches.

All known versions for source package 'coq-quickchick'

2.1.1-2 (experimental)
2.1.0-1.1 (forky, sid)
2.1.0-1 (trixie)
1.6.4-3 (bookworm)

Links