10.2 KB
/srv/reproducible-results/rbuild-debian/tmp.meMdqQPPZS/b1/mona_1.4-17-1_armhf.changes vs.
/srv/reproducible-results/rbuild-debian/tmp.meMdqQPPZS/b2/mona_1.4-17-1_armhf.changes
277 B
Files
    
Offset 1, 3 lines modifiedOffset 1, 3 lines modified
  
1 ·​f302c2ac7d21f2e111aff​5b04f8b0334·​1272344·​debug·​optional·​mona-​dbgsym_1.​4-​17-​1_armhf.​deb1 ·​f302c2ac7d21f2e111aff​5b04f8b0334·​1272344·​debug·​optional·​mona-​dbgsym_1.​4-​17-​1_armhf.​deb
2 ·80c65a24da0699422cec1​a89e8b653d3·​345048·​science·​extra·​mona_1.​4-​17-​1_armhf.​deb2 ·62fc1b652ca4a898e4158​ad36892e75d·​345040·​science·​extra·​mona_1.​4-​17-​1_armhf.​deb
9.8 KB
mona_1.4-17-1_armhf.deb
452 B
file list
    
Offset 1, 3 lines modifiedOffset 1, 3 lines modified
1 -​rw-​r-​-​r-​-​···​0········​0········​0········​4·​2016-​03-​26·​18:​46:​18.​000000·​debian-​binary1 -​rw-​r-​-​r-​-​···​0········​0········​0········​4·​2016-​03-​26·​18:​46:​18.​000000·​debian-​binary
2 -​rw-​r-​-​r-​-​···​0········​0········​0·····​2860·​2016-​03-​26·​18:​46:​18.​000000·​control.​tar.​xz2 -​rw-​r-​-​r-​-​···​0········​0········​0·····​2856·​2016-​03-​26·​18:​46:​18.​000000·​control.​tar.​xz
3 -​rw-​r-​-​r-​-​···​0········​0········​0···​341996·​2016-​03-​26·​18:​46:​18.​000000·​data.​tar.​xz3 -​rw-​r-​-​r-​-​···​0········​0········​0···​341992·​2016-​03-​26·​18:​46:​18.​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
9.22 KB
data.tar.xz
9.2 KB
data.tar
5.91 KB
file list
    
