/patch-make_ffi_py/1.2/Sat Mar 12 08:15:23 2022//
/patch-pyvex_c_Makefile/1.5/Sat Mar 12 08:15:23 2022//
/patch-pyvex_c_pyvex_c/1.3/Sat Mar 12 08:15:23 2022//
/patch-setup_py/1.2/Sat Mar 12 08:15:23 2022//
D
