../ libntl-dev_5.5.2-2_amd64.deb 15-May-2012 11:36 1276428 libntl0_5.5.2-2_amd64.deb 15-May-2012 11:36 791514