| Artifact | libcoq-mathcomp-algebra_1.15.0-1+b4_amd64 |
|---|---|
| Category | debian:binary-package |
architecture: amd64
component: main
package: libcoq-mathcomp-algebra
priority: optional
section: math
srcpkg_name: ssreflect
srcpkg_version: 1.15.0-1
version: 1.15.0-1+b4