--- /tmp/cafeobj-1.6.0-2vd8g2war/debian/cafeobj_1.6.0-2_amd64.deb
+++ cafeobj_1.6.0-2_amd64.deb
├── file list
│ @@ -1,3 +1,3 @@
│  -rw-r--r--   0        0        0        4 2020-02-18 20:27:40.000000 debian-binary
│  -rw-r--r--   0        0        0     2752 2020-02-18 20:27:40.000000 control.tar.xz
│ --rw-r--r--   0        0        0 12652368 2020-02-18 20:27:40.000000 data.tar.xz
│ +-rw-r--r--   0        0        0 12659188 2020-02-18 20:27:40.000000 data.tar.xz
├── control.tar.xz
│ ├── control.tar
│ │ ├── ./md5sums
│ │ │ ├── ./md5sums
│ │ │ │┄ Files differ
├── data.tar.xz
│ ├── data.tar
│ │ ├── ./usr/lib/cafeobj-1.6/sbcl/cafeobj.sbcl
│ │ │ ├── strings --all --bytes=8 {}
│ │ │ │ @@ -13549,15 +13549,15 @@
│ │ │ │  CLEAR-ALL-INDEX-TABLES
│ │ │ │  ORIGINAL-INPUT
│ │ │ │  PRINT-OUT-SORT
│ │ │ │  SOME-EQL-FORM?
│ │ │ │  INSERT-VAL
│ │ │ │  !LOOK-UP
│ │ │ │  TERM$IS-VARIABLE?
│ │ │ │ -2020 Feb 18 Tue 21:31:41 GMT
│ │ │ │ +2021 Oct 12 Tue 2:38:09 GMT
│ │ │ │  -CAFEOBJ-LOAD-TIME-
│ │ │ │  GET-CONTEXT-NAME-EXTENDED
│ │ │ │  %MACRO-RHS
│ │ │ │  MAKE-TRAM-RULES
│ │ │ │  CL-FOR-SUB
│ │ │ │  RESET-PARSE-TIME
│ │ │ │  MEMO-DECL
│ │ │ │ @@ -39044,18 +39044,14 @@
│ │ │ │  ,  missing "->"
│ │ │ │  in view mapping, expecting "sort", "hsort", "op", "bop" or "var", but encoutered 
│ │ │ │  in view body, for bop 
│ │ │ │  beginning of pattern: 
│ │ │ │  , mod-ref = 
│ │ │ │  fmt$:op[~a]
│ │ │ │  unknown type of selectors 
│ │ │ │ -fmt$[~a]
│ │ │ │ -the target term : 
│ │ │ │ -isn't proper in the context : 
│ │ │ │ -please re-`start' with supplying new one!
│ │ │ │   is given.
│ │ │ │  Mismatching number of arguments for op 
│ │ │ │  , shold be 
│ │ │ │  #<MacroDecl: 
│ │ │ │   has no function definition.
│ │ │ │   has no bound value.
│ │ │ │  AST evaluator accepted an ast 
│ │ │ │ @@ -39206,16 +39202,20 @@
│ │ │ │  Unsupported type of sort 
│ │ │ │  Sort name 
│ │ │ │   is reserfed for the system, sorry.
│ │ │ │  , new-name = 
│ │ │ │  You can not specify the order with built in sort 
│ │ │ │   is illegal for sort name.
│ │ │ │  sort membership: no such sort 
│ │ │ │ +fmt$[~a]
│ │ │ │  -- shifting focus back to previous context
│ │ │ │  -- shifiting focus back to previous context
│ │ │ │ +the target term : 
│ │ │ │ +isn't proper in the context : 
│ │ │ │ +please re-`start' with supplying new one!
│ │ │ │  commutativity theory is meaning-less for non-binary operator 
│ │ │ │  , ignored
│ │ │ │  associativity theory is meaning-less for non-binary operator 
│ │ │ │  invalid identity term 
│ │ │ │  rank of method 
│ │ │ │  does not allow it to be associative, ignoring `assoc' attribute.
│ │ │ │  variation in identity of method 
│ │ │ │ @@ -44465,37 +44465,37 @@
│ │ │ │     $ ( 0
│ │ │ │  /build/cafeobj-EjDZPl/cafeobj-1.6.0/comlib/string.lisp
│ │ │ │  SYS:CONTRIB;SB-POSIX;STRTOD.LISP.NEWEST
│ │ │ │  OBJECT41
│ │ │ │  OBJECT12
│ │ │ │  OBJECT16
│ │ │ │  OBJECT10
│ │ │ │ +/build/cafeobj-EjDZPl/cafeobj-1.6.0/chaos/eval/eval-mod.lisp
│ │ │ │  /build/cafeobj-EjDZPl/cafeobj-1.6.0/chaos/boot/preproc.lisp
│ │ │ │  LOOP-LIMIT-0
│ │ │ │  >	jSsulUQ
│ │ │ │  /build/cafeobj-EjDZPl/cafeobj-1.6.0/chaos/tools/show.lisp
│ │ │ │  /build/cafeobj-EjDZPl/cafeobj-1.6.0/chaos/primitives/context.lisp
│ │ │ │ -/build/cafeobj-EjDZPl/cafeobj-1.6.0/chaos/eval/eval-mod.lisp
│ │ │ │  /build/cafeobj-EjDZPl/cafeobj-1.6.0/chaos/cafein/reducer.lisp
│ │ │ │  /build/cafeobj-EjDZPl/cafeobj-1.6.0/thstuff/citp.lisp
│ │ │ │  /build/cafeobj-EjDZPl/cafeobj-1.6.0/chaos/psup/psup.lisp
│ │ │ │  /build/cafeobj-EjDZPl/cafeobj-1.6.0/BigPink/codes/refine.lisp
│ │ │ │  /build/cafeobj-EjDZPl/cafeobj-1.6.0/cafeobj/trans-decl.lisp
│ │ │ │  /build/cafeobj-EjDZPl/cafeobj-1.6.0/thstuff/eval-match.lisp
│ │ │ │  /build/cafeobj-EjDZPl/cafeobj-1.6.0/chaos/e-match/match.lisp
│ │ │ │ -/build/cafeobj-EjDZPl/cafeobj-1.6.0/chaos/decafe/mutils.lisp
│ │ │ │ -/build/cafeobj-EjDZPl/cafeobj-1.6.0/chaos/tools/sort-tree.lisp
│ │ │ │  /build/cafeobj-EjDZPl/cafeobj-1.6.0/chaos/decafe/mrmap.lisp
│ │ │ │     $ ( 0
│ │ │ │ - ( 0 8 < 
│ │ │ │ +/build/cafeobj-EjDZPl/cafeobj-1.6.0/chaos/decafe/mutils.lisp
│ │ │ │  /build/cafeobj-EjDZPl/cafeobj-1.6.0/chaos/e-match/match-e.lisp
│ │ │ │  /build/cafeobj-EjDZPl/cafeobj-1.6.0/chaos/e-match/match-idem.lisp
│ │ │ │ + ( 0 8 < 
│ │ │ │  /build/cafeobj-EjDZPl/cafeobj-1.6.0/chaos/construct/rwl.lisp
│ │ │ │  /build/cafeobj-EjDZPl/cafeobj-1.6.0/chaos/construct/variable.lisp
│ │ │ │     $ ( 0
│ │ │ │ +/build/cafeobj-EjDZPl/cafeobj-1.6.0/chaos/tools/sort-tree.lisp
│ │ │ │  /build/cafeobj-EjDZPl/cafeobj-1.6.0/chaos/tools/regularize.lisp
│ │ │ │  /build/cafeobj-EjDZPl/cafeobj-1.6.0/chaos/tools/compat.lisp
│ │ │ │  CLEANUP-FUN-2
│ │ │ │  /build/cafeobj-EjDZPl/cafeobj-1.6.0/chaos/tools/sensible.lisp
│ │ │ │  4=D'6>ON
│ │ │ │  /build/cafeobj-EjDZPl/cafeobj-1.6.0/cafeobj/trans-form.lisp
│ │ │ │  /build/cafeobj-EjDZPl/cafeobj-1.6.0/BigPink/codes/proof-sys.lisp