79.5 KB
/srv/reproducible-results/rbuild-debian/r-b-build.00eES099/b1/ssreflect_2.1.0-1_armhf.changes vs.
/srv/reproducible-results/rbuild-debian/r-b-build.00eES099/b2/ssreflect_2.1.0-1_armhf.changes
808 B
Files
    
Offset 1, 8 lines modifiedOffset 1, 8 lines modified
  
1 ·a4b33737cbf06786a590a17fe8628d90·9030716·math·optional·libcoq-mathcomp-algebra_2.1.0-1_armhf.deb1 ·a4b33737cbf06786a590a17fe8628d90·9030716·math·optional·libcoq-mathcomp-algebra_2.1.0-1_armhf.deb
2 ·2d7ae1656652be2fb66e4d88ae4d64f0·3940276·math·optional·libcoq-mathcomp-character_2.1.0-1_armhf.deb2 ·2d7ae1656652be2fb66e4d88ae4d64f0·3940276·math·optional·libcoq-mathcomp-character_2.1.0-1_armhf.deb
3 ·5f1513f7a717dee13eb226bf4b7512d0·3039928·math·optional·libcoq-mathcomp-field_2.1.0-1_armhf.deb3 ·5f1513f7a717dee13eb226bf4b7512d0·3039928·math·optional·libcoq-mathcomp-field_2.1.0-1_armhf.deb
4 ·012d4a90b4308b317d712564b4040afa·2020244·math·optional·libcoq-mathcomp-fingroup_2.1.0-1_armhf.deb4 ·012d4a90b4308b317d712564b4040afa·2020244·math·optional·libcoq-mathcomp-fingroup_2.1.0-1_armhf.deb
5 ·32644a0c6650f5e90623c9c40b0823fd·4657148·math·optional·libcoq-mathcomp-solvable_2.1.0-1_armhf.deb5 ·32644a0c6650f5e90623c9c40b0823fd·4657148·math·optional·libcoq-mathcomp-solvable_2.1.0-1_armhf.deb
6 ·97e61191b041423af91fef3cb526a1fc·5797376·math·optional·libcoq-mathcomp-ssreflect_2.1.0-1_armhf.deb6 ·97e61191b041423af91fef3cb526a1fc·5797376·math·optional·libcoq-mathcomp-ssreflect_2.1.0-1_armhf.deb
7 ·4aa6474ea4be199fe9990e6098897d1e·2867668·math·optional·libcoq-mathcomp_2.1.0-1_armhf.deb7 ·993ec392a39fcaab485a849bd96f2179·2867468·math·optional·libcoq-mathcomp_2.1.0-1_armhf.deb
78.5 KB
libcoq-mathcomp_2.1.0-1_armhf.deb
367 B
file list
    
Offset 1, 3 lines modifiedOffset 1, 3 lines modified
1 -rw-r--r--···0········0········0········4·2023-12-21·16:25:16.000000·debian-binary1 -rw-r--r--···0········0········0········4·2023-12-21·16:25:16.000000·debian-binary
2 -rw-r--r--···0········0········0····10180·2023-12-21·16:25:16.000000·control.tar.xz2 -rw-r--r--···0········0········0····10180·2023-12-21·16:25:16.000000·control.tar.xz
3 -rw-r--r--···0········0········0··2857296·2023-12-21·16:25:16.000000·data.tar.xz3 -rw-r--r--···0········0········0··2857096·2023-12-21·16:25:16.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
78.0 KB
data.tar.xz
78.0 KB
data.tar
78.0 KB
./usr/share/doc/libcoq-mathcomp/htmldoc/depend.js
77.9 KB
js-beautify {}
    
