metamath-databases_0.0.0~20210101.git55fe226-2_all

Details

Artifact metamath-databases_0.0.0~20210101.git55fe226-2_all
Category debian:binary-package
Metadata
architecture: all
component: main
package: metamath-databases
priority: optional
section: math
srcpkg_name: metamath-databases
srcpkg_version: 0.0.0~20210101.git55fe226-2
version: 0.0.0~20210101.git55fe226-2
sid System _system 5 months, 4 weeks ago
BETA