Debian Patches

Status for coq/8.19.1+dfsg-2

This source or version is unknown from this service.

All known versions for source package 'coq'

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

Links