80.1 KB
/srv/reproducible-results/rbuild-debian/r-b-build.23JWuNRA/b1/ssreflect_2.2.0-2_arm64.changes vs.
/srv/reproducible-results/rbuild-debian/r-b-build.23JWuNRA/b2/ssreflect_2.2.0-2_arm64.changes
809 B
Files
    
Offset 1, 8 lines modifiedOffset 1, 8 lines modified
  
1 ·165ccafef85a27db77f60634abffc983·10003364·math·optional·libcoq-mathcomp-algebra_2.2.0-2_arm64.deb1 ·165ccafef85a27db77f60634abffc983·10003364·math·optional·libcoq-mathcomp-algebra_2.2.0-2_arm64.deb
2 ·72c7c262a564e2f9997f4b90d30cadbc·4186808·math·optional·libcoq-mathcomp-character_2.2.0-2_arm64.deb2 ·72c7c262a564e2f9997f4b90d30cadbc·4186808·math·optional·libcoq-mathcomp-character_2.2.0-2_arm64.deb
3 ·78671c4e28e742ff491f5dbbf692e54e·3250084·math·optional·libcoq-mathcomp-field_2.2.0-2_arm64.deb3 ·78671c4e28e742ff491f5dbbf692e54e·3250084·math·optional·libcoq-mathcomp-field_2.2.0-2_arm64.deb
4 ·85928e014be67fb2655d7cb391279b97·2161664·math·optional·libcoq-mathcomp-fingroup_2.2.0-2_arm64.deb4 ·85928e014be67fb2655d7cb391279b97·2161664·math·optional·libcoq-mathcomp-fingroup_2.2.0-2_arm64.deb
5 ·3e1489b62994c0f75bbd3a879aef4462·4725788·math·optional·libcoq-mathcomp-solvable_2.2.0-2_arm64.deb5 ·3e1489b62994c0f75bbd3a879aef4462·4725788·math·optional·libcoq-mathcomp-solvable_2.2.0-2_arm64.deb
6 ·280b2aeac2885b86fe1fe5740fe083e2·6078180·math·optional·libcoq-mathcomp-ssreflect_2.2.0-2_arm64.deb6 ·280b2aeac2885b86fe1fe5740fe083e2·6078180·math·optional·libcoq-mathcomp-ssreflect_2.2.0-2_arm64.deb
7 ·5fd81370f3866a0ea0b6074ccb053238·2862020·math·optional·libcoq-mathcomp_2.2.0-2_arm64.deb7 ·ed2958fb79ce021eba4fbecc53e5d523·2861940·math·optional·libcoq-mathcomp_2.2.0-2_arm64.deb
79.1 KB
libcoq-mathcomp_2.2.0-2_arm64.deb
367 B
file list
    
Offset 1, 3 lines modifiedOffset 1, 3 lines modified
1 -rw-r--r--···0········0········0········4·2024-08-03·08:09:08.000000·debian-binary1 -rw-r--r--···0········0········0········4·2024-08-03·08:09:08.000000·debian-binary
2 -rw-r--r--···0········0········0····10216·2024-08-03·08:09:08.000000·control.tar.xz2 -rw-r--r--···0········0········0····10216·2024-08-03·08:09:08.000000·control.tar.xz
3 -rw-r--r--···0········0········0··2851612·2024-08-03·08:09:08.000000·data.tar.xz3 -rw-r--r--···0········0········0··2851532·2024-08-03·08:09: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
78.6 KB
data.tar.xz
78.6 KB
data.tar
78.5 KB
./usr/share/doc/libcoq-mathcomp/htmldoc/depend.js
78.4 KB
js-beautify {}
    
