(!less_than_int(1539179585, getprop("ro.build.date.utc"))) || abort("E3003: Can't install this package (Wed Oct 10 15:53:05 CEST 2018) over newer build (" + getprop("ro.build.date") + ").");
getprop("ro.product.device") == "hi6250" || abort("E3004: This package is for "hi6250" devices; this is a "" + getprop("ro.product.device") + "".");