| Artifact | libcoq-mathcomp-analysis_0.6.0-2+b1_arm64 |
|---|---|
| Category | debian:binary-package |
architecture: arm64
component: main
package: libcoq-mathcomp-analysis
priority: optional
section: ocaml
srcpkg_name: mathcomp-analysis
srcpkg_version: 0.6.0-2
version: 0.6.0-2+b1