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