libcoq-mathcomp-field_2.2.0-2+b7_arm64

Details

Artifact libcoq-mathcomp-field_2.2.0-2+b7_arm64
Category debian:binary-package
Metadata
architecture: arm64
component: main
package: libcoq-mathcomp-field
priority: optional
section: math
srcpkg_name: ssreflect
srcpkg_version: 2.2.0-2
version: 2.2.0-2+b7
trixie System _system 1 month ago
BETA