../ liboqs-dev_0.8.0-1_amd64.deb 16-Jun-2023 10:26 20712 liboqs3_0.8.0-1_amd64.deb 16-Jun-2023 10:26 792184 liboqs_0.7.2-2.debian.tar.xz 31-Aug-2022 05:32 7392 liboqs_0.7.2-2.dsc 31-Aug-2022 05:32 2007 liboqs_0.7.2.orig.tar.gz 29-Aug-2022 14:14 5512163 liboqs_0.8.0-1.debian.tar.xz 16-Jun-2023 09:41 6536 liboqs_0.8.0-1.dsc 16-Jun-2023 09:41 2061 liboqs_0.8.0.orig.tar.gz 16-Jun-2023 09:41 2986821