73.3 KB
/srv/reproducible-results/rbuild-debian/r-b-build.EXY7Gal6/b1/ssreflect_1.15.0-1_i386.changes vs.
/srv/reproducible-results/rbuild-debian/r-b-build.EXY7Gal6/b2/ssreflect_1.15.0-1_i386.changes
808 B
Files
    
Offset 1, 8 lines modifiedOffset 1, 8 lines modified
  
1 ·c10c6ed1afc29d619d80962e0d46ddaa·6501500·math·optional·libcoq-mathcomp-algebra_1.15.0-1_i386.deb1 ·c10c6ed1afc29d619d80962e0d46ddaa·6501500·math·optional·libcoq-mathcomp-algebra_1.15.0-1_i386.deb
2 ·3fa6e1234c7f824fbfd9b9255f7a5196·3958192·math·optional·libcoq-mathcomp-character_1.15.0-1_i386.deb2 ·3fa6e1234c7f824fbfd9b9255f7a5196·3958192·math·optional·libcoq-mathcomp-character_1.15.0-1_i386.deb
3 ·0f14b2aed6f2584c11578aa21ba9d7e7·2764800·math·optional·libcoq-mathcomp-field_1.15.0-1_i386.deb3 ·0f14b2aed6f2584c11578aa21ba9d7e7·2764800·math·optional·libcoq-mathcomp-field_1.15.0-1_i386.deb
4 ·0d3534fc00eb6178240d7711eeb47d40·1919320·math·optional·libcoq-mathcomp-fingroup_1.15.0-1_i386.deb4 ·0d3534fc00eb6178240d7711eeb47d40·1919320·math·optional·libcoq-mathcomp-fingroup_1.15.0-1_i386.deb
5 ·a3f470a6d62568af4bb67aea20576343·4535036·math·optional·libcoq-mathcomp-solvable_1.15.0-1_i386.deb5 ·a3f470a6d62568af4bb67aea20576343·4535036·math·optional·libcoq-mathcomp-solvable_1.15.0-1_i386.deb
6 ·beba9134250fb7c0f35e7c514a86f308·4206256·math·optional·libcoq-mathcomp-ssreflect_1.15.0-1_i386.deb6 ·beba9134250fb7c0f35e7c514a86f308·4206256·math·optional·libcoq-mathcomp-ssreflect_1.15.0-1_i386.deb
7 ·13224a6d26e9b1e4e7c224f06a6c13cf·3157344·math·optional·libcoq-mathcomp_1.15.0-1_i386.deb7 ·c1fd2edf4cec89060f6b950b9eb17450·3157604·math·optional·libcoq-mathcomp_1.15.0-1_i386.deb
72.3 KB
libcoq-mathcomp_1.15.0-1_i386.deb
452 B
file list
    
Offset 1, 3 lines modifiedOffset 1, 3 lines modified
1 -rw-r--r--···0········0········0········4·2022-07-05·06:55:31.000000·debian-binary1 -rw-r--r--···0········0········0········4·2022-07-05·06:55:31.000000·debian-binary
2 -rw-r--r--···0········0········0····10488·2022-07-05·06:55:31.000000·control.tar.xz2 -rw-r--r--···0········0········0····10484·2022-07-05·06:55:31.000000·control.tar.xz
3 -rw-r--r--···0········0········0··3146664·2022-07-05·06:55:31.000000·data.tar.xz3 -rw-r--r--···0········0········0··3146928·2022-07-05·06:55:31.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
71.7 KB
data.tar.xz
71.7 KB
data.tar
71.7 KB
./usr/share/doc/libcoq-mathcomp/htmldoc/depend.js
71.6 KB
js-beautify {}
    
