4.14 KB
/srv/reproducible-results/rbuild-debian/tmp.BhF22uPC51/b1/minlog_4.0.99.20100221-6_armhf.changes vs.
/srv/reproducible-results/rbuild-debian/tmp.BhF22uPC51/b2/minlog_4.0.99.20100221-6_armhf.changes
208 B
Files
    
Offset 1, 2 lines modifiedOffset 1, 2 lines modified
  
1 ·e375b7cfb105af61fb2b3​ed102264d7f·​2624212·​math·​optional·​minlog_4.​0.​99.​20100221-​6_all.​deb1 ·​3180246622a6fe440bc06​a2ad2927f56·​2624084·​math·​optional·​minlog_4.​0.​99.​20100221-​6_all.​deb
3.75 KB
minlog_4.0.99.20100221-6_all.deb
367 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·····​7308·​2016-​12-​10·​01:​03:​58.​000000·​control.​tar.​xz
3 -​rw-​r-​-​r-​-​···​0········​0········​0··​2616712·​2016-​12-​10·​01:​03:​58.​000000·​data.​tar.​xz3 -​rw-​r-​-​r-​-​···​0········​0········​0··​2616584·​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.23 KB
data.tar.xz
3.21 KB
data.tar
2.22 KB
file list
    
Offset 226, 16 lines modifiedOffset 226, 16 lines modified
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)​···​754148·​2016-​12-​10·​01:​03:​58.​000000·​.​/​usr/​share/​doc/​minlog/​mlcf.​pdf
233 -​rw-​r-​-​r-​-​···​0·​root·········​(0)​·​root·········​(0)​···​188724·​2016-​12-​10·​01:​03:​58.​000000·​.​/​usr/​share/​doc/​minlog/​mpcref.​pdf233 -​rw-​r-​-​r-​-​···​0·​root·········​(0)​·​root·········​(0)​···​188669·​2016-​12-​10·​01:​03:​58.​000000·​.​/​usr/​share/​doc/​minlog/​mpcref.​pdf
234 -​rw-​r-​-​r-​-​···​0·​root·········​(0)​·​root·········​(0)​···​521146·​2016-​12-​10·​01:​03:​58.​000000·​.​/​usr/​share/​doc/​minlog/​ref.​pdf234 -​rw-​r-​-​r-​-​···​0·​root·········​(0)​·​root·········​(0)​···​521144·​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/​
241 drwxr-​xr-​x···​0·​root·········​(0)​·​root·········​(0)​········​0·​2016-​12-​10·​01:​03:​58.​000000·​.​/​usr/​share/​emacs/​site-​lisp/​minlog/​241 drwxr-​xr-​x···​0·​root·········​(0)​·​root·········​(0)​········​0·​2016-​12-​10·​01:​03:​58.​000000·​.​/​usr/​share/​emacs/​site-​lisp/​minlog/​
420 B
./usr/share/doc/minlog/mlcf.pdf
358 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·6,​·​20204 June·7,​·​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
237 B
./usr/share/doc/minlog/mpcref.pdf
171 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·6,​·​20203 June·7,​·​2020
  
4 Contents4 Contents
5 1·​Lexical·​Structure5 1·​Lexical·​Structure
  
6 26 2
  
7 2·​Syntax7 2·​Syntax
347 B
./usr/share/doc/minlog/ref.pdf
287 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·6,​·​2020.​43 Date:​·​June·7,​·​2020.​
44 144 1
  
45 245 2
46 246 2
47 347 3
48 348 3
49 449 4