(!less_than_int(1781106744, getprop("ro.build.date.utc"))) || abort("E3003: Can't install this package (Wed Jun 10 17:52:24 CEST 2026) over newer build (" + getprop("ro.build.date") + ").");
getprop("ro.product.device") == "grouper" || abort("E3004: This package is for \"grouper\" devices; this is a \"" + getprop("ro.product.device") + "\".");
ui_print("Target: google/nakasi/grouper:5.1/LMY47D/1743759:user/release-keys");
format("ext4", "EMMC", "/dev/block/platform/sdhci-tegra.3/by-name/APP", "0", "/system");
tune2fs("-O", "^has_journal", "/dev/block/platform/sdhci-tegra.3/by-name/APP") || abort("E3007: Failed to tune partition /system");
show_progress(0.750000, 0);
ui_print("Patching system image unconditionally...");
block_image_update("/dev/block/platform/sdhci-tegra.3/by-name/APP", package_extract_file("system.transfer.list"), "system.new.dat", "system.patch.dat") ||
  abort("E1001: Failed to update system image.");
show_progress(0.050000, 5);
package_extract_file("boot.img", "/dev/block/platform/sdhci-tegra.3/by-name/LNX");
show_progress(0.200000, 10);
set_progress(1.000000);
