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 ! |
[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. |
1
