| Artifact | libcoq-mathcomp-algebra-tactics_1.0.0-8+b6_arm64 |
|---|---|
| Category | debian:binary-package |
architecture: arm64
component: main
package: libcoq-mathcomp-algebra-tactics
priority: optional
section: ocaml
srcpkg_name: mathcomp-algebra-tactics
srcpkg_version: 1.0.0-8
version: 1.0.0-8+b6