Debian Patches

Status for elpi/3.7.2-1

Patch Description Author Forwarded Bugs Origin Last update
cmdliner2.patch fix compilation with cmdliner 2 Julien Puydt yes

All known versions for source package 'elpi'

Links