| Name | Last modified | Size | Description |
|---|---|---|---|
| Parent Directory | - | ||
| success | 2016-02-26 20:28 | 5 | |
| state.log | 2016-02-26 20:28 | 806 | |
| root.log | 2016-02-26 20:28 | 32K | |
| opengrm-ngram-devel-1.2.1-8bs02fc23.armv6hl.rpm | 2016-02-26 20:28 | 48K | |
| build.log | 2016-02-26 20:28 | 57K | |
| opengrm-ngram-1.2.1-8bs02fc23.armv6hl.rpm | 2016-02-26 20:28 | 160K | |
| opengrm-ngram-tools-1.2.1-8bs02fc23.armv6hl.rpm | 2016-02-26 20:28 | 617K |