../ libghc-weigh-dev_0.0.7-1_amd64.deb 02-Oct-2018 09:25 62268 libghc-weigh-doc_0.0.7-1_all.deb 02-Oct-2018 09:48 19320 libghc-weigh-prof_0.0.7-1_amd64.deb 02-Oct-2018 09:38 57160