metamath-databases_0.0.0~20210101.git55fe226-2

Details

Artifact	metamath-databases_0.0.0~20210101.git55fe226-2
Category	debian:source-package

Metadata

component: main
package: metamath-databases
section: misc
version: 0.0.0~20210101.git55fe226-2