../ libiomp-doc_0.20130912-1_all.deb 30-Sep-2013 15:24 626038 openmprtl_0.20130912-1.debian.tar.gz 30-Sep-2013 15:24 7342 openmprtl_0.20130912-1.dsc 30-Sep-2013 15:24 1465 openmprtl_0.20130912.orig.tar.gz 30-Sep-2013 15:24 855350