../ haskell-sbv_5.12-2.debian.tar.xz 28-Oct-2016 00:30 2452 haskell-sbv_5.12-2.dsc 28-Oct-2016 00:30 2930 haskell-sbv_5.12.orig.tar.gz 17-Oct-2016 05:32 526586 libghc-sbv-dev_5.12-2+b3_amd64.deb 14-Nov-2016 21:44 2716120 libghc-sbv-dev_5.12-2+b3_i386.deb 14-Nov-2016 21:44 2586718 libghc-sbv-doc_5.12-2_all.deb 29-Oct-2016 01:42 550110 libghc-sbv-prof_5.12-2+b3_amd64.deb 14-Nov-2016 21:44 2299388 libghc-sbv-prof_5.12-2+b3_i386.deb 14-Nov-2016 21:44 2260210