../ haskell-sbv_7.12-2.debian.tar.xz 11-Apr-2022 03:09 2764 haskell-sbv_7.12-2.dsc 11-Apr-2022 03:09 2717 haskell-sbv_7.12.orig.tar.gz 11-Apr-2022 03:09 666225 libghc-sbv-dev_7.12-2+b2_amd64.deb 11-Apr-2022 02:58 3999972 libghc-sbv-dev_7.12-2+b2_i386.deb 11-Apr-2022 03:19 3925084 libghc-sbv-doc_7.12-2_all.deb 11-Apr-2022 03:29 985576 libghc-sbv-prof_7.12-2+b2_amd64.deb 11-Apr-2022 02:59 3378420 libghc-sbv-prof_7.12-2+b2_i386.deb 11-Apr-2022 03:26 3369400