Package: zeroinstall-injector / 2.18-2.2

Metadata

Package Version Patches format
zeroinstall-injector 2.18-2.2 3.0 (quilt)

Patch series

view the series file
Patch File delta Description
bytecode.patch | (download)

src/gui_gtk/dune | 2 1 + 1 - 0 !
src/zeroinstall/gui.ml | 2 1 + 1 - 0 !
2 files changed, 2 insertions(+), 2 deletions(-)

 [patch] fix plugin loading on bytecode-only systems

It seems that dune always builds the plugin as `gui_gtk.cmxs`, even when
it's actually bytecode.