Offset 45, 38 lines modifiedOffset 45, 38 lines modified
45 -​rw-​r-​-​r-​-​···​0·​root·········​(0)​·​root·········​(0)​·····​7776·​2016-​03-​26·​18:​46:​18.​000000·​.​/​usr/​share/​doc/​mona/​examples/​Examples/​.​libs/​bdd_example.​gz45 -​rw-​r-​-​r-​-​···​0·​root·········​(0)​·​root·········​(0)​·····​7776·​2016-​03-​26·​18:​46:​18.​000000·​.​/​usr/​share/​doc/​mona/​examples/​Examples/​.​libs/​bdd_example.​gz
46 -​rw-​r-​-​r-​-​···​0·​root·········​(0)​·​root·········​(0)​····​10010·​2016-​03-​26·​18:​46:​18.​000000·​.​/​usr/​share/​doc/​mona/​examples/​Examples/​.​libs/​gta_example.​gz46 -​rw-​r-​-​r-​-​···​0·​root·········​(0)​·​root·········​(0)​····​10010·​2016-​03-​26·​18:​46:​18.​000000·​.​/​usr/​share/​doc/​mona/​examples/​Examples/​.​libs/​gta_example.​gz
47 -​rw-​r-​-​r-​-​···​0·​root·········​(0)​·​root·········​(0)​·····​7033·​2016-​03-​26·​18:​46:​18.​000000·​.​/​usr/​share/​doc/​mona/​examples/​Examples/​.​libs/​presburger_analysis.​gz47 -​rw-​r-​-​r-​-​···​0·​root·········​(0)​·​root·········​(0)​·····​7033·​2016-​03-​26·​18:​46:​18.​000000·​.​/​usr/​share/​doc/​mona/​examples/​Examples/​.​libs/​presburger_analysis.​gz
48 -​rw-​r-​-​r-​-​···​0·​root·········​(0)​·​root·········​(0)​·····​6611·​2016-​03-​26·​18:​46:​18.​000000·​.​/​usr/​share/​doc/​mona/​examples/​Examples/​.​libs/​presburger_transducti​on.​gz48 -​rw-​r-​-​r-​-​···​0·​root·········​(0)​·​root·········​(0)​·····​6611·​2016-​03-​26·​18:​46:​18.​000000·​.​/​usr/​share/​doc/​mona/​examples/​Examples/​.​libs/​presburger_transducti​on.​gz
49 -​rw-​r-​-​r-​-​···​0·​root·········​(0)​·​root·········​(0)​······​205·​2016-​03-​25·​22:​32:​08.​000000·​.​/​usr/​share/​doc/​mona/​examples/​Examples/​ab1.​mona49 -​rw-​r-​-​r-​-​···​0·​root·········​(0)​·​root·········​(0)​······​205·​2016-​03-​25·​22:​32:​08.​000000·​.​/​usr/​share/​doc/​mona/​examples/​Examples/​ab1.​mona
50 -​rw-​r-​-​r-​-​···​0·​root·········​(0)​·​root·········​(0)​······​290·​2016-​03-​25·​22:​32:​08.​000000·​.​/​usr/​share/​doc/​mona/​examples/​Examples/​ab2.​mona50 -​rw-​r-​-​r-​-​···​0·​root·········​(0)​·​root·········​(0)​······​290·​2016-​03-​25·​22:​32:​08.​000000·​.​/​usr/​share/​doc/​mona/​examples/​Examples/​ab2.​mona
51 -​rw-​r-​-​r-​-​···​0·​root·········​(0)​·​root·········​(0)​·····​1824·​2016-​03-​25·​22:​32:​08.​000000·​.​/​usr/​share/​doc/​mona/​examples/​Examples/​bdd_example.​c.​gz51 -​rw-​r-​-​r-​-​···​0·​root·········​(0)​·​root·········​(0)​·····​1824·​2016-​03-​25·​22:​32:​08.​000000·​.​/​usr/​share/​doc/​mona/​examples/​Examples/​bdd_example.​c.​gz
52 -​rw-​r-​-​r-​-​···​0·​root·········​(0)​·​root·········​(0)​·····​2671·​2016-​03-​26·​18:​46:​18.​000000·​.​/​usr/​share/​doc/​mona/​examples/​Examples/​bdd_example.​gz52 -​rw-​r-​-​r-​-​···​0·​root·········​(0)​·​root·········​(0)​·····​2670·​2016-​03-​26·​18:​46:​18.​000000·​.​/​usr/​share/​doc/​mona/​examples/​Examples/​bdd_example.​gz
53 -​rw-​r-​-​r-​-​···​0·​root·········​(0)​·​root·········​(0)​·····​7050·​2016-​03-​26·​18:​46:​18.​000000·​.​/​usr/​share/​doc/​mona/​examples/​Examples/​bdd_example.​o.​gz53 -​rw-​r-​-​r-​-​···​0·​root·········​(0)​·​root·········​(0)​·····​7050·​2016-​03-​26·​18:​46:​18.​000000·​.​/​usr/​share/​doc/​mona/​examples/​Examples/​bdd_example.​o.​gz
54 -​rw-​r-​-​r-​-​···​0·​root·········​(0)​·​root·········​(0)​·····​1677·​2016-​03-​25·​22:​32:​08.​000000·​.​/​usr/​share/​doc/​mona/​examples/​Examples/​bdd_volatility54 -​rw-​r-​-​r-​-​···​0·​root·········​(0)​·​root·········​(0)​·····​1677·​2016-​03-​25·​22:​32:​08.​000000·​.​/​usr/​share/​doc/​mona/​examples/​Examples/​bdd_volatility
55 -​rw-​r-​-​r-​-​···​0·​root·········​(0)​·​root·········​(0)​······​237·​2016-​03-​25·​22:​32:​08.​000000·​.​/​usr/​share/​doc/​mona/​examples/​Examples/​even.​mona55 -​rw-​r-​-​r-​-​···​0·​root·········​(0)​·​root·········​(0)​······​237·​2016-​03-​25·​22:​32:​08.​000000·​.​/​usr/​share/​doc/​mona/​examples/​Examples/​even.​mona
56 -​rw-​r-​-​r-​-​···​0·​root·········​(0)​·​root·········​(0)​······​264·​2016-​03-​25·​22:​32:​08.​000000·​.​/​usr/​share/​doc/​mona/​examples/​Examples/​even_with_assert.​mona56 -​rw-​r-​-​r-​-​···​0·​root·········​(0)​·​root·········​(0)​······​264·​2016-​03-​25·​22:​32:​08.​000000·​.​/​usr/​share/​doc/​mona/​examples/​Examples/​even_with_assert.​mona
57 -​rw-​r-​-​r-​-​···​0·​root·········​(0)​·​root·········​(0)​······​250·​2016-​03-​25·​22:​32:​08.​000000·​.​/​usr/​share/​doc/​mona/​examples/​Examples/​even_with_pred.​mona57 -​rw-​r-​-​r-​-​···​0·​root·········​(0)​·​root·········​(0)​······​250·​2016-​03-​25·​22:​32:​08.​000000·​.​/​usr/​share/​doc/​mona/​examples/​Examples/​even_with_pred.​mona
58 -​rw-​r-​-​r-​-​···​0·​root·········​(0)​·​root·········​(0)​·····​2133·​2016-​03-​25·​22:​32:​08.​000000·​.​/​usr/​share/​doc/​mona/​examples/​Examples/​gta_example.​c.​gz58 -​rw-​r-​-​r-​-​···​0·​root·········​(0)​·​root·········​(0)​·····​2133·​2016-​03-​25·​22:​32:​08.​000000·​.​/​usr/​share/​doc/​mona/​examples/​Examples/​gta_example.​c.​gz
59 -​rw-​r-​-​r-​-​···​0·​root·········​(0)​·​root·········​(0)​·····​2686·​2016-​03-​26·​18:​46:​18.​000000·​.​/​usr/​share/​doc/​mona/​examples/​Examples/​gta_example.​gz59 -​rw-​r-​-​r-​-​···​0·​root·········​(0)​·​root·········​(0)​·····​2685·​2016-​03-​26·​18:​46:​18.​000000·​.​/​usr/​share/​doc/​mona/​examples/​Examples/​gta_example.​gz
60 -​rw-​r-​-​r-​-​···​0·​root·········​(0)​·​root·········​(0)​·····​9795·​2016-​03-​26·​18:​46:​18.​000000·​.​/​usr/​share/​doc/​mona/​examples/​Examples/​gta_example.​o.​gz60 -​rw-​r-​-​r-​-​···​0·​root·········​(0)​·​root·········​(0)​·····​9795·​2016-​03-​26·​18:​46:​18.​000000·​.​/​usr/​share/​doc/​mona/​examples/​Examples/​gta_example.​o.​gz
61 -​rw-​r-​-​r-​-​···​0·​root·········​(0)​·​root·········​(0)​·····​1853·​2016-​03-​25·​22:​32:​08.​000000·​.​/​usr/​share/​doc/​mona/​examples/​Examples/​html.​mona.​gz61 -​rw-​r-​-​r-​-​···​0·​root·········​(0)​·​root·········​(0)​·····​1853·​2016-​03-​25·​22:​32:​08.​000000·​.​/​usr/​share/​doc/​mona/​examples/​Examples/​html.​mona.​gz
62 -​rw-​r-​-​r-​-​···​0·​root·········​(0)​·​root·········​(0)​······​774·​2016-​03-​25·​22:​32:​08.​000000·​.​/​usr/​share/​doc/​mona/​examples/​Examples/​hyman.​mona.​gz62 -​rw-​r-​-​r-​-​···​0·​root·········​(0)​·​root·········​(0)​······​774·​2016-​03-​25·​22:​32:​08.​000000·​.​/​usr/​share/​doc/​mona/​examples/​Examples/​hyman.​mona.​gz
63 -​rw-​r-​-​r-​-​···​0·​root·········​(0)​·​root·········​(0)​·····​2089·​2016-​03-​25·​22:​32:​08.​000000·​.​/​usr/​share/​doc/​mona/​examples/​Examples/​lossy_queue.​mona63 -​rw-​r-​-​r-​-​···​0·​root·········​(0)​·​root·········​(0)​·····​2089·​2016-​03-​25·​22:​32:​08.​000000·​.​/​usr/​share/​doc/​mona/​examples/​Examples/​lossy_queue.​mona
64 -​rw-​r-​-​r-​-​···​0·​root·········​(0)​·​root·········​(0)​·····​1054·​2016-​03-​25·​22:​32:​08.​000000·​.​/​usr/​share/​doc/​mona/​examples/​Examples/​makefile.​am64 -​rw-​r-​-​r-​-​···​0·​root·········​(0)​·​root·········​(0)​·····​1054·​2016-​03-​25·​22:​32:​08.​000000·​.​/​usr/​share/​doc/​mona/​examples/​Examples/​makefile.​am
65 -​rw-​r-​-​r-​-​···​0·​root·········​(0)​·​root·········​(0)​·····​6123·​2016-​03-​26·​18:​46:​18.​000000·​.​/​usr/​share/​doc/​mona/​examples/​Examples/​makefile.​gz65 -​rw-​r-​-​r-​-​···​0·​root·········​(0)​·​root·········​(0)​·····​6121·​2016-​03-​26·​18:​46:​18.​000000·​.​/​usr/​share/​doc/​mona/​examples/​Examples/​makefile.​gz
66 -​rw-​r-​-​r-​-​···​0·​root·········​(0)​·​root·········​(0)​·····​5954·​2016-​03-​25·​22:​32:​08.​000000·​.​/​usr/​share/​doc/​mona/​examples/​Examples/​makefile.​in.​gz66 -​rw-​r-​-​r-​-​···​0·​root·········​(0)​·​root·········​(0)​·····​5954·​2016-​03-​25·​22:​32:​08.​000000·​.​/​usr/​share/​doc/​mona/​examples/​Examples/​makefile.​in.​gz
67 -​rw-​r-​-​r-​-​···​0·​root·········​(0)​·​root·········​(0)​······​144·​2016-​03-​25·​22:​32:​08.​000000·​.​/​usr/​share/​doc/​mona/​examples/​Examples/​minusmodulo.​mona67 -​rw-​r-​-​r-​-​···​0·​root·········​(0)​·​root·········​(0)​······​144·​2016-​03-​25·​22:​32:​08.​000000·​.​/​usr/​share/​doc/​mona/​examples/​Examples/​minusmodulo.​mona
68 -​rw-​r-​-​r-​-​···​0·​root·········​(0)​·​root·········​(0)​·····​3063·​2016-​03-​25·​22:​32:​08.​000000·​.​/​usr/​share/​doc/​mona/​examples/​Examples/​nadder.​mona68 -​rw-​r-​-​r-​-​···​0·​root·········​(0)​·​root·········​(0)​·····​3063·​2016-​03-​25·​22:​32:​08.​000000·​.​/​usr/​share/​doc/​mona/​examples/​Examples/​nadder.​mona
69 -​rw-​r-​-​r-​-​···​0·​root·········​(0)​·​root·········​(0)​······​177·​2016-​03-​25·​22:​32:​08.​000000·​.​/​usr/​share/​doc/​mona/​examples/​Examples/​plusmodulo.​mona69 -​rw-​r-​-​r-​-​···​0·​root·········​(0)​·​root·········​(0)​······​177·​2016-​03-​25·​22:​32:​08.​000000·​.​/​usr/​share/​doc/​mona/​examples/​Examples/​plusmodulo.​mona
70 -​rw-​r-​-​r-​-​···​0·​root·········​(0)​·​root·········​(0)​······​964·​2016-​03-​25·​22:​32:​08.​000000·​.​/​usr/​share/​doc/​mona/​examples/​Examples/​presburger.​mona70 -​rw-​r-​-​r-​-​···​0·​root·········​(0)​·​root·········​(0)​······​964·​2016-​03-​25·​22:​32:​08.​000000·​.​/​usr/​share/​doc/​mona/​examples/​Examples/​presburger.​mona
71 -​rw-​r-​-​r-​-​···​0·​root·········​(0)​·​root·········​(0)​·····​2494·​2016-​03-​25·​22:​32:​08.​000000·​.​/​usr/​share/​doc/​mona/​examples/​Examples/​presburger_analysis.​c71 -​rw-​r-​-​r-​-​···​0·​root·········​(0)​·​root·········​(0)​·····​2494·​2016-​03-​25·​22:​32:​08.​000000·​.​/​usr/​share/​doc/​mona/​examples/​Examples/​presburger_analysis.​c
72 -​rw-​r-​-​r-​-​···​0·​root·········​(0)​·​root·········​(0)​·····​2696·​2016-​03-​26·​18:​46:​18.​000000·​.​/​usr/​share/​doc/​mona/​examples/​Examples/​presburger_analysis.​gz72 -​rw-​r-​-​r-​-​···​0·​root·········​(0)​·​root·········​(0)​·····​2695·​2016-​03-​26·​18:​46:​18.​000000·​.​/​usr/​share/​doc/​mona/​examples/​Examples/​presburger_analysis.​gz
73 -​rw-​r-​-​r-​-​···​0·​root·········​(0)​·​root·········​(0)​·····​5438·​2016-​03-​26·​18:​46:​18.​000000·​.​/​usr/​share/​doc/​mona/​examples/​Examples/​presburger_analysis.​o.​gz73 -​rw-​r-​-​r-​-​···​0·​root·········​(0)​·​root·········​(0)​·····​5438·​2016-​03-​26·​18:​46:​18.​000000·​.​/​usr/​share/​doc/​mona/​examples/​Examples/​presburger_analysis.​o.​gz
74 -​rw-​r-​-​r-​-​···​0·​root·········​(0)​·​root·········​(0)​·····​3924·​2016-​03-​25·​22:​32:​08.​000000·​.​/​usr/​share/​doc/​mona/​examples/​Examples/​presburger_transducti​on.​c74 -​rw-​r-​-​r-​-​···​0·​root·········​(0)​·​root·········​(0)​·····​3924·​2016-​03-​25·​22:​32:​08.​000000·​.​/​usr/​share/​doc/​mona/​examples/​Examples/​presburger_transducti​on.​c
75 -​rw-​r-​-​r-​-​···​0·​root·········​(0)​·​root·········​(0)​·····​2695·​2016-​03-​26·​18:​46:​18.​000000·​.​/​usr/​share/​doc/​mona/​examples/​Examples/​presburger_transducti​on.​gz75 -​rw-​r-​-​r-​-​···​0·​root·········​(0)​·​root·········​(0)​·····​2694·​2016-​03-​26·​18:​46:​18.​000000·​.​/​usr/​share/​doc/​mona/​examples/​Examples/​presburger_transducti​on.​gz
76 -​rw-​r-​-​r-​-​···​0·​root·········​(0)​·​root·········​(0)​·····​5297·​2016-​03-​26·​18:​46:​18.​000000·​.​/​usr/​share/​doc/​mona/​examples/​Examples/​presburger_transducti​on.​o.​gz76 -​rw-​r-​-​r-​-​···​0·​root·········​(0)​·​root·········​(0)​·····​5297·​2016-​03-​26·​18:​46:​18.​000000·​.​/​usr/​share/​doc/​mona/​examples/​Examples/​presburger_transducti​on.​o.​gz
77 -​rw-​r-​-​r-​-​···​0·​root·········​(0)​·​root·········​(0)​·····​1673·​2016-​03-​25·​22:​32:​08.​000000·​.​/​usr/​share/​doc/​mona/​examples/​Examples/​regexp.​mona77 -​rw-​r-​-​r-​-​···​0·​root·········​(0)​·​root·········​(0)​·····​1673·​2016-​03-​25·​22:​32:​08.​000000·​.​/​usr/​share/​doc/​mona/​examples/​Examples/​regexp.​mona
78 drwxr-​xr-​x···​0·​root·········​(0)​·​root·········​(0)​········​0·​2016-​03-​26·​18:​46:​18.​000000·​.​/​usr/​share/​emacs/​78 drwxr-​xr-​x···​0·​root·········​(0)​·​root·········​(0)​········​0·​2016-​03-​26·​18:​46:​18.​000000·​.​/​usr/​share/​emacs/​
79 drwxr-​xr-​x···​0·​root·········​(0)​·​root·········​(0)​········​0·​2016-​03-​26·​18:​46:​18.​000000·​.​/​usr/​share/​emacs/​site-​lisp/​79 drwxr-​xr-​x···​0·​root·········​(0)​·​root·········​(0)​········​0·​2016-​03-​26·​18:​46:​18.​000000·​.​/​usr/​share/​emacs/​site-​lisp/​
80 drwxr-​xr-​x···​0·​root·········​(0)​·​root·········​(0)​········​0·​2016-​03-​26·​18:​46:​18.​000000·​.​/​usr/​share/​emacs/​site-​lisp/​mona/​80 drwxr-​xr-​x···​0·​root·········​(0)​·​root·········​(0)​········​0·​2016-​03-​26·​18:​46:​18.​000000·​.​/​usr/​share/​emacs/​site-​lisp/​mona/​
81 -​rw-​r-​-​r-​-​···​0·​root·········​(0)​·​root·········​(0)​·····​2916·​2016-​03-​25·​22:​32:​08.​000000·​.​/​usr/​share/​emacs/​site-​lisp/​mona/​mona-​mode.​el81 -​rw-​r-​-​r-​-​···​0·​root·········​(0)​·​root·········​(0)​·····​2916·​2016-​03-​25·​22:​32:​08.​000000·​.​/​usr/​share/​emacs/​site-​lisp/​mona/​mona-​mode.​el
82 drwxr-​xr-​x···​0·​root·········​(0)​·​root·········​(0)​········​0·​2016-​03-​26·​18:​46:​18.​000000·​.​/​usr/​share/​lintian/​82 drwxr-​xr-​x···​0·​root·········​(0)​·​root·········​(0)​········​0·​2016-​03-​26·​18:​46:​18.​000000·​.​/​usr/​share/​lintian/​
628 B
./usr/share/doc/mona/examples/Examples/bdd_example.gz
194 B
filetype from file(1)
    
