architecture: arm64 component: main package: libcoq-quickchick priority: optional section: ocaml srcpkg_name: coq-quickchick srcpkg_version: 2.0.3-3 version: 2.0.3-3+b6