unpacking source archive /nix/store/hkajyidh0g5q13z8jch4by8kydv2g2r0-aterm-2.5.tar.gz aterm-2.5/ aterm-2.5/README aterm-2.5/meta-build.m4 aterm-2.5/configure.ac aterm-2.5/aclocal.m4 aterm-2.5/Makefile.am aterm-2.5/Makefile.in aterm-2.5/aterm.pc.in aterm-2.5/aterm.spec.in aterm-2.5/Makefile.meta aterm-2.5/Makefile.top.meta aterm-2.5/configure aterm-2.5/AUTHORS aterm-2.5/COPYING aterm-2.5/ChangeLog aterm-2.5/INSTALL aterm-2.5/NEWS aterm-2.5/compile aterm-2.5/config.guess aterm-2.5/config.sub aterm-2.5/depcomp aterm-2.5/install-sh aterm-2.5/ltmain.sh aterm-2.5/missing aterm-2.5/reconf aterm-2.5/Doxyfile.meta aterm-2.5/aterm.spec aterm-2.5/aterm/ aterm-2.5/aterm/abool.h aterm-2.5/aterm/afun.h aterm-2.5/aterm/aterm1.h aterm-2.5/aterm/aterm2.h aterm-2.5/aterm/atypes.h aterm-2.5/aterm/deprecated.h aterm-2.5/aterm/encoding.h aterm-2.5/aterm/_afun.h aterm-2.5/aterm/_aterm.h aterm-2.5/aterm/bafio.h aterm-2.5/aterm/byteio.h aterm-2.5/aterm/debug.h aterm-2.5/aterm/gc.h aterm-2.5/aterm/list.h aterm-2.5/aterm/make.h aterm-2.5/aterm/md5.h aterm-2.5/aterm/memory.h aterm-2.5/aterm/tafio.h aterm-2.5/aterm/util.h aterm-2.5/aterm/version.h aterm-2.5/aterm/Makefile.am aterm-2.5/aterm/Makefile.in aterm-2.5/aterm/afun.c aterm-2.5/aterm/aterm.c aterm-2.5/aterm/bafio.c aterm-2.5/aterm/byteio.c aterm-2.5/aterm/gc.c aterm-2.5/aterm/hash.c aterm-2.5/aterm/list.c aterm-2.5/aterm/make.c aterm-2.5/aterm/md5c.c aterm-2.5/aterm/memory.c aterm-2.5/aterm/tafio.c aterm-2.5/aterm/version.c aterm-2.5/utils/ aterm-2.5/utils/Makefile.am aterm-2.5/utils/Makefile.in aterm-2.5/utils/atdiff.c aterm-2.5/utils/atrmannos.c aterm-2.5/utils/atsum.c aterm-2.5/utils/baffle.c aterm-2.5/utils/dicttoc.c aterm-2.5/utils/termsize.c aterm-2.5/utils/baf2trm aterm-2.5/utils/baf2taf aterm-2.5/utils/trm2baf aterm-2.5/utils/trm2taf aterm-2.5/utils/taf2trm aterm-2.5/utils/taf2baf aterm-2.5/utils/trmcat aterm-2.5/test/ aterm-2.5/test/Makefile.am aterm-2.5/test/Makefile.in aterm-2.5/test/fib.c aterm-2.5/test/primes.c aterm-2.5/test/randgen.c aterm-2.5/test/stress.c aterm-2.5/test/termstats.c aterm-2.5/test/error.trm aterm-2.5/test/terms.dict aterm-2.5/test/termstats.sh aterm-2.5/test/test.trms aterm-2.5/test/vararg1.c aterm-2.5/test/vararg2.c aterm-2.5/test/vararg3.c aterm-2.5/doc/ aterm-2.5/doc/Makefile.am aterm-2.5/doc/Makefile.in aterm-2.5/doc/append.ltx aterm-2.5/doc/at.ltx aterm-2.5/doc/aterm.ltx aterm-2.5/doc/corrections.ltx aterm-2.5/doc/corrections2.ltx aterm-2.5/doc/gtld-at.ltx aterm-2.5/doc/manual.ltx aterm-2.5/doc/thesis.bib aterm-2.5/doc/encoding.fig aterm-2.5/doc/header.fig aterm-2.5/doc/hierarchy.fig aterm-2.5/doc/sharing.eps aterm-2.5/doc/speauth.cls aterm-2.5/doc/spedoc.tex aterm-2.5/doc/general-make aterm-2.5/doc/at.ps aterm-2.5/doc/manual.ps aterm-2.5/doc/appl-enc.fig aterm-2.5/doc/examples/ aterm-2.5/doc/examples/Makefile.am aterm-2.5/doc/examples/Makefile.in aterm-2.5/doc/examples/README.txt aterm-2.5/doc/examples/app1.c aterm-2.5/doc/examples/app2.c aterm-2.5/doc/examples/app3.c aterm-2.5/doc/examples/init.c aterm-2.5/doc/examples/make.c aterm-2.5/doc/examples/match.c aterm-2.5/doc/examples/plac.c aterm-2.5/doc/examples/prot.c aterm-2.5/doc/spec/ aterm-2.5/doc/spec/Makefile.am aterm-2.5/doc/spec/Makefile.in aterm-2.5/doc/spec/ASF+SDF-options.sty aterm-2.5/doc/spec/ASF+SDF.sty aterm-2.5/doc/spec/ATerm.mtx aterm-2.5/doc/spec/ATerm.syn aterm-2.5/doc/spec/Makefile.sources aterm-2.5/doc/spec/Makefile.tolatex aterm-2.5/doc/spec/abbreviations.ll aterm-2.5/doc/spec/import-graph.tex aterm-2.5/doc/spec/listing.ltx aterm-2.5/doc/spec/module-names.ltx aterm-2.5/doc/spec/modules.ltx source root is aterm-2.5