/usr/bin/diffoscope --html /srv/reproducible-results/rbuild-debian/tmp.x1yHDeaS1A/minlog_4.0.99.20100221-6.diffoscope.html --text /srv/reproducible-results/rbuild-debian/tmp.x1yHDeaS1A/minlog_4.0.99.20100221-6.diffoscope.txt --json /srv/reproducible-results/rbuild-debian/tmp.x1yHDeaS1A/minlog_4.0.99.20100221-6.diffoscope.json --profile=- /srv/reproducible-results/rbuild-debian/tmp.x1yHDeaS1A/b1/minlog_4.0.99.20100221-6_i386.changes /srv/reproducible-results/rbuild-debian/tmp.x1yHDeaS1A/b2/minlog_4.0.99.20100221-6

⊟

4.23 KB

/srv/reproducible-results/rbuild-debian/tmp.x1yHDeaS1A/b1/minlog_4.0.99.20100221-6_i386.changes vs.

/srv/reproducible-results/rbuild-debian/tmp.x1yHDeaS1A/b2/minlog_4.0.99.20100221-6_i386.changes ¶

⊟

208 B

Files ¶

⊟

3.84 KB

minlog_4.0.99.20100221-6_all.deb ¶

⊟

452 B

file list ¶

⊟

98.0 B

control.tar.xz ¶

⊟

70.0 B

control.tar ¶

⊟

48.0 B

./md5sums ¶

⊟

30.0 B

./md5sums ¶

Files differ

⊟

3.24 KB

data.tar.xz ¶

⊟

3.22 KB

data.tar ¶

⊟

2.22 KB

file list ¶

⊟

419 B

⊟

357 B

⊟

236 B

⊟

170 B

⊟

346 B

⊟

286 B


Offset 1, 2 lines modified		Offset 1, 2 lines modified

1	·~~2eb~~3~~40f8~~5f2c4bf4~~72317f533b~~9~~4b88d~~·2624~~108~~·math·optional·minlog_4.0.99.20100221-6_all.deb	1	·d7839b7e5824344a9486a6ead968fc14·2624252·math·optional·minlog_4.0.99.20100221-6_all.deb


Offset 1, 3 lines modified		Offset 1, 3 lines modified
1	-rw-r--r--···0········0········0········4·2016-12-10·01:03:58.000000·debian-binary	1	-rw-r--r--···0········0········0········4·2016-12-10·01:03:58.000000·debian-binary
2	-rw-r--r--···0········0········0·····7308·2016-12-10·01:03:58.000000·control.tar.xz	2	-rw-r--r--···0········0········0·····7304·2016-12-10·01:03:58.000000·control.tar.xz
3	-rw-r--r--···0········0········0··2616~~608~~·2016-12-10·01:03:58.000000·data.tar.xz	3	-rw-r--r--···0········0········0··2616756·2016-12-10·01:03:58.000000·data.tar.xz


Offset 1, 12 lines modified		Offset 1, 12 lines modified
1	Minimal·Logic·for·Computable·Functionals	1	Minimal·Logic·for·Computable·Functionals
2	Helmut·Schwichtenberg	2	Helmut·Schwichtenberg

3	Mathematisches·Institut·der·Universität·München	3	Mathematisches·Institut·der·Universität·München
4	J~~une~~·4,·2021	4	May·3,·2020

5	\xcContents	5	\xcContents
6	Chapter·1.·Minimal·Logic	6	Chapter·1.·Minimal·Logic
7	1.1.·Natural·Deduction	7	1.1.·Natural·Deduction
8	1.2.·Embedding·Classical·and·Intuitionistic·Logic	8	1.2.·Embedding·Classical·and·Intuitionistic·Logic
9	1.3.·Glivenko’s·Theorem	9	1.3.·Glivenko’s·Theorem
10	1.4.·Negative·Translation	10	1.4.·Negative·Translation


Offset 1, 10 lines modified		Offset 1, 10 lines modified
1	The·Minlog·Proof·Checker:·Mpc	1	The·Minlog·Proof·Checker:·Mpc
2	Martin·Ruckert	2	Martin·Ruckert
3	J~~une~~·4,·2021	3	May·3,·2020

4	Contents	4	Contents
5	1·Lexical·Structure	5	1·Lexical·Structure

6	2	6	2

7	2·Syntax	7	2·Syntax


Offset 225, 16 lines modified		Offset 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.txt	225	-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/Makefile	227	-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.mpc	228	-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.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.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.save	230	-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.scm	231	-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)···754148·2016-12-10·01:03:58.000000·./usr/share/doc/minlog/mlcf.pdf	232	-rw-r--r--···0·root·········(0)·root·········(0)···754152·2016-12-10·01:03:58.000000·./usr/share/doc/minlog/mlcf.pdf
233	-rw-r--r--···0·root·········(0)·root·········(0)···188847·2016-12-10·01:03:58.000000·./usr/share/doc/minlog/mpcref.pdf	233	-rw-r--r--···0·root·········(0)·root·········(0)···188848·2016-12-10·01:03:58.000000·./usr/share/doc/minlog/mpcref.pdf
234	-rw-r--r--···0·root·········(0)·root·········(0)···521149·2016-12-10·01:03:58.000000·./usr/share/doc/minlog/ref.pdf	234	-rw-r--r--···0·root·········(0)·root·········(0)···521149·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.pdf	235	-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.pdf	236	-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/minlog	238	-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/


Offset 36, 15 lines modified		Offset 36, 15 lines modified
36	9.3.·Substitution	36	9.3.·Substitution
37	9.4.·Display	37	9.4.·Display
38	9.5.·Classical·logic	38	9.5.·Classical·logic
39	10.·Interactive·theorem·proving·with·partial·proofs	39	10.·Interactive·theorem·proving·with·partial·proofs
40	10.1.·Partial·proofs	40	10.1.·Partial·proofs
41	10.2.·Interactive·theorem·proving	41	10.2.·Interactive·theorem·proving
42	11.·Search	42	11.·Search
43	Date:·J~~une~~·4,·2021.	43	Date:·May·3,·2020.
44	1	44	1

45	2	45	2
46	2	46	2
47	3	47	3
48	3	48	3
49	4	49	4