| Artifact | libcoq-math-classes_8.15.0-4+b1_amd64 |
|---|---|
| Category | debian:binary-package |
architecture: amd64
component: main
package: libcoq-math-classes
priority: optional
section: ocaml
srcpkg_name: coq-math-classes
srcpkg_version: 8.15.0-4
version: 8.15.0-4+b1