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