Debian Patches

Status for coq/8.9.0-1

This source or version is unknown from this service.

All known versions for source package 'coq'

8.18.0+dfsg-1 (trixie, sid)
8.16.1+dfsg-1 (bookworm)
8.12.0-3 (bullseye)

Links