Name Last modified Size DescriptionApache/2.4.62 (Debian) Server at de.freedif.org Port 443
Parent Directory - opengrm-ngram_1.3.2.orig.tar.gz 2017-08-30 03:45 14M libngram-dev_1.3.2-3_armhf.deb 2017-09-11 18:08 1.1M libngram2_1.3.2-3_armhf.deb 2017-09-11 18:08 800K libngram-tools_1.3.2-3_armhf.deb 2017-09-11 18:08 715K opengrm-ngram_1.3.2-3.debian.tar.xz 2017-09-05 22:01 9.9K opengrm-ngram_1.3.2-3.dsc 2017-09-05 22:01 1.8K