Name Last modified Size Description Parent Directory - opengrm-ngram-1.3.14..> 18-Dec-2022 02:30 664 metadata.xml 19-Nov-2022 09:45 258 Manifest 18-Dec-2022 02:30 315