⊟
4.26 KB
/srv/reproducible-results/rbuild-debian/tmp.JTXGbgDw1e/b1/minlog_4.0.99.20100221-6_amd64.changes vs.
/srv/reproducible-results/rbuild-debian/tmp.JTXGbgDw1e/b2/minlog_4.0.99.20100221-6_amd64.changes
⊟
208 B
Files
    
Offset 1, 2 lines modifiedOffset 1, 2 lines modified
  
1 ·2d8b8952d4f80c6b6230c8b963de9b91·2624420·math·optional·minlog_4.0.99.20100221-6_all.deb1 ·8f6dff58e3d7d09d43cdda896934cfdd·2624260·math·optional·minlog_4.0.99.20100221-6_all.deb
⊟
3.87 KB
minlog_4.0.99.20100221-6_all.deb
⊟
452 B
file list
    
Offset 1, 3 lines modifiedOffset 1, 3 lines modified
1 -rw-r--r--···0········0········0········4·2016-12-10·01:03:58.000000·debian-binary1 -rw-r--r--···0········0········0········4·2016-12-10·01:03:58.000000·debian-binary
2 -rw-r--r--···0········0········0·····7312·2016-12-10·01:03:58.000000·control.tar.xz2 -rw-r--r--···0········0········0·····7308·2016-12-10·01:03:58.000000·control.tar.xz
3 -rw-r--r--···0········0········0··2616916·2016-12-10·01:03:58.000000·data.tar.xz3 -rw-r--r--···0········0········0··2616760·2016-12-10·01:03:58.000000·data.tar.xz
⊟
98.0 B
control.tar.xz
⊟
70.0 B
control.tar
⊟
48.0 B
./md5sums
⊟
30.0 B
./md5sums
Files differ
⊟
3.27 KB
data.tar.xz
⊟
3.25 KB
data.tar
⊟
2.22 KB
file list
    
Offset 225, 16 lines modifiedOffset 225, 16 lines modified
225 -rw-r--r--···0·root·········(0)·root·········(0)······745·2010-02-20·23:51:35.000000·./usr/share/doc/minlog/examples/warning.txt225 -rw-r--r--···0·root·········(0)·root·········(0)······745·2010-02-20·23:51:35.000000·./usr/share/doc/minlog/examples/warning.txt
226 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2016-12-10·01:03:58.000000·./usr/share/doc/minlog/examples/warshall/226 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2016-12-10·01:03:58.000000·./usr/share/doc/minlog/examples/warshall/
227 -rw-r--r--···0·root·········(0)·root·········(0)······651·2010-02-20·23:51:35.000000·./usr/share/doc/minlog/examples/warshall/Makefile227 -rw-r--r--···0·root·········(0)·root·········(0)······651·2010-02-20·23:51:35.000000·./usr/share/doc/minlog/examples/warshall/Makefile
228 -rw-r--r--···0·root·········(0)·root·········(0)·····2548·2010-02-20·23:51:35.000000·./usr/share/doc/minlog/examples/warshall/lemmas.mpc228 -rw-r--r--···0·root·········(0)·root·········(0)·····2548·2010-02-20·23:51:35.000000·./usr/share/doc/minlog/examples/warshall/lemmas.mpc
229 -rw-r--r--···0·root·········(0)·root·········(0)····13888·2010-02-20·23:51:35.000000·./usr/share/doc/minlog/examples/warshall/warshall.mpc229 -rw-r--r--···0·root·········(0)·root·········(0)····13888·2010-02-20·23:51:35.000000·./usr/share/doc/minlog/examples/warshall/warshall.mpc
230 -rw-r--r--···0·root·········(0)·root·········(0)····61021·2010-02-20·23:51:35.000000·./usr/share/doc/minlog/examples/warshall/warshall.save230 -rw-r--r--···0·root·········(0)·root·········(0)····61021·2010-02-20·23:51:35.000000·./usr/share/doc/minlog/examples/warshall/warshall.save
231 -rw-r--r--···0·root·········(0)·root·········(0)·····8000·2010-02-20·23:51:35.000000·./usr/share/doc/minlog/examples/warshall/warshall.scm231 -rw-r--r--···0·root·········(0)·root·········(0)·····8000·2010-02-20·23:51:35.000000·./usr/share/doc/minlog/examples/warshall/warshall.scm
232 -rw-r--r--···0·root·········(0)·root·········(0)···754161·2016-12-10·01:03:58.000000·./usr/share/doc/minlog/mlcf.pdf232 -rw-r--r--···0·root·········(0)·root·········(0)···754158·2016-12-10·01:03:58.000000·./usr/share/doc/minlog/mlcf.pdf
233 -rw-r--r--···0·root·········(0)·root·········(0)···189256·2016-12-10·01:03:58.000000·./usr/share/doc/minlog/mpcref.pdf233 -rw-r--r--···0·root·········(0)·root·········(0)···189127·2016-12-10·01:03:58.000000·./usr/share/doc/minlog/mpcref.pdf
234 -rw-r--r--···0·root·········(0)·root·········(0)···521154·2016-12-10·01:03:58.000000·./usr/share/doc/minlog/ref.pdf234 -rw-r--r--···0·root·········(0)·root·········(0)···521154·2016-12-10·01:03:58.000000·./usr/share/doc/minlog/ref.pdf
235 -rw-r--r--···0·root·········(0)·root·········(0)···193983·2016-12-10·01:03:58.000000·./usr/share/doc/minlog/reflection_manual.pdf235 -rw-r--r--···0·root·········(0)·root·········(0)···193983·2016-12-10·01:03:58.000000·./usr/share/doc/minlog/reflection_manual.pdf
236 -rw-r--r--···0·root·········(0)·root·········(0)···283003·2016-12-10·01:03:58.000000·./usr/share/doc/minlog/tutor.pdf236 -rw-r--r--···0·root·········(0)·root·········(0)···283003·2016-12-10·01:03:58.000000·./usr/share/doc/minlog/tutor.pdf
237 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2016-12-10·01:03:58.000000·./usr/share/doc-base/237 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2016-12-10·01:03:58.000000·./usr/share/doc-base/
238 -rw-r--r--···0·root·········(0)·root·········(0)······462·2010-07-17·15:56:14.000000·./usr/share/doc-base/minlog238 -rw-r--r--···0·root·········(0)·root·········(0)······462·2010-07-17·15:56:14.000000·./usr/share/doc-base/minlog
239 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2016-12-10·01:03:58.000000·./usr/share/emacs/239 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2016-12-10·01:03:58.000000·./usr/share/emacs/
240 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2016-12-10·01:03:58.000000·./usr/share/emacs/site-lisp/240 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2016-12-10·01:03:58.000000·./usr/share/emacs/site-lisp/
⊟
429 B
./usr/share/doc/minlog/mlcf.pdf
⊟
367 B
pdftotext {} -
    
