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.
Package | Version | Patches format |
---|---|---|
metamath-databases | 0.0.0~20210101.git55fe226-2 | 3.0 (quilt) |
This package has no patches.