../ libntl-dev_10.5.0-2_amd64.deb 05-Jan-2018 16:28 1070460 libntl-dev_11.5.1-1+b2_amd64.deb 18-Sep-2022 17:30 1266836 libntl35_10.5.0-2_amd64.deb 05-Jan-2018 16:28 690800 libntl44_11.5.1-1+b2_amd64.deb 18-Sep-2022 17:30 833792