metamath_0.195-1

Details

Artifact metamath_0.195-1
Category debian:source-package
Metadata
component: main
package: metamath
section: misc
version: 0.195-1
sid System _system 6 months ago
BETA