⊟
4.69 KB
/srv/reproducible-results/rbuild-debian/tmp.xUBG9zoBuA/b1/minlog_4.0.99.20100221-6_arm64.changes vs.
/srv/reproducible-results/rbuild-debian/tmp.xUBG9zoBuA/b2/minlog_4.0.99.20100221-6_arm64.changes
⊟
208 B
Files
    
Offset 1, 2 lines modifiedOffset 1, 2 lines modified
  
1 ·5f78511b49c9023f31a0c0acf45c9f8f·2624648·math·optional·minlog_4.0.99.20100221-6_all.deb1 ·aece092bbfb19404832438549c46f524·2624184·math·optional·minlog_4.0.99.20100221-6_all.deb
⊟
4.3 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··2617144·2016-12-10·01:03:58.000000·data.tar.xz3 -rw-r--r--···0········0········0··2616684·2016-12-10·01:03:58.000000·data.tar.xz
⊟
555 B
control.tar.xz
⊟
527 B
control.tar
⊟
457 B
./control
    
Offset 1, 12 lines modifiedOffset 1, 12 lines modified
1 Package:·minlog1 Package:·minlog
2 Version:·4.0.99.20100221-62 Version:·4.0.99.20100221-6
3 Architecture:·all3 Architecture:·all
4 Maintainer:·Debian·QA·Group·<packages@qa.debian.org>4 Maintainer:·Debian·QA·Group·<packages@qa.debian.org>
5 Installed-Size:·75525 Installed-Size:·7551
6 Depends:·racket·|·guile6 Depends:·racket·|·guile
7 Recommends:·emacs25·|·emacs24·|·emacsen7 Recommends:·emacs25·|·emacs24·|·emacsen
8 Suggests:·proofgeneral-minlog,·quack-el8 Suggests:·proofgeneral-minlog,·quack-el
9 Section:·math9 Section:·math
10 Priority:·optional10 Priority:·optional
11 Homepage:·http://www.minlog-system.de11 Homepage:·http://www.minlog-system.de
12 Description:·Proof·assistant·based·on·first·order·natural·deduction·calculus12 Description:·Proof·assistant·based·on·first·order·natural·deduction·calculus
⊟
48.0 B
./md5sums
⊟
30.0 B
./md5sums
Files differ
⊟
3.25 KB
data.tar.xz
⊟
3.23 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)···754154·2016-12-10·01:03:58.000000·./usr/share/doc/minlog/mlcf.pdf232 -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)···189452·2016-12-10·01:03:58.000000·./usr/share/doc/minlog/mpcref.pdf233 -rw-r--r--···0·root·········(0)·root·········(0)···189049·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.pdf234 -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.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/
⊟
424 B
./usr/share/doc/minlog/mlcf.pdf
⊟
362 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 August·23,·20214 July·21,·2020
  
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
⊟
241 B
./usr/share/doc/minlog/mpcref.pdf
⊟
175 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 August·23,·20213 July·21,·2020
  
4 Contents4 Contents
5 1·Lexical·Structure5 1·Lexical·Structure
  
6 26 2
  
7 2·Syntax7 2·Syntax
⊟
351 B
./usr/share/doc/minlog/ref.pdf
⊟
291 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:·August·23,·2021.43 Date:·July·21,·2020.
44 144 1
  
45 245 2
46 246 2
47 347 3
48 348 3
49 449 4
Generated by diffoscope 152