metamath_0.195-1_amd64

Details

Artifact metamath_0.195-1_amd64
Category debian:binary-package
Metadata
architecture: amd64
component: main
package: metamath
priority: optional
section: math
srcpkg_name: metamath
srcpkg_version: 0.195-1
version: 0.195-1
sid System _system 5 months, 4 weeks ago
BETA