Package: metamath-databases / 0.0.0~20210101.git55fe226-2

Metadata

Package Version Patches format
metamath-databases 0.0.0~20210101.git55fe226-2 3.0 (quilt)

This package has no patches.