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'

Links