Package: menhir / 20240715+ds-1

Metadata

Package Version Patches format
menhir 20240715+ds-1 3.0 (quilt)

Patch series

view the series file
Patch File delta Description
menhirLib | (download)

src/installation.ml | 2 1 + 1 - 0 !
1 file changed, 1 insertion(+), 1 deletion(-)

 
 fix location where menhir thinks the lib is installed

Bug: #955494