Offset 1, 1 lines modifiedOffset 1, 1 lines modified
1 gzip·​compressed·​data,​·​max·​compression,​·​from·​Unix,​·​original·​size·​63671 gzip·​compressed·​data,​·​max·​compression,​·​from·​Unix,​·​original·​size·​6365
328 B
bdd_example
    
Offset 1, 8 lines modifiedOffset 1, 8 lines modified
1 #!·​/​bin/​bash1 #!·​/​bin/​sh
  
2 #·​bdd_example·​-​·​temporary·​wrapper·​script·​for·​.​libs/​bdd_example2 #·​bdd_example·​-​·​temporary·​wrapper·​script·​for·​.​libs/​bdd_example
3 #·​Generated·​by·​libtool·​(GNU·​libtool)​·​2.​4.​2·​Debian-​2.​4.​2-​1.​7ubuntu13 #·​Generated·​by·​libtool·​(GNU·​libtool)​·​2.​4.​2·​Debian-​2.​4.​2-​1.​7ubuntu1
4 #4 #
5 #·​The·​bdd_example·​program·​cannot·​be·​directly·​executed·​until·​all·​the·​libtool5 #·​The·​bdd_example·​program·​cannot·​be·​directly·​executed·​until·​all·​the·​libtool
6 #·​libraries·​that·​it·​depends·​on·​are·​installed.​6 #·​libraries·​that·​it·​depends·​on·​are·​installed.​
7 #7 #
628 B
./usr/share/doc/mona/examples/Examples/gta_example.gz
194 B
filetype from file(1)
    
