Debian Patches

Status for coq/8.12.0-3

This source or version is unknown from this service.

All known versions for source package 'coq'

9.1.0+dfsg-3 (experimental)
8.20.1+dfsg-1 (trixie, sid, forky)
8.16.1+dfsg-1 (bookworm)

Links