../ coq-quickchick_2.0-2+b3_hurd-i386.buildinfo 01-Oct-2023 12:03 7970 libcoq-quickchick-dbgsym_2.0-2+b3_hurd-i386.deb 01-Oct-2023 12:03 29K libcoq-quickchick_2.0-2+b3_hurd-i386.deb 01-Oct-2023 12:03 2M quickchick_2.0-2+b3_hurd-i386.deb 01-Oct-2023 12:03 57K