Debian Patches

Status for coq-mtac2/1.4+8.19-1

This source or version is unknown from this service.

All known versions for source package 'coq-mtac2'

1.4+8.19-2 (sid, trixie)
1.4+8.16-2 (bookworm)

Links

Package Tracker for 'coq-mtac2'
Debian Maintainer Dashboard for 'coq-mtac2'
Browse sources for 'coq-mtac2/1.4+8.19-1' on sources.debian.org
DEP3: Patch Tagging Guidelines