../ 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+b1_armhf.deb 01-Jan-2017 22:08 3104420 libghc-sbv-doc_5.12-2_all.deb 29-Oct-2016 01:42 550110 libghc-sbv-prof_5.12-2+b1_armhf.deb 01-Jan-2017 22:08 2452696