/patch-make_ffi_py/1.2/Fri Mar 11 18:49:32 2022//
/patch-pyvex_c_Makefile/1.5/Fri Mar 11 18:49:32 2022//
/patch-pyvex_c_pyvex_c/1.3/Fri Mar 11 18:49:32 2022//
/patch-setup_py/1.2/Fri Mar 11 18:49:32 2022//
D