Offset 1, 12 lines modifiedOffset 1, 12 lines modified
1 Minimal·Logic·for·Computable·Functionals1 Minimal·Logic·for·Computable·Functionals
2 Helmut·Schwichtenberg2 Helmut·Schwichtenberg
  
3 Mathematisches·Institut·der·Universität·München3 Mathematisches·Institut·der·Universität·München
4 February·17,·20224 January·16,·2021
  
5 \xcContents5 \xcContents
6 Chapter·1.·Minimal·Logic6 Chapter·1.·Minimal·Logic
7 1.1.·Natural·Deduction7 1.1.·Natural·Deduction
8 1.2.·Embedding·Classical·and·Intuitionistic·Logic8 1.2.·Embedding·Classical·and·Intuitionistic·Logic
9 1.3.·Glivenko’s·Theorem9 1.3.·Glivenko’s·Theorem
10 1.4.·Negative·Translation10 1.4.·Negative·Translation
⊟
246 B
./usr/share/doc/minlog/mpcref.pdf
⊟
180 B
pdftotext {} -
    
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
1 The·Minlog·Proof·Checker:·Mpc1 The·Minlog·Proof·Checker:·Mpc
2 Martin·Ruckert2 Martin·Ruckert
3 February·17,·20223 January·16,·2021
  
4 Contents4 Contents
5 1·Lexical·Structure5 1·Lexical·Structure
  
6 26 2
  
7 2·Syntax7 2·Syntax
⊟
356 B
./usr/share/doc/minlog/ref.pdf
⊟
296 B
pdftotext {} -
    
Offset 36, 15 lines modifiedOffset 36, 15 lines modified
36 9.3.·Substitution36 9.3.·Substitution
37 9.4.·Display37 9.4.·Display
38 9.5.·Classical·logic38 9.5.·Classical·logic
39 10.·Interactive·theorem·proving·with·partial·proofs39 10.·Interactive·theorem·proving·with·partial·proofs
40 10.1.·Partial·proofs40 10.1.·Partial·proofs
41 10.2.·Interactive·theorem·proving41 10.2.·Interactive·theorem·proving
42 11.·Search42 11.·Search
43 Date:·February·17,·2022.43 Date:·January·16,·2021.
44 144 1
  
45 245 2
46 246 2
47 347 3
48 348 3
49 449 4
Generated by diffoscope 163