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

Filename	Modification time	Size
libngram-dev_1.3.2-3_arm64.deb	2017-09-05 18:57 CEST	1043 KiB
libngram-tools_1.3.2-3_arm64.deb	2017-09-05 18:57 CEST	892 KiB
libngram2_1.3.2-3_arm64.deb	2017-09-05 18:57 CEST	901 KiB