CoinBinary - Revision 1073: /deb/coinor-coinall-pkg/releases/1.1.0-0ubuntu0~ppa1