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
    
Offset 1, 2 lines modifiedOffset 1, 2 lines modified
  
1 ·2eb340f85f2c4bf472317​f533b94b88d·​2624108·​math·​optional·​minlog_4.​0.​99.​20100221-​6_all.​deb1 ·d7839b7e5824344a9486a​6ead968fc14·​2624252·​math·​optional·​minlog_4.​0.​99.​20100221-​6_all.​deb
3.84 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·····​7308·​2016-​12-​10·​01:​03:​58.​000000·​control.​tar.​xz2 -​rw-​r-​-​r-​-​···​0········​0········​0·····​7304·​2016-​12-​10·​01:​03:​58.​000000·​control.​tar.​xz
3 -​rw-​r-​-​r-​-​···​0········​0········​0··​2616608·​2016-​12-​10·​01:​03:​58.​000000·​data.​tar.​xz3 -​rw-​r-​-​r-​-​···​0········​0········​0··​2616756·​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.24 KB
data.tar.xz
3.22 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)​···​754148·​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)​···​188847·​2016-​12-​10·​01:​03:​58.​000000·​.​/​usr/​share/​doc/​minlog/​mpcref.​pdf233 -​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.​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/​
419 B
./usr/share/doc/minlog/mlcf.pdf
357 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 June·4,​·​20214 May·3,​·​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
236 B
./usr/share/doc/minlog/mpcref.pdf
170 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 June·4,​·​20213 May·3,​·​2020
  
4 Contents4 Contents
5 1·​Lexical·​Structure5 1·​Lexical·​Structure
  
6 26 2
  
7 2·​Syntax7 2·​Syntax
346 B
./usr/share/doc/minlog/ref.pdf
286 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:​·June·4,​·​2021.​43 Date:​·May·3,​·​2020.​
44 144 1
  
45 245 2
46 246 2
47 347 3
48 348 3
49 449 4