Offset 1, 1 lines modifiedOffset 1, 1 lines modified
1 gzip·​compressed·​data,​·​max·​compression,​·​from·​Unix,​·​original·​size·​64171 gzip·​compressed·​data,​·​max·​compression,​·​from·​Unix,​·​original·​size·​6415
328 B
gta_example
    
Offset 1, 8 lines modifiedOffset 1, 8 lines modified
1 #!·​/​bin/​bash1 #!·​/​bin/​sh
  
2 #·​gta_example·​-​·​temporary·​wrapper·​script·​for·​.​libs/​gta_example2 #·​gta_example·​-​·​temporary·​wrapper·​script·​for·​.​libs/​gta_example
3 #·​Generated·​by·​libtool·​(GNU·​libtool)​·​2.​4.​2·​Debian-​2.​4.​2-​1.​7ubuntu13 #·​Generated·​by·​libtool·​(GNU·​libtool)​·​2.​4.​2·​Debian-​2.​4.​2-​1.​7ubuntu1
4 #4 #
5 #·​The·​gta_example·​program·​cannot·​be·​directly·​executed·​until·​all·​the·​libtool5 #·​The·​gta_example·​program·​cannot·​be·​directly·​executed·​until·​all·​the·​libtool
6 #·​libraries·​that·​it·​depends·​on·​are·​installed.​6 #·​libraries·​that·​it·​depends·​on·​are·​installed.​
7 #7 #
697 B
./usr/share/doc/mona/examples/Examples/makefile.gz
196 B
filetype from file(1)
    
