Debian Patches

Status for coq-unicoq/1.6-8.20-1

This package does not include any patches.

All known versions for source package 'coq-unicoq'

1.6-9.1-4 (sid)
1.6-9.1-2 (forky)
1.6-8.20-1 (trixie)
1.6-8.16-2 (bookworm)

Links