Index of /debian/pool/main/o/opengrm-ngram

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 libngram-dev_1.3.2-3..> 2017-09-05 19:42  1.0M  
 libngram-tools_1.3.2..> 2017-09-05 19:42  967K  
 libngram2_1.3.2-3_am..> 2017-09-05 19:42  967K  
 opengrm-ngram_1.3.2-..> 2017-09-05 17:01  9.9K  
 opengrm-ngram_1.3.2-..> 2017-09-05 17:01  1.8K  
 opengrm-ngram_1.3.2...> 2017-08-29 22:45   14M