../ libghc-sbv-dev_8.17-1+b3_amd64.deb 17-Jul-2023 12:42 6782924 libghc-sbv-dev_8.17-1+b3_arm64.deb 17-Jul-2023 14:01 10114264 libghc-sbv-dev_8.17-1+b3_i386.deb 17-Jul-2023 19:14 10868840 libghc-sbv-doc_8.17-1_all.deb 17-Jul-2023 19:26 1795508 libghc-sbv-prof_8.17-1+b3_amd64.deb 17-Jul-2023 19:31 5912972 libghc-sbv-prof_8.17-1+b3_arm64.deb 17-Jul-2023 20:53 8864028 libghc-sbv-prof_8.17-1+b3_i386.deb 17-Jul-2023 14:18 8576920