../ liboqs-dev_0.8.0-1_ppc64.deb 16-Jun-2023 12:03 20536 liboqs3-dbgsym_0.8.0-1_ppc64.deb 16-Jun-2023 12:03 1691472 liboqs3_0.8.0-1_ppc64.deb 16-Jun-2023 12:03 315348 liboqs_0.8.0-1_ppc64.buildinfo 16-Jun-2023 12:03 7813