82.5 KB
/srv/reproducible-results/rbuild-debian/r-b-build.fS2PNMut/b1/ssreflect_2.3.0-1_arm64.changes vs.
/srv/reproducible-results/rbuild-debian/r-b-build.fS2PNMut/b2/ssreflect_2.3.0-1_arm64.changes
809 B
Files
    
Offset 1, 8 lines modifiedOffset 1, 8 lines modified
  
1 ·2526dcb0b691dad145c603154bd02f4b·12035860·math·optional·libcoq-mathcomp-algebra_2.3.0-1_arm64.deb1 ·2526dcb0b691dad145c603154bd02f4b·12035860·math·optional·libcoq-mathcomp-algebra_2.3.0-1_arm64.deb
2 ·c1d438e3cbecfb0fa431eea303708a71·4288180·math·optional·libcoq-mathcomp-character_2.3.0-1_arm64.deb2 ·c1d438e3cbecfb0fa431eea303708a71·4288180·math·optional·libcoq-mathcomp-character_2.3.0-1_arm64.deb
3 ·b2bd09b9918fd77a5e9a7cd45c76486a·3406508·math·optional·libcoq-mathcomp-field_2.3.0-1_arm64.deb3 ·b2bd09b9918fd77a5e9a7cd45c76486a·3406508·math·optional·libcoq-mathcomp-field_2.3.0-1_arm64.deb
4 ·c33b6e59e9ed4fed291f0398a667abc3·2299464·math·optional·libcoq-mathcomp-fingroup_2.3.0-1_arm64.deb4 ·c33b6e59e9ed4fed291f0398a667abc3·2299464·math·optional·libcoq-mathcomp-fingroup_2.3.0-1_arm64.deb
5 ·8b8bfa983a93757090c96f3c6c778103·4864128·math·optional·libcoq-mathcomp-solvable_2.3.0-1_arm64.deb5 ·8b8bfa983a93757090c96f3c6c778103·4864128·math·optional·libcoq-mathcomp-solvable_2.3.0-1_arm64.deb
6 ·6107f05574d6d330dad7ed1954e25de3·8255488·math·optional·libcoq-mathcomp-ssreflect_2.3.0-1_arm64.deb6 ·6107f05574d6d330dad7ed1954e25de3·8255488·math·optional·libcoq-mathcomp-ssreflect_2.3.0-1_arm64.deb
7 ·a342ee45f6d3984587b1022f7cf3119e·3063324·math·optional·libcoq-mathcomp_2.3.0-1_arm64.deb7 ·ace9ee89346a13f696568cf2da2b2ba2·3063308·math·optional·libcoq-mathcomp_2.3.0-1_arm64.deb
81.6 KB
libcoq-mathcomp_2.3.0-1_arm64.deb
367 B
file list
    
Offset 1, 3 lines modifiedOffset 1, 3 lines modified
1 -rw-r--r--···0········0········0········4·2024-12-18·11:14:08.000000·debian-binary1 -rw-r--r--···0········0········0········4·2024-12-18·11:14:08.000000·debian-binary
2 -rw-r--r--···0········0········0····10356·2024-12-18·11:14:08.000000·control.tar.xz2 -rw-r--r--···0········0········0····10356·2024-12-18·11:14:08.000000·control.tar.xz
3 -rw-r--r--···0········0········0··3052776·2024-12-18·11:14:08.000000·data.tar.xz3 -rw-r--r--···0········0········0··3052760·2024-12-18·11:14:08.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
81.0 KB
data.tar.xz
81.0 KB
data.tar
81.0 KB
./usr/share/doc/libcoq-mathcomp/htmldoc/depend.js
80.9 KB
js-beautify {}
    
