metamath-databases (0.0.0~20210101.git55fe226-2) [PTS] [DDPO]

OK: VCS matches the version in the archive

Package: [Main page]