data/metamath-databases-0.0.0~20200715.git5b44899/CONTRIBUTING.md:                   ASCII text
data/metamath-databases-0.0.0~20200715.git5b44899/LICENSE:                           ASCII text
data/metamath-databases-0.0.0~20200715.git5b44899/README.md:                         ASCII text
data/metamath-databases-0.0.0~20200715.git5b44899/big-unifier.mm:                    ASCII text
data/metamath-databases-0.0.0~20200715.git5b44899/demo0.mm:                          ASCII text
data/metamath-databases-0.0.0~20200715.git5b44899/hol.mm:                            ASCII text
data/metamath-databases-0.0.0~20200715.git5b44899/iset.mm:                           ASCII text
data/metamath-databases-0.0.0~20200715.git5b44899/miu.mm:                            ASCII text
data/metamath-databases-0.0.0~20200715.git5b44899/nf.mm:                             ASCII text
data/metamath-databases-0.0.0~20200715.git5b44899/peano.mm:                          ASCII text
data/metamath-databases-0.0.0~20200715.git5b44899/ql.mm:                             ASCII text
data/metamath-databases-0.0.0~20200715.git5b44899/set.mm:                            ASCII text
data/metamath-databases-0.0.0~20200715.git5b44899/debian/README.Debian:              ASCII text
data/metamath-databases-0.0.0~20200715.git5b44899/debian/changelog:                  ASCII text
data/metamath-databases-0.0.0~20200715.git5b44899/debian/check_database.sh:          Bourne-Again shell script, ASCII text executable
data/metamath-databases-0.0.0~20200715.git5b44899/debian/control:                    ASCII text
data/metamath-databases-0.0.0~20200715.git5b44899/debian/copyright:                  ASCII text
data/metamath-databases-0.0.0~20200715.git5b44899/debian/metamath-databases.docs:    ASCII text
data/metamath-databases-0.0.0~20200715.git5b44899/debian/metamath-databases.install: ASCII text
data/metamath-databases-0.0.0~20200715.git5b44899/debian/rules:                      a /usr/bin/make -f script, ASCII text executable
data/metamath-databases-0.0.0~20200715.git5b44899/debian/salsa-ci.yml:               ASCII text
data/metamath-databases-0.0.0~20200715.git5b44899/debian/source/format:              ASCII text
data/metamath-databases-0.0.0~20200715.git5b44899/.pc/.version:                      ASCII text
data/metamath-databases-0.0.0~20200715.git5b44899/.pc/.quilt_patches:                ASCII text
data/metamath-databases-0.0.0~20200715.git5b44899/.pc/.quilt_series:                 ASCII text
data/metamath-databases-0.0.0~20200715.git5b44899/.pc/applied-patches:               empty