Offset 1, 1 lines modifiedOffset 1, 1 lines modified
1 gzip·​compressed·​data,​·​max·​compression,​·​from·​Unix,​·​original·​size·​201081 gzip·​compressed·​data,​·​max·​compression,​·​from·​Unix,​·​original·​size·​20106
401 B
makefile
    
Offset 242, 15 lines modifiedOffset 242, 15 lines modified
242 PACKAGE_URL·​=·​http:​/​/​www.​brics.​dk/​mona/​242 PACKAGE_URL·​=·​http:​/​/​www.​brics.​dk/​mona/​
243 PACKAGE_VERSION·​=·​1.​4243 PACKAGE_VERSION·​=·​1.​4
244 PATH_SEPARATOR·​=·​:​244 PATH_SEPARATOR·​=·​:​
245 RANLIB·​=·​ranlib245 RANLIB·​=·​ranlib
246 RELEASE·​=·​17246 RELEASE·​=·​17
247 SED·​=·​/​bin/​sed247 SED·​=·​/​bin/​sed
248 SET_MAKE·​=·248 SET_MAKE·​=·
249 SHELL·​=·​/​bin/​bash249 SHELL·​=·​/​bin/​sh
250 STRIP·​=·​strip250 STRIP·​=·​strip
251 VERSION·​=·​1.​4251 VERSION·​=·​1.​4
252 YACC·​=·​bison·​-​y252 YACC·​=·​bison·​-​y
253 YFLAGS·​=·253 YFLAGS·​=·
254 abs_builddir·​=·​/​build/​mona-​1.​4-​17/​Examples254 abs_builddir·​=·​/​build/​mona-​1.​4-​17/​Examples
255 abs_srcdir·​=·​/​build/​mona-​1.​4-​17/​Examples255 abs_srcdir·​=·​/​build/​mona-​1.​4-​17/​Examples
256 abs_top_builddir·​=·​/​build/​mona-​1.​4-​17256 abs_top_builddir·​=·​/​build/​mona-​1.​4-​17
684 B
./usr/share/doc/mona/examples/Examples/presburger_analysis.gz
194 B
filetype from file(1)
    
