--- /tmp/ball-1.5.0+git20180813.37fc53c-6kbl8frwu/debian/libball1.5-doc_1.5.0+git20180813.37fc53c-6_all.deb +++ libball1.5-doc_1.5.0+git20180813.37fc53c-6_all.deb ├── file list │ @@ -1,3 +1,3 @@ │ -rw-r--r-- 0 0 0 4 2020-03-09 10:45:03.000000 debian-binary │ --rw-r--r-- 0 0 0 130164 2020-03-09 10:45:03.000000 control.tar.xz │ --rw-r--r-- 0 0 0 8089540 2020-03-09 10:45:03.000000 data.tar.xz │ +-rw-r--r-- 0 0 0 130160 2020-03-09 10:45:03.000000 control.tar.xz │ +-rw-r--r-- 0 0 0 8089564 2020-03-09 10:45:03.000000 data.tar.xz ├── control.tar.xz │ ├── control.tar │ │ ├── ./md5sums │ │ │ ├── ./md5sums │ │ │ │┄ Files differ ├── data.tar.xz │ ├── data.tar │ │ ├── file list │ │ │ @@ -8486,15 +8486,15 @@ │ │ │ -rw-r--r-- 0 root (0) root (0) 853 2020-03-09 10:45:03.000000 ./usr/share/doc/libball1.5/html/BALL/sync_off.png │ │ │ -rw-r--r-- 0 root (0) root (0) 845 2020-03-09 10:45:03.000000 ./usr/share/doc/libball1.5/html/BALL/sync_on.png │ │ │ -rw-r--r-- 0 root (0) root (0) 142 2020-03-09 10:45:03.000000 ./usr/share/doc/libball1.5/html/BALL/tab_a.png │ │ │ -rw-r--r-- 0 root (0) root (0) 169 2020-03-09 10:45:03.000000 ./usr/share/doc/libball1.5/html/BALL/tab_b.png │ │ │ -rw-r--r-- 0 root (0) root (0) 177 2020-03-09 10:45:03.000000 ./usr/share/doc/libball1.5/html/BALL/tab_h.png │ │ │ -rw-r--r-- 0 root (0) root (0) 184 2020-03-09 10:45:03.000000 ./usr/share/doc/libball1.5/html/BALL/tab_s.png │ │ │ -rw-r--r-- 0 root (0) root (0) 8700 2020-03-09 10:45:03.000000 ./usr/share/doc/libball1.5/html/BALL/tabs.css │ │ │ --rw-r--r-- 0 root (0) root (0) 376231 2020-03-09 10:45:03.000000 ./usr/share/doc/libball1.5/tutorial.pdf.gz │ │ │ +-rw-r--r-- 0 root (0) root (0) 376236 2020-03-09 10:45:03.000000 ./usr/share/doc/libball1.5/tutorial.pdf.gz │ │ │ drwxr-xr-x 0 root (0) root (0) 0 2020-03-09 10:45:03.000000 ./usr/share/doc/libball1.5-doc/ │ │ │ -rw-r--r-- 0 root (0) root (0) 4980 2020-03-09 10:45:03.000000 ./usr/share/doc/libball1.5-doc/changelog.Debian.gz │ │ │ -rw-r--r-- 0 root (0) root (0) 227 2018-08-13 10:41:31.000000 ./usr/share/doc/libball1.5-doc/changelog.gz │ │ │ -rw-r--r-- 0 root (0) root (0) 2225 2020-03-09 10:45:03.000000 ./usr/share/doc/libball1.5-doc/copyright │ │ │ drwxr-xr-x 0 root (0) root (0) 0 2020-03-09 10:45:03.000000 ./usr/share/doc-base/ │ │ │ -rw-r--r-- 0 root (0) root (0) 598 2020-03-09 10:45:03.000000 ./usr/share/doc-base/ball-manual │ │ │ -rw-r--r-- 0 root (0) root (0) 473 2020-03-09 10:45:03.000000 ./usr/share/doc-base/ball-tutorial │ │ ├── ./usr/share/doc/libball1.5/tutorial.pdf.gz │ │ │ ├── tutorial.pdf │ │ │ │ ├── pdftotext {} - │ │ │ │ │ @@ -1,12 +1,12 @@ │ │ │ │ │ A Tutorial │ │ │ │ │ Oliver Kohlbacher, Heiko Klein, Andreas Kerzmann, │ │ │ │ │ Andreas Moll, Andreas Kämper, Anna Katharina Dehof, Andreas Hildebrandt │ │ │ │ │ Release 1.5 │ │ │ │ │ -March 9, 2020 │ │ │ │ │ +October 18, 2021 │ │ │ │ │ │ │ │ │ │ ii │ │ │ │ │ │ │ │ │ │ Contents │ │ │ │ │ 1 │ │ │ │ │ │ │ │ │ │ Introduction