Debian Patches
Status for menhir/20231231+ds-1
Patch
Description
Author
Forwarded
Bugs
Origin
Last update
menhirLib
Fix location where menhir thinks the lib is installed
Ralf Treinen <treinen@debian.org>
no
2020-04-02
All known versions for source package 'menhir'
20231231+ds-1
(trixie, sid)
20220210+ds-2
(bookworm)
20201216-1
(bullseye)
Links
Package Tracker for 'menhir'
Debian Maintainer Dashboard for 'menhir'
Browse sources for 'menhir/20231231+ds-1' on sources.debian.org
DEP3: Patch Tagging Guidelines