../ haskell-sbv_5.7-1.debian.tar.xz 28-Dec-2015 22:41 2256 haskell-sbv_5.7-1.dsc 28-Dec-2015 22:41 2888 haskell-sbv_5.7.orig.tar.gz 28-Dec-2015 22:41 522618 libghc-sbv-dev_5.7-1_armhf.deb 03-Jan-2016 14:04 2907782 libghc-sbv-doc_5.7-1_all.deb 28-Dec-2015 23:31 503152 libghc-sbv-prof_5.7-1_armhf.deb 03-Jan-2016 14:04 2052268