Debian Patches

Status for coq-simple-io/1.11.0-1

This package does not include any patches.

All known versions for source package 'coq-simple-io'

1.11.0-5 (sid)
1.11.0-1 (trixie)
1.8.0-2 (bookworm)

Links