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


../
libngram-dev_1.3.2-3_amd64.deb                     05-Sep-2017 16:42             1076682
libngram-tools_1.3.2-3_amd64.deb                   05-Sep-2017 16:42              990158
libngram2_1.3.2-3_amd64.deb                        05-Sep-2017 16:42              990258
opengrm-ngram_1.3.2-3.debian.tar.xz                05-Sep-2017 14:01               10180
opengrm-ngram_1.3.2-3.dsc                          05-Sep-2017 14:01                1844
opengrm-ngram_1.3.2.orig.tar.gz                    29-Aug-2017 19:45            14695857