../ 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_armhf.deb 03-Dec-2016 04:08 3105452 libghc-sbv-doc_5.12-2_all.deb 29-Oct-2016 01:42 550110 libghc-sbv-prof_5.12-2_armhf.deb 03-Dec-2016 04:08 2460596