Artifact | libcoq-mathcomp-fingroup_2.2.0-2+b7_amd64 |
---|---|
Category | debian:binary-package |
architecture: amd64
component: main
package: libcoq-mathcomp-fingroup
priority: optional
section: math
srcpkg_name: ssreflect
srcpkg_version: 2.2.0-2
version: 2.2.0-2+b7