CoinBinary - Revision 1073: /deb/coinor-coinall-pkg/releases/1.1.0-0ubuntu0~ppa1/debian/patches
..
00list
fix_dest_dir_bcps.dpatch
fix_dest_dir_blis.dpatch
fix_dest_dir_os.dpatch
fix_dest_dir_symphony.dpatch
fix_erronous_removal_of_examples_dir.dpatch