Filename Modification time Size haskell-sbv_5.12-2.debian.tar.xz 2016-10-28 02:30 CEST 2452 B haskell-sbv_5.12-2.dsc 2016-10-28 02:30 CEST 2930 B haskell-sbv_5.12.orig.tar.gz 2016-10-17 07:32 CEST 514 KiB libghc-sbv-dev_5.12-2+b1_mipsel.deb 2016-11-17 00:13 CET 3628 KiB libghc-sbv-dev_5.12-2+b2_arm64.deb 2016-11-15 23:13 CET 4104 KiB libghc-sbv-dev_5.12-2+b2_mips.deb 2016-11-16 02:11 CET 3550 KiB libghc-sbv-dev_5.12-2+b2_s390x.deb 2016-11-15 23:58 CET 5402 KiB libghc-sbv-dev_5.12-2+b3_amd64.deb 2016-11-14 22:44 CET 2652 KiB libghc-sbv-dev_5.12-2+b3_armel.deb 2016-11-16 08:12 CET 3052 KiB libghc-sbv-dev_5.12-2+b3_i386.deb 2016-11-14 22:44 CET 2526 KiB libghc-sbv-dev_5.12-2+b3_ppc64el.deb 2016-11-14 23:00 CET 3702 KiB libghc-sbv-dev_5.12-2+b4_armhf.deb 2016-12-28 12:58 CET 3344 KiB libghc-sbv-dev_5.12-2_mips64el.deb 2016-11-18 12:56 CET 3892 KiB libghc-sbv-doc_5.12-2_all.deb 2016-10-29 03:42 CEST 537 KiB libghc-sbv-prof_5.12-2+b1_mipsel.deb 2016-11-17 00:13 CET 2923 KiB libghc-sbv-prof_5.12-2+b2_arm64.deb 2016-11-15 23:13 CET 3104 KiB libghc-sbv-prof_5.12-2+b2_mips.deb 2016-11-16 02:11 CET 2899 KiB libghc-sbv-prof_5.12-2+b2_s390x.deb 2016-11-15 23:58 CET 3716 KiB libghc-sbv-prof_5.12-2+b3_amd64.deb 2016-11-14 22:44 CET 2245 KiB libghc-sbv-prof_5.12-2+b3_armel.deb 2016-11-16 08:12 CET 2435 KiB libghc-sbv-prof_5.12-2+b3_i386.deb 2016-11-14 22:44 CET 2207 KiB libghc-sbv-prof_5.12-2+b3_ppc64el.deb 2016-11-14 23:00 CET 3205 KiB libghc-sbv-prof_5.12-2+b4_armhf.deb 2016-12-28 12:58 CET 2767 KiB libghc-sbv-prof_5.12-2_mips64el.deb 2016-11-18 12:56 CET 3303 KiB