../ haskell-sbv_8.17-1.debian.tar.xz 21-Dec-2022 19:26 2840 haskell-sbv_8.17-1.dsc 21-Dec-2022 19:26 2578 haskell-sbv_8.17.orig.tar.gz 21-Dec-2022 19:26 951419 libghc-sbv-dev_8.17-1+b3_amd64.deb 21-Dec-2022 19:38 6782924 libghc-sbv-doc_8.17-1_all.deb 21-Dec-2022 17:53 1795508 libghc-sbv-prof_8.17-1+b3_amd64.deb 21-Dec-2022 21:34 5912972