final: prev: {
#cargo-pgrx_0_11_3 = cargo-pgrx.cargo-pgrx_0_11_3;
buildPgrxExtension_0_11_3 = prev.buildPgrxExtension.override {
cargo-pgrx = final.cargo-pgrx_0_11_3;
};
}