data/minlog-4.0.99.20100221/minlog-mode.el: ASCII text data/minlog-4.0.99.20100221/Makefile: makefile script, ASCII text data/minlog-4.0.99.20100221/build.log: UTF-8 Unicode text, with very long lines data/minlog-4.0.99.20100221/misc/norm.scm: ASCII text data/minlog-4.0.99.20100221/modules/type-inf.scm: ASCII text data/minlog-4.0.99.20100221/modules/diatup.scm: ASCII text data/minlog-4.0.99.20100221/doc/Makefile: makefile script, ASCII text data/minlog-4.0.99.20100221/doc/manual.txt: Lisp/Scheme program, ASCII text data/minlog-4.0.99.20100221/doc/minlog.mac: ASCII text data/minlog-4.0.99.20100221/doc/acknow.tex: ASCII text data/minlog-4.0.99.20100221/doc/notation.sty: LaTeX document, ASCII text data/minlog-4.0.99.20100221/doc/tutor.tex: LaTeX 2e document, ASCII text data/minlog-4.0.99.20100221/doc/infrule.sty: LaTeX document, ASCII text data/minlog-4.0.99.20100221/doc/mpcref.tex: LaTeX 2e document, ASCII text data/minlog-4.0.99.20100221/doc/mlcf.tex: LaTeX 2e document, ASCII text data/minlog-4.0.99.20100221/doc/ref.tex: LaTeX 2e document, ASCII text data/minlog-4.0.99.20100221/doc/reflection_manual.tex: LaTeX 2e document, ASCII text data/minlog-4.0.99.20100221/doc/bussproofs.sty: LaTeX document, ASCII text data/minlog-4.0.99.20100221/doc/minlog.bib: ASCII text data/minlog-4.0.99.20100221/lib/list.mpc: ASCII text data/minlog-4.0.99.20100221/lib/nat.scm: ASCII text data/minlog-4.0.99.20100221/lib/list.scm: ASCII text data/minlog-4.0.99.20100221/lib/tsil.scm: ASCII text data/minlog-4.0.99.20100221/lib/natinf.scm: ASCII text data/minlog-4.0.99.20100221/lib/minpr.scm: ASCII text data/minlog-4.0.99.20100221/lib/minpr_gen.scm: ASCII text data/minlog-4.0.99.20100221/lib/exc.scm: ASCII text data/minlog-4.0.99.20100221/lib/tensor.scm: ASCII text data/minlog-4.0.99.20100221/lib/listrev.scm: ASCII text data/minlog-4.0.99.20100221/lib/numbers.scm: ASCII text data/minlog-4.0.99.20100221/lib/nat2.scm: ASCII text data/minlog-4.0.99.20100221/lib/nat.mpc: ASCII text data/minlog-4.0.99.20100221/lib/realsimp.scm: ASCII text data/minlog-4.0.99.20100221/examples/diatup/IntegerRoot.scm: ASCII text data/minlog-4.0.99.20100221/examples/diatup/DicksonTwo.scm: ASCII text data/minlog-4.0.99.20100221/examples/diatup/BinTapeBis.scm: ASCII text data/minlog-4.0.99.20100221/examples/diatup/fibonacci/newatr.scm: ASCII text data/minlog-4.0.99.20100221/examples/diatup/fibonacci/fib-DIA.scm: ASCII text data/minlog-4.0.99.20100221/examples/diatup/fibonacci/fib-ATR.scm: ASCII text data/minlog-4.0.99.20100221/examples/diatup/HeredExtEq/DoubleSum.scm: ASCII text, with CRLF line terminators data/minlog-4.0.99.20100221/examples/diatup/HeredExtEq/SimpleSum.scm: ASCII text, with CRLF line terminators data/minlog-4.0.99.20100221/examples/diatup/HeredExtEq/TripleSum.scm: ASCII text, with CRLF line terminators data/minlog-4.0.99.20100221/examples/diatup/HeredExtEq/heeq-def.scm: ASCII text data/minlog-4.0.99.20100221/examples/diatup/IndZeroTest.scm: ASCII text data/minlog-4.0.99.20100221/examples/diatup/BinTape.scm: ASCII text data/minlog-4.0.99.20100221/examples/diatup/NonExStabTest.scm: ASCII text data/minlog-4.0.99.20100221/examples/diatup/TytupAssoc.scm: ASCII text data/minlog-4.0.99.20100221/examples/diatup/hsh-Berger.scm: ASCII text data/minlog-4.0.99.20100221/examples/diatup/IndAxiom/IND-pureEx.scm: ASCII text, with CRLF line terminators data/minlog-4.0.99.20100221/examples/diatup/IndAxiom/IND-qfr.scm: ASCII text, with CRLF line terminators data/minlog-4.0.99.20100221/examples/diatup/IndAxiom/IndAxSrc.scm: ASCII text, with CRLF line terminators data/minlog-4.0.99.20100221/examples/diatup/IndAxiom/IND-exall.scm: ASCII text, with CRLF line terminators data/minlog-4.0.99.20100221/examples/fan/fanwklu.scm: ASCII text data/minlog-4.0.99.20100221/examples/Makefile: makefile script, ASCII text data/minlog-4.0.99.20100221/examples/quant/los.scm: ASCII text data/minlog-4.0.99.20100221/examples/quant/Makefile: ASCII text data/minlog-4.0.99.20100221/examples/quant/quant.scm: ASCII text data/minlog-4.0.99.20100221/examples/quant/README: ASCII text data/minlog-4.0.99.20100221/examples/quant/quant.save: ASCII text data/minlog-4.0.99.20100221/examples/quant/hofmann.save: ASCII text data/minlog-4.0.99.20100221/examples/quant/hofmann.scm: ASCII text data/minlog-4.0.99.20100221/examples/quant/lnf.save: ASCII text data/minlog-4.0.99.20100221/examples/quant/orevkov.scm: ASCII text data/minlog-4.0.99.20100221/examples/quant/orevkov.save: ASCII text data/minlog-4.0.99.20100221/examples/quant/lnf.scm: ASCII text data/minlog-4.0.99.20100221/examples/pruning/maxseg.scm: ASCII text data/minlog-4.0.99.20100221/examples/pruning/align.scm: ASCII text data/minlog-4.0.99.20100221/examples/classical/Makefile: ASCII text data/minlog-4.0.99.20100221/examples/classical/root.save: ASCII text data/minlog-4.0.99.20100221/examples/classical/dickson/dickson_lemma2.scm: ASCII text data/minlog-4.0.99.20100221/examples/classical/dickson/dickson.tac: ASCII text data/minlog-4.0.99.20100221/examples/classical/dickson/dickson_gen.scm: ASCII text data/minlog-4.0.99.20100221/examples/classical/dickson/dickson2gen.scm: ASCII text data/minlog-4.0.99.20100221/examples/classical/dickson/dickson_lemma1.scm: ASCII text data/minlog-4.0.99.20100221/examples/classical/hsh.scm: ASCII text data/minlog-4.0.99.20100221/examples/classical/gcd/gcd.scm: ASCII text data/minlog-4.0.99.20100221/examples/classical/gcd/gcd-a.scm: ASCII text data/minlog-4.0.99.20100221/examples/classical/gcd/gcd_minpr.scm: UTF-8 Unicode text data/minlog-4.0.99.20100221/examples/classical/gcd/gcd-d.scm: ASCII text data/minlog-4.0.99.20100221/examples/classical/gcd/gcd-gind.scm: ASCII text data/minlog-4.0.99.20100221/examples/classical/wftest.save: ASCII text data/minlog-4.0.99.20100221/examples/classical/combinatorics/booleantape.scm: ASCII text data/minlog-4.0.99.20100221/examples/classical/combinatorics/tape.scm: ASCII text data/minlog-4.0.99.20100221/examples/classical/combinatorics/pigeonhole.scm: ASCII text data/minlog-4.0.99.20100221/examples/classical/surj.scm: ASCII text data/minlog-4.0.99.20100221/examples/classical/wftest.scm: ASCII text data/minlog-4.0.99.20100221/examples/classical/root.scm: ASCII text data/minlog-4.0.99.20100221/examples/fibonacci/fib.scm: ASCII text data/minlog-4.0.99.20100221/examples/fibonacci/fib-functional.mpc: ASCII text data/minlog-4.0.99.20100221/examples/fibonacci/fibconstr.scm: ASCII text data/minlog-4.0.99.20100221/examples/fibonacci/equal-add.mpc: ASCII text data/minlog-4.0.99.20100221/examples/fibonacci/fib.mpc: ASCII text data/minlog-4.0.99.20100221/examples/mpc/quant.mpc: ASCII text data/minlog-4.0.99.20100221/examples/mpc/nat3.scm: ASCII text data/minlog-4.0.99.20100221/examples/mpc/quant3.mpc: ASCII text data/minlog-4.0.99.20100221/examples/mpc/nat4.mpc: ASCII text data/minlog-4.0.99.20100221/examples/mpc/list1.mpc: ASCII text data/minlog-4.0.99.20100221/examples/mpc/nat1.mpc: ASCII text data/minlog-4.0.99.20100221/examples/mpc/quant3.scm: ASCII text data/minlog-4.0.99.20100221/examples/mpc/nat4.scm: ASCII text data/minlog-4.0.99.20100221/examples/mpc/quant2.scm: ASCII text data/minlog-4.0.99.20100221/examples/mpc/nat1.scm: ASCII text data/minlog-4.0.99.20100221/examples/mpc/list2.mpc: ASCII text data/minlog-4.0.99.20100221/examples/mpc/nat0.scm: ASCII text data/minlog-4.0.99.20100221/examples/mpc/prop.mpc: ASCII text data/minlog-4.0.99.20100221/examples/mpc/quant1.scm: ASCII text data/minlog-4.0.99.20100221/examples/mpc/quant1.mpc: ASCII text data/minlog-4.0.99.20100221/examples/mpc/nat2.scm: ASCII text data/minlog-4.0.99.20100221/examples/mpc/quant2.mpc: ASCII text data/minlog-4.0.99.20100221/examples/mpc/nat2.mpc: ASCII text data/minlog-4.0.99.20100221/examples/mpc/nat3.mpc: ASCII text data/minlog-4.0.99.20100221/examples/hounif/Makefile: ASCII text data/minlog-4.0.99.20100221/examples/hounif/nipkow.scm: ASCII text data/minlog-4.0.99.20100221/examples/hounif/nipkow.tac: ASCII text data/minlog-4.0.99.20100221/examples/hounif/nipkow.save: ASCII text data/minlog-4.0.99.20100221/examples/tutorial.scm: ASCII text data/minlog-4.0.99.20100221/examples/warning.txt: ASCII text data/minlog-4.0.99.20100221/examples/bar/Makefile: makefile script, ASCII text data/minlog-4.0.99.20100221/examples/bar/higman01.scm: ASCII text data/minlog-4.0.99.20100221/examples/bar/higman01.save: ASCII text, with very long lines data/minlog-4.0.99.20100221/examples/bar/bar.scm: ASCII text data/minlog-4.0.99.20100221/examples/bar/higman-finite.scm: ASCII text data/minlog-4.0.99.20100221/examples/bar/bar.save: ASCII text data/minlog-4.0.99.20100221/examples/test.save: ASCII text data/minlog-4.0.99.20100221/examples/prop/Makefile: ASCII text data/minlog-4.0.99.20100221/examples/prop/prop.scm: ASCII text data/minlog-4.0.99.20100221/examples/prop/prop.save: ASCII text data/minlog-4.0.99.20100221/examples/normtest/normtest.scm: ASCII text data/minlog-4.0.99.20100221/examples/ordinals/FAN/wklfan.scm: UTF-8 Unicode text data/minlog-4.0.99.20100221/examples/ordinals/FAN/positive.scm: UTF-8 Unicode text data/minlog-4.0.99.20100221/examples/ordinals/FAN/bar.scm: UTF-8 Unicode text data/minlog-4.0.99.20100221/examples/ordinals/FAN/ucomp.scm: UTF-8 Unicode text data/minlog-4.0.99.20100221/examples/ordinals/nat.scm: UTF-8 Unicode text data/minlog-4.0.99.20100221/examples/ordinals/e0.zip: Zip archive data, at least v2.0 to extract data/minlog-4.0.99.20100221/examples/ordinals/reflection_rationals.scm: UTF-8 Unicode text data/minlog-4.0.99.20100221/examples/ordinals/hao_suc.scm: UTF-8 Unicode text data/minlog-4.0.99.20100221/examples/ordinals/reflection_thms.scm: ASCII text data/minlog-4.0.99.20100221/examples/ordinals/natnum.scm: UTF-8 Unicode text data/minlog-4.0.99.20100221/examples/ordinals/pao.zip: Zip archive data, at least v2.0 to extract data/minlog-4.0.99.20100221/examples/ordinals/reflection_numbers.scm: UTF-8 Unicode text data/minlog-4.0.99.20100221/examples/ordinals/hao_term.scm: UTF-8 Unicode text data/minlog-4.0.99.20100221/examples/ordinals/hao_relations.scm: UTF-8 Unicode text, with very long lines data/minlog-4.0.99.20100221/examples/ordinals/reflection_alpha.scm: UTF-8 Unicode text data/minlog-4.0.99.20100221/examples/ordinals/ordinals.scm: ASCII text data/minlog-4.0.99.20100221/examples/ordinals/hao_cnf.scm: UTF-8 Unicode text data/minlog-4.0.99.20100221/examples/ordinals/ring.scm: UTF-8 Unicode text data/minlog-4.0.99.20100221/examples/ordinals/reflection_nat.scm: UTF-8 Unicode text data/minlog-4.0.99.20100221/examples/ordinals/reflection.scm: UTF-8 Unicode text data/minlog-4.0.99.20100221/examples/ordinals/hao.scm: UTF-8 Unicode text data/minlog-4.0.99.20100221/examples/ordinals/boolean.scm: UTF-8 Unicode text data/minlog-4.0.99.20100221/examples/ordinals/reflection_numbers_thms.scm: UTF-8 Unicode text data/minlog-4.0.99.20100221/examples/arith/Makefile: ASCII text data/minlog-4.0.99.20100221/examples/arith/bundeswett.scm: ASCII text data/minlog-4.0.99.20100221/examples/arith/sqrttwo.scm: ASCII text data/minlog-4.0.99.20100221/examples/arith/quotrem/Makefile: makefile script, ASCII text data/minlog-4.0.99.20100221/examples/arith/quotrem/quotrem-ex.scm: ASCII text data/minlog-4.0.99.20100221/examples/arith/quotrem/quotrem-ex.save: ASCII text data/minlog-4.0.99.20100221/examples/arith/quotrem/pair.tac: ASCII text data/minlog-4.0.99.20100221/examples/arith/realsqrttwo.scm: ASCII text data/minlog-4.0.99.20100221/examples/warshall/warshall.mpc: ASCII text data/minlog-4.0.99.20100221/examples/warshall/Makefile: ASCII text data/minlog-4.0.99.20100221/examples/warshall/warshall.scm: ASCII text, with very long lines data/minlog-4.0.99.20100221/examples/warshall/warshall.save: ASCII text data/minlog-4.0.99.20100221/examples/warshall/lemmas.mpc: ASCII text data/minlog-4.0.99.20100221/examples/Schueler/germanise.scm: UTF-8 Unicode text data/minlog-4.0.99.20100221/examples/Schueler/probestudstart.scm: UTF-8 Unicode text data/minlog-4.0.99.20100221/examples/Schueler/probestud.scm: UTF-8 Unicode text data/minlog-4.0.99.20100221/examples/dc/Makefile: makefile script, ASCII text data/minlog-4.0.99.20100221/examples/dc/dc-first.scm: ASCII text data/minlog-4.0.99.20100221/examples/dc/dc-first.save: ASCII text data/minlog-4.0.99.20100221/examples/tait/taitScottPartial.scm: ASCII text data/minlog-4.0.99.20100221/examples/tait/diplomarbeit_schlenker/NT.scm: ASCII text data/minlog-4.0.99.20100221/examples/tait/diplomarbeit_schlenker/trivial.scm: ASCII text data/minlog-4.0.99.20100221/examples/tait/diplomarbeit_schlenker/initiate.scm: ASCII text data/minlog-4.0.99.20100221/examples/tait/diplomarbeit_schlenker/proofAxiomsPart1.scm: ASCII text data/minlog-4.0.99.20100221/examples/tait/diplomarbeit_schlenker/auxLem3.scm: ASCII text data/minlog-4.0.99.20100221/examples/tait/diplomarbeit_schlenker/defsNT.scm: ASCII text data/minlog-4.0.99.20100221/examples/tait/diplomarbeit_schlenker/auxNT_SHORT.scm: ASCII text data/minlog-4.0.99.20100221/examples/tait/diplomarbeit_schlenker/Lem2.scm: ASCII text data/minlog-4.0.99.20100221/examples/tait/diplomarbeit_schlenker/proofAxiomsGlobal_SHORT.scm: ASCII text data/minlog-4.0.99.20100221/examples/tait/diplomarbeit_schlenker/auxGlobal_SHORT.scm: ASCII text data/minlog-4.0.99.20100221/examples/tait/diplomarbeit_schlenker/omega.scm: ASCII text data/minlog-4.0.99.20100221/examples/tait/diplomarbeit_schlenker/auxNT.scm: ASCII text data/minlog-4.0.99.20100221/examples/tait/diplomarbeit_schlenker/auxLem1.scm: ASCII text data/minlog-4.0.99.20100221/examples/tait/diplomarbeit_schlenker/tait.scm: ASCII text data/minlog-4.0.99.20100221/examples/tait/diplomarbeit_schlenker/defsAxioms.scm: ASCII text data/minlog-4.0.99.20100221/examples/tait/diplomarbeit_schlenker/auxLem1_SHORT.scm: ASCII text data/minlog-4.0.99.20100221/examples/tait/diplomarbeit_schlenker/auxLem3_SHORT.scm: ASCII text data/minlog-4.0.99.20100221/examples/tait/diplomarbeit_schlenker/proofAxiomsGlobal.scm: ASCII text data/minlog-4.0.99.20100221/examples/tait/diplomarbeit_schlenker/defsPred.scm: ASCII text data/minlog-4.0.99.20100221/examples/tait/diplomarbeit_schlenker/subst_Joachimski_SHORT.scm: ASCII text data/minlog-4.0.99.20100221/examples/tait/diplomarbeit_schlenker/auxGlobal.scm: ASCII text data/minlog-4.0.99.20100221/examples/tait/diplomarbeit_schlenker/proofAxiomsPart2.scm: ASCII text data/minlog-4.0.99.20100221/examples/tait/diplomarbeit_schlenker/README.txt: ASCII text, with very long lines data/minlog-4.0.99.20100221/examples/tait/diplomarbeit_schlenker/Lem1.scm: ASCII text data/minlog-4.0.99.20100221/examples/tait/diplomarbeit_schlenker/defsLamCalc.scm: ASCII text data/minlog-4.0.99.20100221/examples/tait/diplomarbeit_schlenker/subst_Joachimski.scm: ASCII text data/minlog-4.0.99.20100221/examples/tait/diplomarbeit_schlenker/Lem3.scm: ASCII text data/minlog-4.0.99.20100221/examples/tait/diplomarbeit_schlenker/auxSC.scm: ASCII text data/minlog-4.0.99.20100221/examples/tait/diplomarbeit_schlenker/defsSubst.scm: ASCII text data/minlog-4.0.99.20100221/examples/tait/diplomarbeit_schlenker/defsAxiomsSpecial.scm: ASCII text data/minlog-4.0.99.20100221/examples/tait/taitRun.scm: ASCII text data/minlog-4.0.99.20100221/examples/tait/taitScott.scm: ASCII text data/minlog-4.0.99.20100221/examples/tait/dbrealrs.scm: ASCII text data/minlog-4.0.99.20100221/examples/tait/sn.scm: ASCII text data/minlog-4.0.99.20100221/examples/Makefile.template: ASCII text data/minlog-4.0.99.20100221/examples/reflection.scm: ASCII text data/minlog-4.0.99.20100221/examples/dijkstra/count.scm: ASCII text data/minlog-4.0.99.20100221/examples/dijkstra/count.save: ASCII text data/minlog-4.0.99.20100221/examples/dijkstra/Makefile: ASCII text data/minlog-4.0.99.20100221/examples/dijkstra/wf.scm: ASCII text data/minlog-4.0.99.20100221/examples/dijkstra/example.scm: ASCII text data/minlog-4.0.99.20100221/examples/dijkstra/pick.scm: ASCII text data/minlog-4.0.99.20100221/examples/dijkstra/dijkstra.scm: ASCII text data/minlog-4.0.99.20100221/examples/dijkstra/dijkstra.save: ASCII text data/minlog-4.0.99.20100221/examples/train/int.scm: ASCII text, with CRLF line terminators data/minlog-4.0.99.20100221/examples/train/index2int.scm: ASCII text, with CRLF line terminators data/minlog-4.0.99.20100221/examples/train/pos.scm: ASCII text, with CRLF line terminators data/minlog-4.0.99.20100221/examples/train/train.scm: Generic INItialization configuration [ Tundef]\015 data/minlog-4.0.99.20100221/examples/train/index.scm: ASCII text, with CRLF line terminators data/minlog-4.0.99.20100221/examples/analysis/cont.scm: ASCII text data/minlog-4.0.99.20100221/examples/analysis/real.scm: ASCII text data/minlog-4.0.99.20100221/examples/analysis/extraction.scm: ASCII text, with very long lines data/minlog-4.0.99.20100221/examples/analysis/simpreal.scm: ASCII text data/minlog-4.0.99.20100221/examples/test.scm: ASCII text data/minlog-4.0.99.20100221/src/mpc.scm: ASCII text data/minlog-4.0.99.20100221/src/init.scm: ASCII text data/minlog-4.0.99.20100221/src/Makefile: makefile script, ASCII text data/minlog-4.0.99.20100221/src/list.scm: ASCII text data/minlog-4.0.99.20100221/src/prologue.scm: ASCII text data/minlog-4.0.99.20100221/src/term.scm: ASCII text data/minlog-4.0.99.20100221/src/minlog: Bourne-Again shell script, ASCII text executable data/minlog-4.0.99.20100221/src/algtest.mpc: ASCII text data/minlog-4.0.99.20100221/src/etsd.scm: ASCII text data/minlog-4.0.99.20100221/src/mpc: ASCII text data/minlog-4.0.99.20100221/src/typ.scm: ASCII text data/minlog-4.0.99.20100221/src/pconst.scm: ASCII text data/minlog-4.0.99.20100221/src/prop.scm: ASCII text data/minlog-4.0.99.20100221/src/run-mpc.scm: ASCII text data/minlog-4.0.99.20100221/src/logical.scm: ASCII text data/minlog-4.0.99.20100221/src/pproof.scm: ASCII text data/minlog-4.0.99.20100221/src/ets.scm: ASCII text data/minlog-4.0.99.20100221/src/proof.scm: ASCII text data/minlog-4.0.99.20100221/src/gen-app.scm: ASCII text data/minlog-4.0.99.20100221/src/lr-dvr.scm: ASCII text data/minlog-4.0.99.20100221/src/grammar.scm: ASCII text data/minlog-4.0.99.20100221/src/minitab.scm: ASCII text, with very long lines data/minlog-4.0.99.20100221/src/log.txt: ASCII text data/minlog-4.0.99.20100221/src/atr.scm: ASCII text data/minlog-4.0.99.20100221/src/lalr.scm: ASCII text data/minlog-4.0.99.20100221/src/formula.scm: ASCII text data/minlog-4.0.99.20100221/src/var.scm: ASCII text data/minlog-4.0.99.20100221/src/axiom.scm: ASCII text data/minlog-4.0.99.20100221/src/unicode.scm: UTF-8 Unicode text data/minlog-4.0.99.20100221/src/todo.scm: ASCII text data/minlog-4.0.99.20100221/src/psym.scm: ASCII text data/minlog-4.0.99.20100221/src/pp.scm: ASCII text data/minlog-4.0.99.20100221/src/lnf.scm: ASCII text data/minlog-4.0.99.20100221/src/pp-sexp.scm: ASCII text data/minlog-4.0.99.20100221/src/minlog.el: Lisp/Scheme program, ASCII text data/minlog-4.0.99.20100221/src/welcome.scm: ASCII text data/minlog-4.0.99.20100221/src/boole.scm: ASCII text data/minlog-4.0.99.20100221/debian/changelog: ASCII text data/minlog-4.0.99.20100221/debian/compat: ASCII text data/minlog-4.0.99.20100221/debian/control: ASCII text data/minlog-4.0.99.20100221/debian/copyright: ASCII text data/minlog-4.0.99.20100221/debian/minlog.1: troff or preprocessor input, ASCII text data/minlog-4.0.99.20100221/debian/minlog.doc-base: ASCII text data/minlog-4.0.99.20100221/debian/rules: makefile script, ASCII text data/minlog-4.0.99.20100221/debian/source/format: ASCII text data/minlog-4.0.99.20100221/debian/watch: ASCII text data/minlog-4.0.99.20100221/.pc/.version: ASCII text data/minlog-4.0.99.20100221/.pc/.quilt_patches: ASCII text data/minlog-4.0.99.20100221/.pc/.quilt_series: ASCII text data/minlog-4.0.99.20100221/.pc/applied-patches: empty