../ liboqs-dev_0.7.2-2_riscv64.deb 31-Aug-2022 12:03 23452 liboqs2-dbgsym_0.7.2-2_riscv64.deb 31-Aug-2022 12:03 2939876 liboqs2_0.7.2-2_riscv64.deb 31-Aug-2022 12:03 1005164 liboqs_0.7.2-2_riscv64.buildinfo 31-Aug-2022 12:03 8346