Offset 1, 1574 lines modifiedOffset 1, 1574 lines modified
1 ········var·depends·=·[1 ········var·depends·=·[
  
2 ············{2 ············{
3 ················data:·{3 ················data:·{
4 ····················id:·"cluster_solvable",4 ····················id:·"cluster_character",
5 ····················name:·"solvable"5 ····················name:·"character"
6 ················}6 ················}
7 ············},·{7 ············},·{
8 ················data:·{8 ················data:·{
9 ····················id:·"cluster_solvable_plus",9 ····················id:·"cluster_character_plus",
10 ····················name:·"+",10 ····················name:·"+",
11 ····················parent:·"cluster_solvable"11 ····················parent:·"cluster_character"
12 ················}12 ················}
13 ············},·{13 ············},·{
14 ················data:·{14 ················data:·{
15 ····················id:·"frobenius",15 ····················id:·"character",
16 ····················name:·"frobenius",16 ····················name:·"character",
17 ····················parent:·"cluster_solvable",17 ····················parent:·"cluster_character",
18 ····················released:·"no"18 ····················released:·"no"
19 ················}19 ················}
20 ············},·{20 ············},·{
21 ················data:·{21 ················data:·{
22 ····················id:·"maximal",22 ····················id:·"mxrepresentation",
23 ····················name:·"maximal",23 ····················name:·"mxrepresentation",
24 ····················parent:·"cluster_solvable",24 ····················parent:·"cluster_character",
25 ····················released:·"no"25 ····················released:·"no"
26 ················}26 ················}
27 ············},·{27 ············},·{
28 ················data:·{28 ················data:·{
29 ····················id:·"hall",29 ····················id:·"all_character",
30 ····················name:·"hall",30 ····················name:·"all_character",
31 ····················parent:·"cluster_solvable",31 ····················parent:·"cluster_character",
32 ····················released:·"no"32 ····················released:·"no"
33 ················}33 ················}
34 ············},·{34 ············},·{
35 ················data:·{35 ················data:·{
36 ····················id:·"extraspecial",36 ····················id:·"inertia",
37 ····················name:·"extraspecial",37 ····················name:·"inertia",
38 ····················parent:·"cluster_solvable",38 ····················parent:·"cluster_character",
39 ····················released:·"no"39 ····················released:·"no"
40 ················}40 ················}
41 ············},·{41 ············},·{
42 ················data:·{42 ················data:·{
43 ····················id:·"alt",43 ····················id:·"vcharacter",
44 ····················name:·"alt",44 ····················name:·"vcharacter",
45 ····················parent:·"cluster_solvable",45 ····················parent:·"cluster_character",
46 ····················released:·"no"46 ····················released:·"no"
47 ················}47 ················}
48 ············},·{48 ············},·{
49 ················data:·{49 ················data:·{
50 ····················id:·"center",50 ····················id:·"classfun",
51 ····················name:·"center",51 ····················name:·"classfun",
52 ····················parent:·"cluster_solvable",52 ····················parent:·"cluster_character",
53 ····················released:·"no"53 ····················released:·"no"
54 ················}54 ················}
55 ············},·{55 ············},·{
56 ················data:·{56 ················data:·{
57 ····················id:·"finmodule",57 ····················id:·"integral_char",
58 ····················name:·"finmodule",58 ····················name:·"integral_char",
59 ····················parent:·"cluster_solvable",59 ····················parent:·"cluster_character",
60 ····················released:·"no"60 ····················released:·"no"
61 ················}61 ················}
62 ············},·{62 ············},·{
63 ················data:·{63 ················data:·{
64 ····················id:·"extremal",64 ····················id:·"mxabelem",
65 ····················name:·"extremal",65 ····················name:·"mxabelem",
66 ····················parent:·"cluster_solvable",66 ····················parent:·"cluster_character",
67 ····················released:·"no"67 ····················released:·"no"
68 ················}68 ················}
69 ············},·{69 ············},·{
70 ················data:·{70 ················data:·{
71 ····················id:·"jordanholder",71 ····················id:·"cluster_all",
72 ····················name:·"jordanholder",72 ····················name:·"all"
73 ····················parent:·"cluster_solvable", 
74 ····················released:·"no" 
75 ················}73 ················}
76 ············},·{74 ············},·{
77 ················data:·{75 ················data:·{
78 ····················id:·"abelian",76 ····················id:·"cluster_all_plus",
79 ····················name:·"abelian",77 ····················name:·"+",
80 ····················parent:·"cluster_solvable",78 ····················parent:·"cluster_all"
81 ····················released:·"no" 
82 ················}79 ················}
83 ············},·{80 ············},·{
84 ················data:·{81 ················data:·{
85 ····················id:·"nilpotent",82 ····················id:·"all",
86 ····················name:·"nilpotent",83 ····················name:·"all",
87 ····················parent:·"cluster_solvable",84 ····················parent:·"cluster_all",
88 ····················released:·"no"85 ····················released:·"no"
89 ················}86 ················}
90 ············},·{87 ············},·{
91 ················data:·{88 ················data:·{
92 ····················id:·"pgroup",89 ····················id:·"cluster_fingroup",
93 ····················name:·"pgroup",90 ····················name:·"fingroup"
94 ····················parent:·"cluster_solvable", 
95 ····················released:·"no" 
96 ················}91 ················}
97 ············},·{92 ············},·{
98 ················data:·{93 ················data:·{
99 ····················id:·"cyclic",94 ····················id:·"cluster_fingroup_plus",
100 ····················name:·"cyclic",95 ····················name:·"+",
101 ····················parent:·"cluster_solvable",96 ····················parent:·"cluster_fingroup"
102 ····················released:·"no" 
103 ················}97 ················}
104 ············},·{98 ············},·{
105 ················data:·{99 ················data:·{
106 ····················id:·"commutator",100 ····················id:·"action",
107 ····················name:·"commutator",101 ····················name:·"action",
108 ····················parent:·"cluster_solvable",102 ····················parent:·"cluster_fingroup",
109 ····················released:·"no"103 ····················released:·"no"
110 ················}104 ················}
111 ············},·{105 ············},·{
112 ················data:·{106 ················data:·{
113 ····················id:·"burnside_app",107 ····················id:·"perm",
114 ····················name:·"burnside_app",108 ····················name:·"perm",
115 ····················parent:·"cluster_solvable",109 ····················parent:·"cluster_fingroup",
116 ····················released:·"no"110 ····················released:·"no"
117 ················}111 ················}
118 ············},·{112 ············},·{
119 ················data:·{113 ················data:·{
120 ····················id:·"primitive_action", 
121 ····················name:·"primitive_action",114 ····················id:·"all_fingroup",
 115 ····················name:·"all_fingroup",
122 ····················parent:·"cluster_solvable",116 ····················parent:·"cluster_fingroup",
123 ····················released:·"no"117 ····················released:·"no"
124 ················}118 ················}
125 ············},·{119 ············},·{
Max diff block lines reached; 76692/82822 bytes (92.60%) of diff not shown.