| Artifact | metamath-databases_0.0.0~20210101.git55fe226-2_all |
|---|---|
| Category | debian:binary-package |
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