Debian Patches

Status for coq-hierarchy-builder/1.4.0-2

This package does not include any patches.

All known versions for source package 'coq-hierarchy-builder'

1.10.1-2 (experimental)
1.8.1-1 (trixie, forky, sid)
1.4.0-2 (bookworm)

Links