Debian Patches

Status for paramcoq/1.1.3+coq8.18-1

Patch	Description	Author	Forwarded	Bugs	Origin	Last update
fix_typo.patch	fix a typo	Julien Puydt	yes

All known versions for source package 'paramcoq'

1.1.3+coq8.19-1 (sid)
1.1.3+coq8.18-1 (trixie)
1.1.3+coq8.16-3 (bookworm)

Links