data/metamath-0.183/LICENSE.TXT:          ASCII text
data/metamath-0.183/Makefile.am:          ASCII text
data/metamath-0.183/README.TXT:           ASCII text
data/metamath-0.183/configure.ac:         C source, ASCII text
data/metamath-0.183/metamath.1:           troff or preprocessor input, ASCII text
data/metamath-0.183/metamath.c:           HTML document, ASCII text, with CRLF line terminators
data/metamath-0.183/mmcmdl.c:             C source, ASCII text, with CRLF line terminators
data/metamath-0.183/mmcmdl.h:             C source, ASCII text, with CRLF line terminators
data/metamath-0.183/mmcmds.c:             C source, ASCII text, with CRLF line terminators
data/metamath-0.183/mmcmds.h:             C source, ASCII text, with CRLF line terminators
data/metamath-0.183/mmdata.c:             C source, ASCII text, with CRLF line terminators
data/metamath-0.183/mmdata.h:             C source, ASCII text, with CRLF line terminators
data/metamath-0.183/mmhlpa.c:             C source, ASCII text, with CRLF line terminators
data/metamath-0.183/mmhlpa.h:             C source, ASCII text, with CRLF line terminators
data/metamath-0.183/mmhlpb.c:             C source, ASCII text, with CRLF line terminators
data/metamath-0.183/mmhlpb.h:             C source, ASCII text, with CRLF line terminators
data/metamath-0.183/mminou.c:             C source, ASCII text, with CRLF line terminators
data/metamath-0.183/mminou.h:             C source, ASCII text, with CRLF line terminators
data/metamath-0.183/mmmaci.c:             C source, ASCII text, with CRLF line terminators
data/metamath-0.183/mmmaci.h:             C source, ASCII text, with CRLF line terminators
data/metamath-0.183/mmpars.c:             C source, ASCII text, with CRLF line terminators
data/metamath-0.183/mmpars.h:             C source, ASCII text, with CRLF line terminators
data/metamath-0.183/mmpfas.c:             C source, ASCII text, with CRLF line terminators
data/metamath-0.183/mmpfas.h:             C source, ASCII text, with CRLF line terminators
data/metamath-0.183/mmunif.c:             C source, ASCII text, with CRLF line terminators
data/metamath-0.183/mmunif.h:             C source, ASCII text, with CRLF line terminators
data/metamath-0.183/mmutil.c:             C source, ASCII text, with CRLF line terminators
data/metamath-0.183/mmutil.h:             ASCII text, with CRLF line terminators
data/metamath-0.183/mmveri.c:             C source, ASCII text, with CRLF line terminators
data/metamath-0.183/mmveri.h:             C source, ASCII text, with CRLF line terminators
data/metamath-0.183/mmvstr.c:             C source, ASCII text, with CRLF line terminators
data/metamath-0.183/mmvstr.h:             C source, ASCII text, with CRLF line terminators
data/metamath-0.183/mmword.c:             C source, ASCII text, with CRLF line terminators
data/metamath-0.183/mmword.h:             C source, ASCII text, with CRLF line terminators
data/metamath-0.183/mmwtex.c:             C source, ASCII text, with CRLF line terminators
data/metamath-0.183/mmwtex.h:             C source, ASCII text, with CRLF line terminators
data/metamath-0.183/debian/changelog:     ASCII text
data/metamath-0.183/debian/control:       ASCII text
data/metamath-0.183/debian/copyright:     ASCII text
data/metamath-0.183/debian/rules:         a /usr/bin/make -f script, ASCII text executable
data/metamath-0.183/debian/salsa-ci.yml:  ASCII text
data/metamath-0.183/debian/source/format: ASCII text
data/metamath-0.183/debian/watch:         ASCII text
data/metamath-0.183/.pc/.version:         ASCII text
data/metamath-0.183/.pc/.quilt_patches:   ASCII text
data/metamath-0.183/.pc/.quilt_series:    ASCII text
data/metamath-0.183/.pc/applied-patches:  empty