../ libghc-vector-dev_0.12.0.1-8+b2_amd64.deb 04-Dec-2018 02:42 1267868 libghc-vector-dev_0.12.0.1-8+b2_i386.deb 04-Dec-2018 02:27 1237360 libghc-vector-doc_0.12.0.1-8_all.deb 13-Oct-2018 22:57 388620 libghc-vector-prof_0.12.0.1-8+b2_amd64.deb 04-Dec-2018 02:42 1178600 libghc-vector-prof_0.12.0.1-8+b2_i386.deb 04-Dec-2018 02:27 1183416