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

	Name	Last modified	Size
	Parent Directory		-
	opengrm-ngram_1.3.0-1.debian.tar.xz	2016-06-05 14:23	9.1K
	opengrm-ngram_1.3.0-1.dsc	2016-06-05 14:23	2.1K
	opengrm-ngram_1.3.0.orig.tar.gz	2016-06-05 14:23	14M
	libngram-dev_1.3.0-1_armhf.deb	2016-06-11 19:56	943K
	libngram-tools_1.3.0-1_armhf.deb	2016-06-11 19:56	818K
	libngram2_1.3.0-1_armhf.deb	2016-06-11 19:56	700K
	opengrm-ngram_1.3.2.orig.tar.gz	2017-08-29 21:45	14M
	opengrm-ngram_1.3.2-3.debian.tar.xz	2017-09-05 16:01	9.9K
	opengrm-ngram_1.3.2-3.dsc	2017-09-05 16:01	1.8K
	libngram-dev_1.3.2-3_armhf.deb	2017-09-11 12:08	1.1M
	libngram-tools_1.3.2-3_armhf.deb	2017-09-11 12:08	715K
	libngram2_1.3.2-3_armhf.deb	2017-09-11 12:08	800K