../ libghc-genvalidity-property-dev_1.0.0.0-2+ulb1_..> 02-Jul-2023 00:02 152272 libghc-genvalidity-property-doc_1.0.0.0-2+ulb1_..> 01-Jul-2023 15:59 87536 libghc-genvalidity-property-prof_1.0.0.0-2+ulb1..> 02-Jul-2023 00:10 148180