../ liboqs-dev_0.8.0-1_amd64.deb 16-Jun-2023 10:26 20712 liboqs-dev_0.8.0-1_i386.deb 16-Jun-2023 10:21 20528 liboqs3_0.8.0-1_amd64.deb 16-Jun-2023 10:26 792184 liboqs3_0.8.0-1_i386.deb 16-Jun-2023 10:21 336604