Debian Patches

Status for coq-gappa/1.10.0-2

This source or version is unknown from this service.

All known versions for source package 'coq-gappa'

1.11.0-1 (sid)
1.7.0-1 (trixie, forky)
1.5.2-5 (bookworm)

Links