Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
opengrm-ngram_1.3.0-1.debian.tar.xz | 2017-08-07 10:23 | 9.1K | ||
opengrm-ngram_1.3.0-1.dsc | 2017-08-07 10:23 | 2.1K | ||
opengrm-ngram_1.3.0.orig.tar.gz | 2017-08-07 10:23 | 14M | ||
opengrm-ngram_1.3.2-3.debian.tar.xz | 2017-11-20 22:53 | 9.9K | ||
opengrm-ngram_1.3.2-3.dsc | 2017-11-20 22:53 | 1.8K | ||
opengrm-ngram_1.3.2.orig.tar.gz | 2017-11-20 22:54 | 14M | ||