| Artifact | libcoq-mathcomp-zify_1.5.0+2.0+8.16-3+b5_amd64 |
|---|---|
| Category | debian:binary-package |
architecture: amd64
component: main
package: libcoq-mathcomp-zify
priority: optional
section: ocaml
srcpkg_name: mathcomp-zify
srcpkg_version: 1.5.0+2.0+8.16-3
version: 1.5.0+2.0+8.16-3+b5