Debian Patches

Status for coq-elpi/1.19.3-2

This source or version is unknown from this service.

All known versions for source package 'coq-elpi'

2.1.0-1 (trixie, sid)
1.16.0-2 (bookworm)

Links

Package Tracker for 'coq-elpi'
Debian Maintainer Dashboard for 'coq-elpi'
Browse sources for 'coq-elpi/1.19.3-2' on sources.debian.org
DEP3: Patch Tagging Guidelines