Debian Patches

Status for menhir/20220210+ds-2

Patch Description Author Forwarded Bugs Origin Last update
menhirLib Fix location where menhir thinks the lib is installed
===================================================================		 Ralf Treinen <treinen@debian.org> no

All known versions for source package 'menhir'

Links