Offset 1, 1 lines modifiedOffset 1, 1 lines modified
1 gzip·​compressed·​data,​·​max·​compression,​·​from·​Unix,​·​original·​size·​64971 gzip·​compressed·​data,​·​max·​compression,​·​from·​Unix,​·​original·​size·​6495
368 B
presburger_analysis
    
Offset 1, 8 lines modifiedOffset 1, 8 lines modified
1 #!·​/​bin/​bash1 #!·​/​bin/​sh
  
2 #·​presburger_analysis·​-​·​temporary·​wrapper·​script·​for·​.​libs/​presburger_analysis2 #·​presburger_analysis·​-​·​temporary·​wrapper·​script·​for·​.​libs/​presburger_analysis
3 #·​Generated·​by·​libtool·​(GNU·​libtool)​·​2.​4.​2·​Debian-​2.​4.​2-​1.​7ubuntu13 #·​Generated·​by·​libtool·​(GNU·​libtool)​·​2.​4.​2·​Debian-​2.​4.​2-​1.​7ubuntu1
4 #4 #
5 #·​The·​presburger_analysis·​program·​cannot·​be·​directly·​executed·​until·​all·​the·​libtool5 #·​The·​presburger_analysis·​program·​cannot·​be·​directly·​executed·​until·​all·​the·​libtool
6 #·​libraries·​that·​it·​depends·​on·​are·​installed.​6 #·​libraries·​that·​it·​depends·​on·​are·​installed.​
7 #7 #
712 B
./usr/share/doc/mona/examples/Examples/presburger_transduction.gz
194 B
filetype from file(1)
    
