Index of /ubuntu/pool/universe/o/openmprtl

 Name                            Last modified      Size  
 Parent Directory                                     -   
 libiomp-dev_5.0.1-1_amd64.deb   2018-01-11 11:53  3.4K  
 libiomp-doc_5.0.1-1_all.deb     2018-01-11 11:53  3.4K  
 libiomp5-dbg_5.0.1-1_amd64.deb  2018-01-11 11:53  3.4K  
 libiomp5_5.0.1-1_amd64.deb      2018-01-11 11:53  3.4K  
 libomp-dev_5.0.1-1_amd64.deb    2018-01-11 11:53  5.0K  
 libomp-doc_5.0.1-1_all.deb      2018-01-11 11:53  751K  
 libomp5-dbg_5.0.1-1_amd64.deb   2018-01-11 11:53  1.1M  
 libomp5_5.0.1-1_amd64.deb       2018-01-11 11:53  229K  
 openmprtl_5.0.1-1.debian.tar.xz 2018-01-08 00:08   10K  
 openmprtl_5.0.1-1.dsc           2018-01-08 00:08  2.3K  
 openmprtl_5.0.1.orig.tar.xz     2018-01-08 00:08  2.0M  

This mirror is brought to you by HR-Tech and Heiko Richter.