--- /srv/rebuilderd/tmp/rebuilderdFlJqw3/inputs/cafeobj_1.6.0-2_amd64.deb +++ /srv/rebuilderd/tmp/rebuilderdFlJqw3/out/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 12673300 2020-02-18 20:27:40.000000 data.tar.xz ├── control.tar.xz │ ├── control.tar │ │ ├── ./control │ │ │ @@ -1,12 +1,12 @@ │ │ │ Package: cafeobj │ │ │ Version: 1.6.0-2 │ │ │ Architecture: amd64 │ │ │ Maintainer: Norbert Preining │ │ │ -Installed-Size: 56177 │ │ │ +Installed-Size: 56209 │ │ │ Depends: libc6 (>= 2.29), zlib1g (>= 1:1.1.4) │ │ │ Section: science │ │ │ Priority: optional │ │ │ Homepage: http://cafeobj.org/ │ │ │ Description: new generation algebraic specification and programming language │ │ │ CafeOBJ is a most advanced formal specification language which │ │ │ inherits many advanced features (e.g. flexible mix-fix syntax, │ │ ├── ./md5sums │ │ │ ├── ./md5sums │ │ │ │┄ Files differ ├── data.tar.xz │ ├── data.tar │ │ ├── file list │ │ │ @@ -1,15 +1,15 @@ │ │ │ drwxr-xr-x 0 root (0) root (0) 0 2020-02-18 20:27:40.000000 ./ │ │ │ drwxr-xr-x 0 root (0) root (0) 0 2020-02-18 20:27:40.000000 ./usr/ │ │ │ drwxr-xr-x 0 root (0) root (0) 0 2020-02-18 20:27:40.000000 ./usr/bin/ │ │ │ -rwxr-xr-x 0 root (0) root (0) 5442 2020-02-18 20:27:40.000000 ./usr/bin/cafeobj │ │ │ drwxr-xr-x 0 root (0) root (0) 0 2020-02-18 20:27:40.000000 ./usr/lib/ │ │ │ drwxr-xr-x 0 root (0) root (0) 0 2020-02-18 20:27:40.000000 ./usr/lib/cafeobj-1.6/ │ │ │ drwxr-xr-x 0 root (0) root (0) 0 2020-02-18 20:27:40.000000 ./usr/lib/cafeobj-1.6/sbcl/ │ │ │ --rwxr-xr-x 0 root (0) root (0) 54602384 2020-02-18 20:27:40.000000 ./usr/lib/cafeobj-1.6/sbcl/cafeobj.sbcl │ │ │ +-rwxr-xr-x 0 root (0) root (0) 54635168 2020-02-18 20:27:40.000000 ./usr/lib/cafeobj-1.6/sbcl/cafeobj.sbcl │ │ │ drwxr-xr-x 0 root (0) root (0) 0 2020-02-18 20:27:40.000000 ./usr/share/ │ │ │ drwxr-xr-x 0 root (0) root (0) 0 2020-02-18 20:27:40.000000 ./usr/share/cafeobj-1.6/ │ │ │ drwxr-xr-x 0 root (0) root (0) 0 2020-02-18 20:27:40.000000 ./usr/share/cafeobj-1.6/lib/ │ │ │ -rw-r--r-- 0 root (0) root (0) 1785 2020-02-18 20:27:40.000000 ./usr/share/cafeobj-1.6/lib/2tuple.cafe │ │ │ -rw-r--r-- 0 root (0) root (0) 1939 2020-02-18 20:27:40.000000 ./usr/share/cafeobj-1.6/lib/3tuple.cafe │ │ │ -rw-r--r-- 0 root (0) root (0) 2103 2020-02-18 20:27:40.000000 ./usr/share/cafeobj-1.6/lib/4tuple.cafe │ │ │ -rw-r--r-- 0 root (0) root (0) 2211 2020-02-18 20:27:40.000000 ./usr/share/cafeobj-1.6/lib/base_bool.cafe │ │ ├── ./usr/lib/cafeobj-1.6/sbcl/cafeobj.sbcl │ │ │┄ File has been modified after NT_GNU_BUILD_ID has been applied. │ │ │ ├── strings --all --bytes=8 {} │ │ │ │ @@ -13548,15 +13548,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 │ │ │ │ +2026 Jan 14 Wed 17:17:27 GMT │ │ │ │ -CAFEOBJ-LOAD-TIME- │ │ │ │ GET-CONTEXT-NAME-EXTENDED │ │ │ │ %MACRO-RHS │ │ │ │ MAKE-TRAM-RULES │ │ │ │ CL-FOR-SUB │ │ │ │ RESET-PARSE-TIME │ │ │ │ MEMO-DECL │ │ │ │ @@ -39043,18 +39043,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 │ │ │ │ # 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