architecture: arm64 component: main package: quickchick priority: optional section: ocaml srcpkg_name: coq-quickchick srcpkg_version: 1.6.4-3 version: 1.6.4-3+b1