Debian Patches
Status for coq-serapi/8.19.0+0.19.3-3
Patch
Description
Author
Forwarded
Bugs
Origin
Last update
newer_yojson.patch
fix compilation with a more recent yojson (Closes: #1073269)
Julien Puydt
no
All known versions for source package 'coq-serapi'
8.19.0+0.19.3-3
(trixie, sid)
Links
Package Tracker for 'coq-serapi'
Debian Maintainer Dashboard for 'coq-serapi'
Browse sources for 'coq-serapi/8.19.0+0.19.3-3' on sources.debian.org
DEP3: Patch Tagging Guidelines