libghc-sbv-dev_10.2-2+b1_amd64.deb
libghc-sbv-dev_10.2-2+b1_arm64.deb
libghc-sbv-doc_10.2-2_all.deb
libghc-sbv-prof_10.2-2+b1_amd64.deb
libghc-sbv-prof_10.2-2+b1_arm64.deb