Offset 1, 1 lines modifiedOffset 1, 1 lines modified
1 gzip·​compressed·​data,​·​max·​compression,​·​from·​Unix,​·​original·​size·​65371 gzip·​compressed·​data,​·​max·​compression,​·​from·​Unix,​·​original·​size·​6535
388 B
presburger_transduction
    
Offset 1, 8 lines modifiedOffset 1, 8 lines modified
1 #!·​/​bin/​bash1 #!·​/​bin/​sh
  
2 #·​presburger_transducti​on·​-​·​temporary·​wrapper·​script·​for·​.​libs/​presburger_transducti​on2 #·​presburger_transducti​on·​-​·​temporary·​wrapper·​script·​for·​.​libs/​presburger_transducti​on
3 #·​Generated·​by·​libtool·​(GNU·​libtool)​·​2.​4.​2·​Debian-​2.​4.​2-​1.​7ubuntu13 #·​Generated·​by·​libtool·​(GNU·​libtool)​·​2.​4.​2·​Debian-​2.​4.​2-​1.​7ubuntu1
4 #4 #
5 #·​The·​presburger_transducti​on·​program·​cannot·​be·​directly·​executed·​until·​all·​the·​libtool5 #·​The·​presburger_transducti​on·​program·​cannot·​be·​directly·​executed·​until·​all·​the·​libtool
6 #·​libraries·​that·​it·​depends·​on·​are·​installed.​6 #·​libraries·​that·​it·​depends·​on·​are·​installed.​
7 #7 #