Offset 1, 1055 lines modifiedOffset 1, 1055 lines modified
1 ········var·depends·=·[1 ········var·depends·=·[
  
2 ············{2 ············{
3 ················data:·{3 ················data:·{
4 ····················id:·"cluster_solvable",4 ····················id:·"cluster_fingroup",
5 ····················name:·"solvable"5 ····················name:·"fingroup"
6 ················}6 ················}
7 ············},·{7 ············},·{
8 ················data:·{8 ················data:·{
9 ····················id:·"cluster_solvable_plus",9 ····················id:·"cluster_fingroup_plus",
10 ····················name:·"+",10 ····················name:·"+",
11 ····················parent:·"cluster_solvable"11 ····················parent:·"cluster_fingroup"
12 ················}12 ················}
13 ············},·{13 ············},·{
14 ················data:·{14 ················data:·{
15 ····················id:·"center",15 ····················id:·"perm",
16 ····················name:·"center",16 ····················name:·"perm",
17 ····················parent:·"cluster_solvable",17 ····················parent:·"cluster_fingroup",
18 ····················released:·"no"18 ····················released:·"no"
19 ················}19 ················}
20 ············},·{20 ············},·{
21 ················data:·{21 ················data:·{
22 ····················id:·"cyclic",22 ····················id:·"morphism",
23 ····················name:·"cyclic",23 ····················name:·"morphism",
24 ····················parent:·"cluster_solvable",24 ····················parent:·"cluster_fingroup",
25 ····················released:·"no"25 ····················released:·"no"
26 ················}26 ················}
27 ············},·{27 ············},·{
28 ················data:·{28 ················data:·{
29 ····················id:·"commutator",29 ····················id:·"gproduct",
30 ····················name:·"commutator",30 ····················name:·"gproduct",
31 ····················parent:·"cluster_solvable",31 ····················parent:·"cluster_fingroup",
32 ····················released:·"no"32 ····················released:·"no"
33 ················}33 ················}
34 ············},·{34 ············},·{
35 ················data:·{35 ················data:·{
36 ····················id:·"maximal",36 ····················id:·"quotient",
37 ····················name:·"maximal",37 ····················name:·"quotient",
38 ····················parent:·"cluster_solvable",38 ····················parent:·"cluster_fingroup",
39 ····················released:·"no"39 ····················released:·"no"
40 ················}40 ················}
41 ············},·{41 ············},·{
42 ················data:·{42 ················data:·{
43 ····················id:·"all_solvable",43 ····················id:·"action",
44 ····················name:·"all_solvable",44 ····················name:·"action",
45 ····················parent:·"cluster_solvable",45 ····················parent:·"cluster_fingroup",
46 ····················released:·"no"46 ····················released:·"no"
47 ················}47 ················}
48 ············},·{48 ············},·{
49 ················data:·{49 ················data:·{
50 ····················id:·"pgroup",50 ····················id:·"presentation",
51 ····················name:·"pgroup",51 ····················name:·"presentation",
52 ····················parent:·"cluster_solvable",52 ····················parent:·"cluster_fingroup",
53 ····················released:·"no"53 ····················released:·"no"
54 ················}54 ················}
55 ············},·{55 ············},·{
56 ················data:·{56 ················data:·{
57 ····················id:·"sylow",57 ····················id:·"fingroup",
58 ····················name:·"sylow",58 ····················name:·"fingroup",
59 ····················parent:·"cluster_solvable",59 ····················parent:·"cluster_fingroup",
60 ····················released:·"no"60 ····················released:·"no"
61 ················}61 ················}
62 ············},·{62 ············},·{
63 ················data:·{63 ················data:·{
64 ····················id:·"frobenius",64 ····················id:·"automorphism",
65 ····················name:·"frobenius",65 ····················name:·"automorphism",
66 ····················parent:·"cluster_solvable",66 ····················parent:·"cluster_fingroup",
67 ····················released:·"no"67 ····················released:·"no"
68 ················}68 ················}
69 ············},·{69 ············},·{
70 ················data:·{70 ················data:·{
71 ····················id:·"jordanholder", 
72 ····················name:·"jordanholder",71 ····················id:·"all_fingroup",
 72 ····················name:·"all_fingroup",
73 ····················parent:·"cluster_solvable",73 ····················parent:·"cluster_fingroup",
74 ····················released:·"no"74 ····················released:·"no"
75 ················}75 ················}
76 ············},·{76 ············},·{
77 ················data:·{77 ················data:·{
78 ····················id:·"extremal",78 ····················id:·"cluster_field",
79 ····················name:·"extremal",79 ····················name:·"field"
80 ····················parent:·"cluster_solvable", 
81 ····················released:·"no" 
82 ················}80 ················}
83 ············},·{81 ············},·{
84 ················data:·{82 ················data:·{
85 ····················id:·"abelian",83 ····················id:·"cluster_field_plus",
86 ····················name:·"abelian",84 ····················name:·"+",
87 ····················parent:·"cluster_solvable",85 ····················parent:·"cluster_field"
88 ····················released:·"no" 
89 ················}86 ················}
90 ············},·{87 ············},·{
91 ················data:·{88 ················data:·{
92 ····················id:·"finmodule",89 ····················id:·"all_field",
93 ····················name:·"finmodule",90 ····················name:·"all_field",
94 ····················parent:·"cluster_solvable",91 ····················parent:·"cluster_field",
95 ····················released:·"no"92 ····················released:·"no"
96 ················}93 ················}
97 ············},·{94 ············},·{
98 ················data:·{95 ················data:·{
99 ····················id:·"nilpotent",96 ····················id:·"cyclotomic",
100 ····················name:·"nilpotent",97 ····················name:·"cyclotomic",
101 ····················parent:·"cluster_solvable",98 ····················parent:·"cluster_field",
102 ····················released:·"no"99 ····················released:·"no"
103 ················}100 ················}
104 ············},·{101 ············},·{
105 ················data:·{102 ················data:·{
106 ····················id:·"primitive_action",103 ····················id:·"galois",
107 ····················name:·"primitive_action",104 ····················name:·"galois",
108 ····················parent:·"cluster_solvable",105 ····················parent:·"cluster_field",
109 ····················released:·"no"106 ····················released:·"no"
110 ················}107 ················}
111 ············},·{108 ············},·{
112 ················data:·{109 ················data:·{
113 ····················id:·"burnside_app",110 ····················id:·"algnum",
114 ····················name:·"burnside_app",111 ····················name:·"algnum",
115 ····················parent:·"cluster_solvable",112 ····················parent:·"cluster_field",
116 ····················released:·"no"113 ····················released:·"no"
117 ················}114 ················}
118 ············},·{115 ············},·{
119 ················data:·{116 ················data:·{
120 ····················id:·"extraspecial",117 ····················id:·"falgebra",
121 ····················name:·"extraspecial",118 ····················name:·"falgebra",
122 ····················parent:·"cluster_solvable",119 ····················parent:·"cluster_field",
123 ····················released:·"no"120 ····················released:·"no"
124 ················}121 ················}
125 ············},·{122 ············},·{
Max diff block lines reached; 73578/79735 bytes (92.28%) of diff not shown.