../ haskell-sbv_7.12-2.debian.tar.xz 01-Oct-2018 19:32 2764 haskell-sbv_7.12-2.dsc 01-Oct-2018 19:32 2717 haskell-sbv_7.12.orig.tar.gz 30-Sep-2018 10:59 666225 libghc-sbv-dev_7.12-2+b2_amd64.deb 08-Mar-2019 09:25 3999972 libghc-sbv-doc_7.12-2_all.deb 16-Oct-2018 16:56 985576 libghc-sbv-prof_7.12-2+b2_amd64.deb 08-Mar-2019 09:25 3378420