../ librapidcheck-dev_0~1048-a5724ea-1_amd64.deb 15-Jun-2023 17:35 206846 rapidcheck_0~1048-a5724ea-1.debian.tar.xz 15-Jun-2023 17:34 3016 rapidcheck_0~1048-a5724ea-1.dsc 15-Jun-2023 17:34 2008 rapidcheck_0~1048-a5724ea.orig.tar.xz 15-Jun-2023 17:34 141416