Debian Patches
Status for menhir/20240715+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'
- 20250912+ds-1 (sid, forky)
- 20240715+ds-1 (trixie)
- 20220210+ds-2 (bookworm)