libcoq-quickchick_2.0.3-3+b6_arm64

Details

Artifact libcoq-quickchick_2.0.3-3+b6_arm64
Category debian:binary-package
Metadata
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
trixie System _system 1 month ago
BETA