Offset 16, 474 lines modifiedOffset 16, 446 lines modified
16 ····················id:·"cyclic",16 ····················id:·"cyclic",
17 ····················name:·"cyclic",17 ····················name:·"cyclic",
18 ····················parent:·"cluster_solvable",18 ····················parent:·"cluster_solvable",
19 ····················released:·"no"19 ····················released:·"no"
20 ················}20 ················}
21 ············},·{21 ············},·{
22 ················data:·{22 ················data:·{
23 ····················id:·"hall",23 ····················id:·"extremal",
24 ····················name:·"hall",24 ····················name:·"extremal",
25 ····················parent:·"cluster_solvable",25 ····················parent:·"cluster_solvable",
26 ····················released:·"no"26 ····················released:·"no"
27 ················}27 ················}
28 ············},·{28 ············},·{
29 ················data:·{29 ················data:·{
30 ····················id:·"burnside_app",30 ····················id:·"finmodule",
31 ····················name:·"burnside_app",31 ····················name:·"finmodule",
32 ····················parent:·"cluster_solvable",32 ····················parent:·"cluster_solvable",
33 ····················released:·"no"33 ····················released:·"no"
34 ················}34 ················}
35 ············},·{35 ············},·{
36 ················data:·{36 ················data:·{
37 ····················id:·"frobenius",37 ····················id:·"burnside_app",
38 ····················name:·"frobenius",38 ····················name:·"burnside_app",
39 ····················parent:·"cluster_solvable",39 ····················parent:·"cluster_solvable",
40 ····················released:·"no"40 ····················released:·"no"
41 ················}41 ················}
42 ············},·{42 ············},·{
43 ················data:·{43 ················data:·{
44 ····················id:·"abelian",44 ····················id:·"center",
45 ····················name:·"abelian",45 ····················name:·"center",
46 ····················parent:·"cluster_solvable",46 ····················parent:·"cluster_solvable",
47 ····················released:·"no"47 ····················released:·"no"
48 ················}48 ················}
49 ············},·{49 ············},·{
50 ················data:·{50 ················data:·{
51 ····················id:·"alt",51 ····················id:·"maximal",
52 ····················name:·"alt",52 ····················name:·"maximal",
53 ····················parent:·"cluster_solvable",53 ····················parent:·"cluster_solvable",
54 ····················released:·"no"54 ····················released:·"no"
55 ················}55 ················}
56 ············},·{56 ············},·{
57 ················data:·{57 ················data:·{
58 ····················id:·"finmodule",58 ····················id:·"alt",
59 ····················name:·"finmodule",59 ····················name:·"alt",
60 ····················parent:·"cluster_solvable",60 ····················parent:·"cluster_solvable",
61 ····················released:·"no"61 ····················released:·"no"
62 ················}62 ················}
63 ············},·{63 ············},·{
64 ················data:·{64 ················data:·{
65 ····················id:·"nilpotent",65 ····················id:·"gseries",
66 ····················name:·"nilpotent",66 ····················name:·"gseries",
67 ····················parent:·"cluster_solvable",67 ····················parent:·"cluster_solvable",
68 ····················released:·"no"68 ····················released:·"no"
69 ················}69 ················}
70 ············},·{70 ············},·{
71 ················data:·{71 ················data:·{
72 ····················id:·"pgroup",72 ····················id:·"all_solvable",
73 ····················name:·"pgroup",73 ····················name:·"all_solvable",
74 ····················parent:·"cluster_solvable",74 ····················parent:·"cluster_solvable",
75 ····················released:·"no"75 ····················released:·"no"
76 ················}76 ················}
77 ············},·{77 ············},·{
78 ················data:·{78 ················data:·{
79 ····················id:·"center",79 ····················id:·"jordanholder",
80 ····················name:·"center",80 ····················name:·"jordanholder",
81 ····················parent:·"cluster_solvable",81 ····················parent:·"cluster_solvable",
82 ····················released:·"no"82 ····················released:·"no"
83 ················}83 ················}
84 ············},·{84 ············},·{
85 ················data:·{85 ················data:·{
86 ····················id:·"primitive_action",86 ····················id:·"abelian",
87 ····················name:·"primitive_action",87 ····················name:·"abelian",
88 ····················parent:·"cluster_solvable",88 ····················parent:·"cluster_solvable",
89 ····················released:·"no"89 ····················released:·"no"
90 ················}90 ················}
91 ············},·{91 ············},·{
92 ················data:·{92 ················data:·{
93 ····················id:·"gfunctor",93 ····················id:·"nilpotent",
94 ····················name:·"gfunctor",94 ····················name:·"nilpotent",
95 ····················parent:·"cluster_solvable",95 ····················parent:·"cluster_solvable",
96 ····················released:·"no"96 ····················released:·"no"
97 ················}97 ················}
98 ············},·{98 ············},·{
99 ················data:·{99 ················data:·{
100 ····················id:·"extraspecial",100 ····················id:·"sylow",
101 ····················name:·"extraspecial",101 ····················name:·"sylow",
102 ····················parent:·"cluster_solvable",102 ····················parent:·"cluster_solvable",
103 ····················released:·"no"103 ····················released:·"no"
104 ················}104 ················}
105 ············},·{105 ············},·{
106 ················data:·{106 ················data:·{
107 ····················id:·"commutator", 
108 ····················name:·"commutator",107 ····················id:·"primitive_action",
 108 ····················name:·"primitive_action",
109 ····················parent:·"cluster_solvable",109 ····················parent:·"cluster_solvable",
110 ····················released:·"no"110 ····················released:·"no"
111 ················}111 ················}
112 ············},·{112 ············},·{
113 ················data:·{113 ················data:·{
114 ····················id:·"jordanholder",114 ····················id:·"frobenius",
115 ····················name:·"jordanholder",115 ····················name:·"frobenius",
116 ····················parent:·"cluster_solvable",116 ····················parent:·"cluster_solvable",
117 ····················released:·"no"117 ····················released:·"no"
118 ················}118 ················}
119 ············},·{119 ············},·{
120 ················data:·{120 ················data:·{
121 ····················id:·"sylow",121 ····················id:·"hall",
122 ····················name:·"sylow",122 ····················name:·"hall",
123 ····················parent:·"cluster_solvable",123 ····················parent:·"cluster_solvable",
124 ····················released:·"no"124 ····················released:·"no"
125 ················}125 ················}
126 ············},·{126 ············},·{
127 ················data:·{127 ················data:·{
128 ····················id:·"extremal",128 ····················id:·"pgroup",
129 ····················name:·"extremal",129 ····················name:·"pgroup",
130 ····················parent:·"cluster_solvable",130 ····················parent:·"cluster_solvable",
131 ····················released:·"no"131 ····················released:·"no"
132 ················}132 ················}
133 ············},·{133 ············},·{
134 ················data:·{134 ················data:·{
135 ····················id:·"all_solvable",135 ····················id:·"gfunctor",
136 ····················name:·"all_solvable",136 ····················name:·"gfunctor",
137 ····················parent:·"cluster_solvable",137 ····················parent:·"cluster_solvable",
138 ····················released:·"no"138 ····················released:·"no"
139 ················}139 ················}
140 ············},·{140 ············},·{
141 ················data:·{141 ················data:·{
Max diff block lines reached; 67736/73299 bytes (92.41%) of diff not shown.