libcoq-quickchick_2.1.0-1.1+b2_amd64.deb
libcoq-quickchick_2.1.0-1.1+b2_arm64.deb
quickchick_2.1.0-1.1+b2_amd64.deb
quickchick_2.1.0-1.1+b2_arm64.deb