sources:
  UserManual.pdf: 97f742e0fef4cd881dac721c96eab309a4cb4396
  VirtualBox-4.3.0.tar.bz2: 7dc0770d94d089d9629db041c74eafa64b4de937