data/gap-tomlib-1.2.9/LICENSE: ASCII text data/gap-tomlib-1.2.9/init.g: ASCII text data/gap-tomlib-1.2.9/PackageInfo.g: UTF-8 Unicode text data/gap-tomlib-1.2.9/makedoc.g: ASCII text data/gap-tomlib-1.2.9/read.g: ASCII text data/gap-tomlib-1.2.9/README.md: ASCII text data/gap-tomlib-1.2.9/gap/tmstdrd.tom: ASCII text data/gap-tomlib-1.2.9/gap/stdgen.gi: ASCII text data/gap-tomlib-1.2.9/gap/stdgen.gd: ASCII text data/gap-tomlib-1.2.9/gap/tmadmin.tmi: ASCII text data/gap-tomlib-1.2.9/gap/tmadmin.tmd: exported SGML document, ASCII text data/gap-tomlib-1.2.9/doc/chapInd.html: XML 1.0 document, ASCII text data/gap-tomlib-1.2.9/doc/bib.xml.bib: ASCII text data/gap-tomlib-1.2.9/doc/chap1.txt: data data/gap-tomlib-1.2.9/doc/chapInd.txt: ASCII text, with escape sequences data/gap-tomlib-1.2.9/doc/nocolorprompt.css: ASCII text data/gap-tomlib-1.2.9/doc/chap1_mj.html: XML 1.0 document, UTF-8 Unicode text, with very long lines data/gap-tomlib-1.2.9/doc/chap0.html: XML 1.0 document, UTF-8 Unicode text data/gap-tomlib-1.2.9/doc/chap0_mj.html: XML 1.0 document, UTF-8 Unicode text data/gap-tomlib-1.2.9/doc/bib.xml: HTML document, UTF-8 Unicode text data/gap-tomlib-1.2.9/doc/chapBib.txt: UTF-8 Unicode text, with escape sequences data/gap-tomlib-1.2.9/doc/lefttoc.css: UTF-8 Unicode text data/gap-tomlib-1.2.9/doc/chap0.txt: UTF-8 Unicode text, with escape sequences data/gap-tomlib-1.2.9/doc/chap1.html: XML 1.0 document, UTF-8 Unicode text, with very long lines data/gap-tomlib-1.2.9/doc/ragged.css: UTF-8 Unicode text data/gap-tomlib-1.2.9/doc/tomlib.xml: XML 2.1 document, ASCII text, with very long lines data/gap-tomlib-1.2.9/doc/times.css: UTF-8 Unicode text data/gap-tomlib-1.2.9/doc/chapBib.html: XML 1.0 document, UTF-8 Unicode text data/gap-tomlib-1.2.9/doc/chapBib_mj.html: XML 1.0 document, UTF-8 Unicode text data/gap-tomlib-1.2.9/doc/title.xml: XML 1.0 document, UTF-8 Unicode text data/gap-tomlib-1.2.9/doc/chooser.html: XML 1.0 document, ASCII text data/gap-tomlib-1.2.9/doc/chapInd_mj.html: XML 1.0 document, ASCII text data/gap-tomlib-1.2.9/doc/manual.css: UTF-8 Unicode text data/gap-tomlib-1.2.9/doc/toggless.css: UTF-8 Unicode text data/gap-tomlib-1.2.9/doc/manual.js: HTML document, UTF-8 Unicode text data/gap-tomlib-1.2.9/doc/toggless.js: UTF-8 Unicode text data/gap-tomlib-1.2.9/doc/manual.pdf: PDF document, version 1.5 data/gap-tomlib-1.2.9/doc/Makefile: ASCII text data/gap-tomlib-1.2.9/doc/rainbow.js: HTML document, ASCII text data/gap-tomlib-1.2.9/doc/manual.six: ASCII text data/gap-tomlib-1.2.9/doc/tomdiff.tex: LaTeX document, ASCII text data/gap-tomlib-1.2.9/htm/tomdiff.htm: HTML document, ASCII text data/gap-tomlib-1.2.9/tst/testall.g: ASCII text data/gap-tomlib-1.2.9/tst/bugfix.tst: ASCII text data/gap-tomlib-1.2.9/tst/tomlib.tst: ASCII text data/gap-tomlib-1.2.9/data/tm2s62m3.tom.gz: gzip compressed data, was "tm2s62m3.tom", last modified: Wed Oct 23 13:56:20 2019, from Unix, original size modulo 2^32 1113051 data/gap-tomlib-1.2.9/data/tm2s62.tom.gz: gzip compressed data, was "tm2s62.tom", last modified: Wed Oct 23 13:56:20 2019, from Unix, original size modulo 2^32 1100156 data/gap-tomlib-1.2.9/data/tms11m5.tom.gz: gzip compressed data, was "tms11m5.tom", last modified: Wed Oct 23 13:56:20 2019, from Unix, original size modulo 2^32 2061659 data/gap-tomlib-1.2.9/data/tmunitam.tom.gz: gzip compressed data, was "tmunitam.tom", last modified: Wed Oct 23 13:56:20 2019, from Unix, original size modulo 2^32 766012 data/gap-tomlib-1.2.9/data/tm4l34s3.tom.gz: gzip compressed data, was "tm4l34s3.tom", last modified: Wed Oct 23 13:56:20 2019, from Unix, original size modulo 2^32 469846 data/gap-tomlib-1.2.9/data/tmo8p2.tom.gz: gzip compressed data, was "tmo8p2.tom", last modified: Wed Oct 23 13:56:20 2019, from Unix, original size modulo 2^32 25429389 data/gap-tomlib-1.2.9/data/tmlinoam.tom.gz: gzip compressed data, was "tmlinoam.tom", last modified: Wed Oct 23 13:56:20 2019, from Unix, original size modulo 2^32 44431 data/gap-tomlib-1.2.9/data/tmjank.tom.gz: gzip compressed data, was "tmjank.tom", last modified: Wed Oct 23 13:56:20 2019, from Unix, original size modulo 2^32 516797 data/gap-tomlib-1.2.9/data/tmunitcm.tom.gz: gzip compressed data, was "tmunitcm.tom", last modified: Wed Oct 23 13:56:20 2019, from Unix, original size modulo 2^32 268170 data/gap-tomlib-1.2.9/data/tmhemx.tom.gz: gzip compressed data, was "tmhemx.tom", last modified: Wed Oct 23 13:56:20 2019, from Unix, original size modulo 2^32 1522608 data/gap-tomlib-1.2.9/data/tmu43v4.tom.gz: gzip compressed data, was "tmu43v4.tom", last modified: Wed Oct 23 13:56:20 2019, from Unix, original size modulo 2^32 1134333 data/gap-tomlib-1.2.9/data/tmlin2mx.tom.gz: gzip compressed data, was "tmlin2mx.tom", last modified: Wed Oct 23 13:56:20 2019, from Unix, original size modulo 2^32 31799 data/gap-tomlib-1.2.9/data/tmsym1.tom.gz: gzip compressed data, was "tmsym1.tom", last modified: Wed Oct 23 13:56:20 2019, from Unix, original size modulo 2^32 1225624 data/gap-tomlib-1.2.9/data/tm4l34mx.tom.gz: gzip compressed data, was "tm4l34mx.tom", last modified: Wed Oct 23 13:56:20 2019, from Unix, original size modulo 2^32 1055207 data/gap-tomlib-1.2.9/data/tmm24m5.tom.gz: gzip compressed data, was "tmm24m5.tom", last modified: Wed Oct 23 13:56:20 2019, from Unix, original size modulo 2^32 1544084 data/gap-tomlib-1.2.9/data/tmunitc.tom.gz: gzip compressed data, was "tmunitc.tom", last modified: Wed Oct 23 13:56:20 2019, from Unix, original size modulo 2^32 200077 data/gap-tomlib-1.2.9/data/tmtwmx.tom.gz: gzip compressed data, was "tmtwmx.tom", last modified: Wed Oct 23 13:56:20 2019, from Unix, original size modulo 2^32 529376 data/gap-tomlib-1.2.9/data/tmunit.tom.gz: gzip compressed data, was "tmunit.tom", last modified: Wed Oct 23 13:56:20 2019, from Unix, original size modulo 2^32 689533 data/gap-tomlib-1.2.9/data/tmutwam.tom.gz: gzip compressed data, was "tmutwam.tom", last modified: Wed Oct 23 13:56:20 2019, from Unix, original size modulo 2^32 164776 data/gap-tomlib-1.2.9/data/tmutw.tom.gz: gzip compressed data, was "tmutw.tom", last modified: Wed Oct 23 13:56:20 2019, from Unix, original size modulo 2^32 209249 data/gap-tomlib-1.2.9/data/tms10m2.tom.gz: gzip compressed data, was "tms10m2.tom", last modified: Wed Oct 23 13:56:20 2019, from Unix, original size modulo 2^32 1110484 data/gap-tomlib-1.2.9/data/tmco3mx.tom.gz: gzip compressed data, was "tmco3mx.tom", last modified: Wed Oct 23 13:56:20 2019, from Unix, original size modulo 2^32 897666 data/gap-tomlib-1.2.9/data/tmu43v4m.tom.gz: gzip compressed data, was "tmu43v4m.tom", last modified: Wed Oct 23 13:56:20 2019, from Unix, original size modulo 2^32 1193426 data/gap-tomlib-1.2.9/data/tmsympa.tom.gz: gzip compressed data, was "tmsympa.tom", last modified: Wed Oct 23 13:56:20 2019, from Unix, original size modulo 2^32 515540 data/gap-tomlib-1.2.9/data/tmsympmx.tom.gz: gzip compressed data, was "tmsympmx.tom", last modified: Wed Oct 23 13:56:20 2019, from Unix, original size modulo 2^32 803639 data/gap-tomlib-1.2.9/data/tmunitmx.tom.gz: gzip compressed data, was "tmunitmx.tom", last modified: Wed Oct 23 13:56:20 2019, from Unix, original size modulo 2^32 769898 data/gap-tomlib-1.2.9/data/tmutwa.tom.gz: gzip compressed data, was "tmutwa.tom", last modified: Wed Oct 23 13:56:20 2019, from Unix, original size modulo 2^32 174060 data/gap-tomlib-1.2.9/data/tmprimar.tom.gz: gzip compressed data, was "tmprimar.tom", last modified: Wed Oct 23 13:56:20 2019, from Unix, original size modulo 2^32 54290 data/gap-tomlib-1.2.9/data/tmm24m7.tom.gz: gzip compressed data, was "tmm24m7.tom", last modified: Wed Oct 23 13:56:20 2019, from Unix, original size modulo 2^32 1475057 data/gap-tomlib-1.2.9/data/tmlino.tom.gz: gzip compressed data, was "tmlino.tom", last modified: Wed Oct 23 13:56:20 2019, from Unix, original size modulo 2^32 1013723 data/gap-tomlib-1.2.9/data/tmsympam.tom.gz: gzip compressed data, was "tmsympam.tom", last modified: Wed Oct 23 13:56:20 2019, from Unix, original size modulo 2^32 501886 data/gap-tomlib-1.2.9/data/tms11.tom.gz: gzip compressed data, was "tms11.tom", last modified: Wed Oct 23 13:56:20 2019, from Unix, original size modulo 2^32 2570528 data/gap-tomlib-1.2.9/data/tmmath.tom.gz: gzip compressed data, was "tmmath.tom", last modified: Wed Oct 23 13:56:20 2019, from Unix, original size modulo 2^32 400784 data/gap-tomlib-1.2.9/data/tms11m4.tom.gz: gzip compressed data, was "tms11m4.tom", last modified: Wed Oct 23 13:56:20 2019, from Unix, original size modulo 2^32 1639409 data/gap-tomlib-1.2.9/data/tma12.tom.gz: gzip compressed data, was "tma12.tom", last modified: Wed Oct 23 13:56:20 2019, from Unix, original size modulo 2^32 2077807 data/gap-tomlib-1.2.9/data/tmalt1mx.tom.gz: gzip compressed data, was "tmalt1mx.tom", last modified: Wed Oct 23 13:56:20 2019, from Unix, original size modulo 2^32 951198 data/gap-tomlib-1.2.9/data/tms11m3.tom.gz: gzip compressed data, was "tms11m3.tom", last modified: Wed Oct 23 13:56:20 2019, from Unix, original size modulo 2^32 1266655 data/gap-tomlib-1.2.9/data/tml52.tom.gz: gzip compressed data, was "tml52.tom", last modified: Wed Oct 23 13:56:20 2019, from Unix, original size modulo 2^32 1114810 data/gap-tomlib-1.2.9/data/tm3d42m1.tom.gz: gzip compressed data, was "tm3d42m1.tom", last modified: Wed Oct 23 13:56:20 2019, from Unix, original size modulo 2^32 4227664 data/gap-tomlib-1.2.9/data/tmjankmx.tom.gz: gzip compressed data, was "tmjankmx.tom", last modified: Wed Oct 23 13:56:20 2019, from Unix, original size modulo 2^32 353031 data/gap-tomlib-1.2.9/data/tm4l34.tom.gz: gzip compressed data, was "tm4l34.tom", last modified: Wed Oct 23 13:56:20 2019, from Unix, original size modulo 2^32 1238349 data/gap-tomlib-1.2.9/data/tmutwmx.tom.gz: gzip compressed data, was "tmutwmx.tom", last modified: Wed Oct 23 13:56:20 2019, from Unix, original size modulo 2^32 179946 data/gap-tomlib-1.2.9/data/tma12mx.tom.gz: gzip compressed data, was "tma12mx.tom", last modified: Wed Oct 23 13:56:20 2019, from Unix, original size modulo 2^32 1276484 data/gap-tomlib-1.2.9/data/tms62mx3.tom.gz: gzip compressed data, was "tms62mx3.tom", last modified: Wed Oct 23 13:56:20 2019, from Unix, original size modulo 2^32 951011 data/gap-tomlib-1.2.9/data/tmealt.tom.gz: gzip compressed data, was "tmealt.tom", last modified: Wed Oct 23 13:56:20 2019, from Unix, original size modulo 2^32 1259658 data/gap-tomlib-1.2.9/data/tma12m4.tom.gz: gzip compressed data, was "tma12m4.tom", last modified: Wed Oct 23 13:56:20 2019, from Unix, original size modulo 2^32 1043454 data/gap-tomlib-1.2.9/data/tmo8m2m1.tom.gz: gzip compressed data, was "tmo8m2m1.tom", last modified: Wed Oct 23 13:56:20 2019, from Unix, original size modulo 2^32 14027449 data/gap-tomlib-1.2.9/data/tmsym1mx.tom.gz: gzip compressed data, was "tmsym1mx.tom", last modified: Wed Oct 23 13:56:20 2019, from Unix, original size modulo 2^32 418797 data/gap-tomlib-1.2.9/data/tmesym.tom.gz: gzip compressed data, was "tmesym.tom", last modified: Wed Oct 23 13:56:20 2019, from Unix, original size modulo 2^32 476533 data/gap-tomlib-1.2.9/data/tms11m6.tom.gz: gzip compressed data, was "tms11m6.tom", last modified: Wed Oct 23 13:56:20 2019, from Unix, original size modulo 2^32 1779928 data/gap-tomlib-1.2.9/data/tmhe2.tom.gz: gzip compressed data, was "tmhe2.tom", last modified: Wed Oct 23 13:56:20 2019, from Unix, original size modulo 2^32 18639492 data/gap-tomlib-1.2.9/data/tmaltc.tom.gz: gzip compressed data, was "tmaltc.tom", last modified: Wed Oct 23 13:56:20 2019, from Unix, original size modulo 2^32 67203 data/gap-tomlib-1.2.9/data/tmsz83.tom.gz: gzip compressed data, was "tmsz83.tom", last modified: Wed Oct 23 13:56:20 2019, from Unix, original size modulo 2^32 22611 data/gap-tomlib-1.2.9/data/tmsymp.tom.gz: gzip compressed data, was "tmsymp.tom", last modified: Wed Oct 23 13:56:20 2019, from Unix, original size modulo 2^32 1175520 data/gap-tomlib-1.2.9/data/tma12m9.tom.gz: gzip compressed data, was "tma12m9.tom", last modified: Wed Oct 23 13:56:20 2019, from Unix, original size modulo 2^32 851624 data/gap-tomlib-1.2.9/data/tmhs2.tom.gz: gzip compressed data, was "tmhs2.tom", last modified: Wed Oct 23 13:56:20 2019, from Unix, original size modulo 2^32 1653283 data/gap-tomlib-1.2.9/data/tma12m5.tom.gz: gzip compressed data, was "tma12m5.tom", last modified: Wed Oct 23 13:56:20 2019, from Unix, original size modulo 2^32 1832679 data/gap-tomlib-1.2.9/data/tmx3l34.tom.gz: gzip compressed data, was "tmx3l34.tom", last modified: Wed Oct 23 13:56:20 2019, from Unix, original size modulo 2^32 90820 data/gap-tomlib-1.2.9/data/tmmathmx.tom.gz: gzip compressed data, was "tmmathmx.tom", last modified: Wed Oct 23 13:56:20 2019, from Unix, original size modulo 2^32 212729 data/gap-tomlib-1.2.9/data/tmg24.tom.gz: gzip compressed data, was "tmg24.tom", last modified: Wed Oct 23 13:56:20 2019, from Unix, original size modulo 2^32 6295753 data/gap-tomlib-1.2.9/data/tms12.tom.gz: gzip compressed data, was "tms12.tom", last modified: Wed Oct 23 13:56:20 2019, from Unix, original size modulo 2^32 12668447 data/gap-tomlib-1.2.9/data/tms13.tom.gz: gzip compressed data, was "tms13.tom", last modified: Wed Oct 23 13:56:20 2019, from Unix, original size modulo 2^32 36360631 data/gap-tomlib-1.2.9/data/tm2s62mx.tom.gz: gzip compressed data, was "tm2s62mx.tom", last modified: Wed Oct 23 13:56:20 2019, from Unix, original size modulo 2^32 828442 data/gap-tomlib-1.2.9/data/tmsymc.tom.gz: gzip compressed data, was "tmsymc.tom", last modified: Wed Oct 23 13:56:20 2019, from Unix, original size modulo 2^32 126122 data/gap-tomlib-1.2.9/data/tmm24.tom.gz: gzip compressed data, was "tmm24.tom", last modified: Wed Oct 23 13:56:20 2019, from Unix, original size modulo 2^32 1290645 data/gap-tomlib-1.2.9/data/tm2f42.tom.gz: gzip compressed data, was "tm2f42.tom", last modified: Wed Oct 23 13:56:20 2019, from Unix, original size modulo 2^32 8451327 data/gap-tomlib-1.2.9/data/tms62mx6.tom.gz: gzip compressed data, was "tms62mx6.tom", last modified: Wed Oct 23 13:56:20 2019, from Unix, original size modulo 2^32 921735 data/gap-tomlib-1.2.9/data/tmhe.tom.gz: gzip compressed data, was "tmhe.tom", last modified: Wed Oct 23 13:56:20 2019, from Unix, original size modulo 2^32 1541692 data/gap-tomlib-1.2.9/data/tmlin2a.tom.gz: gzip compressed data, was "tmlin2a.tom", last modified: Wed Oct 23 13:56:20 2019, from Unix, original size modulo 2^32 59350 data/gap-tomlib-1.2.9/data/tmtw.tom.gz: gzip compressed data, was "tmtw.tom", last modified: Wed Oct 23 13:56:20 2019, from Unix, original size modulo 2^32 366286 data/gap-tomlib-1.2.9/data/tmlinomx.tom.gz: gzip compressed data, was "tmlinomx.tom", last modified: Wed Oct 23 13:56:20 2019, from Unix, original size modulo 2^32 912154 data/gap-tomlib-1.2.9/data/tmhsmcl.tom.gz: gzip compressed data, was "tmhsmcl.tom", last modified: Wed Oct 23 13:56:20 2019, from Unix, original size modulo 2^32 809991 data/gap-tomlib-1.2.9/data/tms10m1.tom.gz: gzip compressed data, was "tms10m1.tom", last modified: Wed Oct 23 13:56:20 2019, from Unix, original size modulo 2^32 901842 data/gap-tomlib-1.2.9/data/tma13.tom.gz: gzip compressed data, was "tma13.tom", last modified: Wed Oct 23 13:56:20 2019, from Unix, original size modulo 2^32 3597405 data/gap-tomlib-1.2.9/data/tm2s62m6.tom.gz: gzip compressed data, was "tm2s62m6.tom", last modified: Wed Oct 23 13:56:20 2019, from Unix, original size modulo 2^32 1089239 data/gap-tomlib-1.2.9/data/tm3d42.tom.gz: gzip compressed data, was "tm3d42.tom", last modified: Wed Oct 23 13:56:20 2019, from Unix, original size modulo 2^32 3450483 data/gap-tomlib-1.2.9/data/tmhsmclm.tom.gz: gzip compressed data, was "tmhsmclm.tom", last modified: Wed Oct 23 13:56:20 2019, from Unix, original size modulo 2^32 669417 data/gap-tomlib-1.2.9/data/tmo8m2.tom.gz: gzip compressed data, was "tmo8m2.tom", last modified: Wed Oct 23 13:56:20 2019, from Unix, original size modulo 2^32 10468146 data/gap-tomlib-1.2.9/data/tmlin2.tom.gz: gzip compressed data, was "tmlin2.tom", last modified: Wed Oct 23 13:56:20 2019, from Unix, original size modulo 2^32 195284 data/gap-tomlib-1.2.9/data/tmalt1.tom.gz: gzip compressed data, was "tmalt1.tom", last modified: Wed Oct 23 13:56:20 2019, from Unix, original size modulo 2^32 623058 data/gap-tomlib-1.2.9/data/tmlinoa.tom.gz: gzip compressed data, was "tmlinoa.tom", last modified: Wed Oct 23 13:56:20 2019, from Unix, original size modulo 2^32 431417 data/gap-tomlib-1.2.9/data/tmunita.tom.gz: gzip compressed data, was "tmunita.tom", last modified: Wed Oct 23 13:56:20 2019, from Unix, original size modulo 2^32 963981 data/gap-tomlib-1.2.9/data/tmco3.tom.gz: gzip compressed data, was "tmco3.tom", last modified: Wed Oct 23 13:56:20 2019, from Unix, original size modulo 2^32 2206518 data/gap-tomlib-1.2.9/data/tmo8p2m4.tom.gz: gzip compressed data, was "tmo8p2m4.tom", last modified: Wed Oct 23 13:56:20 2019, from Unix, original size modulo 2^32 32402668 data/gap-tomlib-1.2.9/data/tmo82mx.tom.gz: gzip compressed data, was "tmo82mx.tom", last modified: Wed Oct 23 13:56:20 2019, from Unix, original size modulo 2^32 739336 data/gap-tomlib-1.2.9/debian/README.Debian: ASCII text data/gap-tomlib-1.2.9/debian/changelog: ASCII text data/gap-tomlib-1.2.9/debian/control: ASCII text data/gap-tomlib-1.2.9/debian/copyright: UTF-8 Unicode text data/gap-tomlib-1.2.9/debian/dirs: ASCII text data/gap-tomlib-1.2.9/debian/gap-table-of-marks.doc-base.tomlib: UTF-8 Unicode text data/gap-tomlib-1.2.9/debian/links: ASCII text data/gap-tomlib-1.2.9/debian/patches/add-tomdiff.tex: unified diff output, ASCII text data/gap-tomlib-1.2.9/debian/patches/series: ASCII text data/gap-tomlib-1.2.9/debian/rules: a /usr/bin/make -f script, ASCII text executable data/gap-tomlib-1.2.9/debian/source/format: ASCII text data/gap-tomlib-1.2.9/debian/watch: ASCII text data/gap-tomlib-1.2.9/.pc/.version: ASCII text data/gap-tomlib-1.2.9/.pc/.quilt_patches: ASCII text data/gap-tomlib-1.2.9/.pc/.quilt_series: ASCII text data/gap-tomlib-1.2.9/.pc/applied-patches: ASCII text data/gap-tomlib-1.2.9/.pc/add-tomdiff.tex/doc/tomdiff.tex: empty