../ haskell-sbv_5.11-1.debian.tar.xz 01-Jun-2016 15:54 2344 haskell-sbv_5.11-1.dsc 01-Jun-2016 15:54 2748 haskell-sbv_5.11.orig.tar.gz 01-Jun-2016 15:54 526326 libghc-sbv-dev_5.11-1_armhf.deb 13-Jul-2016 04:08 2949122 libghc-sbv-doc_5.11-1_all.deb 01-Jun-2016 15:54 508038 libghc-sbv-prof_5.11-1_armhf.deb 13-Jul-2016 04:08 2073934