Debian Patches

Status for coq-gappa/1.5.4-1

Patch	Description	Author	Forwarded	Bugs	Origin	Last update
coq_8.16.patch	fix for Coq 8.16	Julien Puydt	invalid

All known versions for source package 'coq-gappa'

1.5.5-1 (sid)
1.5.4-1 (trixie)
1.5.2-5 (bookworm)

Links