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

Icon  Name                                Last modified      Size  
[PARENTDIR] Parent Directory - [   ] libngram-dev_1.3.2-3_amd64.deb 2017-09-05 18:42 1.0M [   ] libngram-dev_1.3.2-3_arm64.deb 2017-09-05 18:57 1.0M [   ] libngram-dev_1.3.2-3_armhf.deb 2017-09-06 06:42 1.1M [   ] libngram-dev_1.3.2-3_i386.deb 2017-09-05 18:42 1.1M [   ] libngram-tools_1.3.2-3_amd64.deb 2017-09-05 18:42 967K [   ] libngram-tools_1.3.2-3_arm64.deb 2017-09-05 18:57 892K [   ] libngram-tools_1.3.2-3_armhf.deb 2017-09-06 06:42 820K [   ] libngram-tools_1.3.2-3_i386.deb 2017-09-05 18:42 1.0M [   ] libngram2_1.3.2-3_amd64.deb 2017-09-05 18:42 967K [   ] libngram2_1.3.2-3_arm64.deb 2017-09-05 18:57 901K [   ] libngram2_1.3.2-3_armhf.deb 2017-09-06 06:42 842K [   ] libngram2_1.3.2-3_i386.deb 2017-09-05 18:42 1.0M [   ] 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 [   ] opengrm-ngram_1.3.2.orig.tar.gz 2017-08-29 21:45 14M
Apache/2.4.41 (Ubuntu) Server at ftp.rrze.uni-erlangen.de Port 443