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'
- 20250912+ds-1 (sid)
- 20240715+ds-1 (trixie, forky)
- 20220210+ds-2 (bookworm)