../ haskell-sbv_5.12-2.debian.tar.xz 26-Apr-2023 14:55 2452 haskell-sbv_5.12-2.dsc 26-Apr-2023 14:55 2930 haskell-sbv_5.12.orig.tar.gz 26-Apr-2023 14:55 514K libghc-sbv-dev_5.12-2+b3_i386.deb 26-Apr-2023 14:55 2M libghc-sbv-doc_5.12-2_all.deb 26-Apr-2023 14:55 537K libghc-sbv-prof_5.12-2+b3_i386.deb 26-Apr-2023 14:55 2M