Offset 1, 1747 lines modifiedOffset 1, 1747 lines modified
1 ········var·depends·=·[1 ········var·depends·=·[
  
2 ············{2 ············{
3 ················data:·{3 ················data:·{
4 ····················id:·"cluster_all",4 ····················id:·"cluster_fingroup",
5 ····················name:·"all"5 ····················name:·"fingroup"
6 ················}6 ················}
7 ············},·{7 ············},·{
8 ················data:·{8 ················data:·{
9 ····················id:·"cluster_all_plus",9 ····················id:·"cluster_fingroup_plus",
10 ····················name:·"+",10 ····················name:·"+",
11 ····················parent:·"cluster_all"11 ····················parent:·"cluster_fingroup"
12 ················}12 ················}
13 ············},·{13 ············},·{
14 ················data:·{14 ················data:·{
15 ····················id:·"all",15 ····················id:·"automorphism",
16 ····················name:·"all",16 ····················name:·"automorphism",
17 ····················parent:·"cluster_all",17 ····················parent:·"cluster_fingroup",
18 ····················released:·"no"18 ····················released:·"no"
19 ················}19 ················}
20 ············},·{20 ············},·{
21 ················data:·{21 ················data:·{
 22 ····················id:·"presentation",
22 ····················id:·"cluster_solvable", 
23 ····················name:·"solvable" 
24 ················} 
25 ············},·{ 
26 ················data:·{ 
27 ····················id:·"cluster_solvable_plus", 
28 ····················name:·"+",23 ····················name:·"presentation",
29 ····················parent:·"cluster_solvable"24 ····················parent:·"cluster_fingroup",
 25 ····················released:·"no"
30 ················}26 ················}
31 ············},·{27 ············},·{
32 ················data:·{28 ················data:·{
33 ····················id:·"finmodule",29 ····················id:·"perm",
34 ····················name:·"finmodule",30 ····················name:·"perm",
35 ····················parent:·"cluster_solvable",31 ····················parent:·"cluster_fingroup",
36 ····················released:·"no"32 ····················released:·"no"
37 ················}33 ················}
38 ············},·{34 ············},·{
39 ················data:·{35 ················data:·{
40 ····················id:·"gseries",36 ····················id:·"quotient",
41 ····················name:·"gseries",37 ····················name:·"quotient",
42 ····················parent:·"cluster_solvable",38 ····················parent:·"cluster_fingroup",
43 ····················released:·"no"39 ····················released:·"no"
44 ················}40 ················}
45 ············},·{41 ············},·{
46 ················data:·{42 ················data:·{
47 ····················id:·"abelian",43 ····················id:·"morphism",
48 ····················name:·"abelian",44 ····················name:·"morphism",
49 ····················parent:·"cluster_solvable",45 ····················parent:·"cluster_fingroup",
50 ····················released:·"no"46 ····················released:·"no"
51 ················}47 ················}
52 ············},·{48 ············},·{
53 ················data:·{49 ················data:·{
54 ····················id:·"extraspecial",50 ····················id:·"gproduct",
55 ····················name:·"extraspecial",51 ····················name:·"gproduct",
56 ····················parent:·"cluster_solvable",52 ····················parent:·"cluster_fingroup",
57 ····················released:·"no"53 ····················released:·"no"
58 ················}54 ················}
59 ············},·{55 ············},·{
60 ················data:·{56 ················data:·{
61 ····················id:·"maximal",57 ····················id:·"action",
62 ····················name:·"maximal",58 ····················name:·"action",
63 ····················parent:·"cluster_solvable",59 ····················parent:·"cluster_fingroup",
64 ····················released:·"no"60 ····················released:·"no"
65 ················}61 ················}
66 ············},·{62 ············},·{
67 ················data:·{63 ················data:·{
68 ····················id:·"center",64 ····················id:·"all_fingroup",
69 ····················name:·"center",65 ····················name:·"all_fingroup",
70 ····················parent:·"cluster_solvable",66 ····················parent:·"cluster_fingroup",
71 ····················released:·"no"67 ····················released:·"no"
72 ················}68 ················}
73 ············},·{69 ············},·{
74 ················data:·{70 ················data:·{
75 ····················id:·"gfunctor",71 ····················id:·"fingroup",
76 ····················name:·"gfunctor",72 ····················name:·"fingroup",
77 ····················parent:·"cluster_solvable",73 ····················parent:·"cluster_fingroup",
78 ····················released:·"no"74 ····················released:·"no"
79 ················}75 ················}
80 ············},·{76 ············},·{
81 ················data:·{77 ················data:·{
82 ····················id:·"frobenius", 
83 ····················name:·"frobenius", 
84 ····················parent:·"cluster_solvable",78 ····················id:·"cluster_all",
85 ····················released:·"no"79 ····················name:·"all"
86 ················}80 ················}
87 ············},·{81 ············},·{
88 ················data:·{82 ················data:·{
89 ····················id:·"jordanholder",83 ····················id:·"cluster_all_plus",
90 ····················name:·"jordanholder",84 ····················name:·"+",
91 ····················parent:·"cluster_solvable",85 ····················parent:·"cluster_all"
92 ····················released:·"no" 
93 ················}86 ················}
94 ············},·{87 ············},·{
95 ················data:·{88 ················data:·{
96 ····················id:·"hall",89 ····················id:·"all",
97 ····················name:·"hall",90 ····················name:·"all",
98 ····················parent:·"cluster_solvable",91 ····················parent:·"cluster_all",
99 ····················released:·"no"92 ····················released:·"no"
100 ················}93 ················}
101 ············},·{94 ············},·{
102 ················data:·{95 ················data:·{
103 ····················id:·"commutator",96 ····················id:·"cluster_character",
104 ····················name:·"commutator",97 ····················name:·"character"
105 ····················parent:·"cluster_solvable", 
106 ····················released:·"no" 
107 ················}98 ················}
108 ············},·{99 ············},·{
109 ················data:·{100 ················data:·{
110 ····················id:·"pgroup",101 ····················id:·"cluster_character_plus",
111 ····················name:·"pgroup",102 ····················name:·"+",
112 ····················parent:·"cluster_solvable",103 ····················parent:·"cluster_character"
113 ····················released:·"no" 
114 ················}104 ················}
115 ············},·{105 ············},·{
116 ················data:·{106 ················data:·{
117 ····················id:·"nilpotent",107 ····················id:·"integral_char",
118 ····················name:·"nilpotent",108 ····················name:·"integral_char",
119 ····················parent:·"cluster_solvable",109 ····················parent:·"cluster_character",
120 ····················released:·"no"110 ····················released:·"no"
121 ················}111 ················}
122 ············},·{112 ············},·{
123 ················data:·{113 ················data:·{
124 ····················id:·"sylow",114 ····················id:·"vcharacter",
Max diff block lines reached; 74152/80301 bytes (92.34%) of diff not shown.