80.1 KB
/srv/reproducible-results/rbuild-debian/r-b-build.dBXtkyqQ/b1/ssreflect_2.2.0-1_amd64.changes vs.
/srv/reproducible-results/rbuild-debian/r-b-build.dBXtkyqQ/b2/ssreflect_2.2.0-1_amd64.changes
809 B
Files
    
Offset 1, 8 lines modifiedOffset 1, 8 lines modified
  
1 ·c05dbd9dd2863cf6251495a2e765022b·10007516·math·optional·libcoq-mathcomp-algebra_2.2.0-1_amd64.deb1 ·c05dbd9dd2863cf6251495a2e765022b·10007516·math·optional·libcoq-mathcomp-algebra_2.2.0-1_amd64.deb
2 ·a0d2bff4b1b66c5481880da0fd2d9cb8·4189464·math·optional·libcoq-mathcomp-character_2.2.0-1_amd64.deb2 ·a0d2bff4b1b66c5481880da0fd2d9cb8·4189464·math·optional·libcoq-mathcomp-character_2.2.0-1_amd64.deb
3 ·a51d411c90732f4a02cf69e71d62180e·3249220·math·optional·libcoq-mathcomp-field_2.2.0-1_amd64.deb3 ·a51d411c90732f4a02cf69e71d62180e·3249220·math·optional·libcoq-mathcomp-field_2.2.0-1_amd64.deb
4 ·f2f8b250c3c741862bd11b6bd7ed4915·2161576·math·optional·libcoq-mathcomp-fingroup_2.2.0-1_amd64.deb4 ·f2f8b250c3c741862bd11b6bd7ed4915·2161576·math·optional·libcoq-mathcomp-fingroup_2.2.0-1_amd64.deb
5 ·ae1175740cdd72ba4fe8e3de7b40565a·4726992·math·optional·libcoq-mathcomp-solvable_2.2.0-1_amd64.deb5 ·ae1175740cdd72ba4fe8e3de7b40565a·4726992·math·optional·libcoq-mathcomp-solvable_2.2.0-1_amd64.deb
6 ·5595ac63266f4d707c291693f099d891·6080868·math·optional·libcoq-mathcomp-ssreflect_2.2.0-1_amd64.deb6 ·5595ac63266f4d707c291693f099d891·6080868·math·optional·libcoq-mathcomp-ssreflect_2.2.0-1_amd64.deb
7 ·374a71f4a69fb089d426d24f1b0a1248·2861556·math·optional·libcoq-mathcomp_2.2.0-1_amd64.deb7 ·4fcf15dedea991ad882ade7de3e23635·2861744·math·optional·libcoq-mathcomp_2.2.0-1_amd64.deb
79.1 KB
libcoq-mathcomp_2.2.0-1_amd64.deb
452 B
file list
    
Offset 1, 3 lines modifiedOffset 1, 3 lines modified
1 -rw-r--r--···0········0········0········4·2024-01-25·05:34:31.000000·debian-binary1 -rw-r--r--···0········0········0········4·2024-01-25·05:34:31.000000·debian-binary
2 -rw-r--r--···0········0········0····10196·2024-01-25·05:34:31.000000·control.tar.xz2 -rw-r--r--···0········0········0····10200·2024-01-25·05:34:31.000000·control.tar.xz
3 -rw-r--r--···0········0········0··2851168·2024-01-25·05:34:31.000000·data.tar.xz3 -rw-r--r--···0········0········0··2851352·2024-01-25·05:34:31.000000·data.tar.xz
1.02 KB
control.tar.xz
70.0 B
control.tar
48.0 B
./md5sums
30.0 B
./md5sums
Files differ
951 B
xz --list
    
Offset 1, 13 lines modifiedOffset 1, 13 lines modified
1 ··Streams:···········11 ··Streams:···········1
2 ··Blocks:············12 ··Blocks:············1
3 ··Compressed·size:···10.0·KiB·(10196·B)3 ··Compressed·size:···10.0·KiB·(10200·B)
4 ··Uncompressed·size:·60.0·KiB·(61440·B)4 ··Uncompressed·size:·60.0·KiB·(61440·B)
5 ··Ratio:·············0.1665 ··Ratio:·············0.166
6 ··Check:·············CRC646 ··Check:·············CRC64
7 ··Stream·Padding:····0·B7 ··Stream·Padding:····0·B
8 ··Streams:8 ··Streams:
9 ····Stream····Blocks······CompOffset····UncompOffset········CompSize······UncompSize··Ratio··Check······Padding9 ····Stream····Blocks······CompOffset····UncompOffset········CompSize······UncompSize··Ratio··Check······Padding
10 ·········1·········1···············0···············0···········10196···········61440··0.166··CRC64············010 ·········1·········1···············0···············0···········10200···········61440··0.166··CRC64············0
11 ··Blocks:11 ··Blocks:
12 ····Stream·····Block······CompOffset····UncompOffset·······TotalSize······UncompSize··Ratio··Check12 ····Stream·····Block······CompOffset····UncompOffset·······TotalSize······UncompSize··Ratio··Check
13 ·········1·········1··············12···············0···········10160···········61440··0.165··CRC6413 ·········1·········1··············12···············0···········10164···········61440··0.165··CRC64
77.6 KB
data.tar.xz
76.1 KB
data.tar
76.0 KB
./usr/share/doc/libcoq-mathcomp/htmldoc/depend.js
75.9 KB
js-beautify {}
    
Offset 1, 232 lines modifiedOffset 1, 330 lines modified
1 ········var·depends·=·[1 ········var·depends·=·[
  
2 ············{2 ············{
3 ················data:·{3 ················data:·{
4 ····················id:·"cluster_solvable",4 ····················id:·"cluster_ssreflect",
5 ····················name:·"solvable"5 ····················name:·"ssreflect"
6 ················}6 ················}
7 ············},·{7 ············},·{
8 ················data:·{8 ················data:·{
9 ····················id:·"cluster_solvable_plus",9 ····················id:·"cluster_ssreflect_plus",
10 ····················name:·"+",10 ····················name:·"+",
11 ····················parent:·"cluster_solvable"11 ····················parent:·"cluster_ssreflect"
12 ················}12 ················}
13 ············},·{13 ············},·{
14 ················data:·{14 ················data:·{
15 ····················id:·"jordanholder",15 ····················id:·"bigop",
16 ····················name:·"jordanholder",16 ····················name:·"bigop",
17 ····················parent:·"cluster_solvable",17 ····················parent:·"cluster_ssreflect",
18 ····················released:·"no"18 ····················released:·"no"
19 ················}19 ················}
20 ············},·{20 ············},·{
21 ················data:·{21 ················data:·{
22 ····················id:·"nilpotent",22 ····················id:·"generic_quotient",
23 ····················name:·"nilpotent",23 ····················name:·"generic_quotient",
24 ····················parent:·"cluster_solvable",24 ····················parent:·"cluster_ssreflect",
25 ····················released:·"no"25 ····················released:·"no"
26 ················}26 ················}
27 ············},·{27 ············},·{
28 ················data:·{28 ················data:·{
29 ····················id:·"sylow",29 ····················id:·"div",
30 ····················name:·"sylow",30 ····················name:·"div",
31 ····················parent:·"cluster_solvable",31 ····················parent:·"cluster_ssreflect",
32 ····················released:·"no"32 ····················released:·"no"
33 ················}33 ················}
34 ············},·{34 ············},·{
35 ················data:·{35 ················data:·{
36 ····················id:·"frobenius",36 ····················id:·"all_ssreflect",
37 ····················name:·"frobenius",37 ····················name:·"all_ssreflect",
38 ····················parent:·"cluster_solvable",38 ····················parent:·"cluster_ssreflect",
39 ····················released:·"no"39 ····················released:·"no"
40 ················}40 ················}
41 ············},·{41 ············},·{
42 ················data:·{42 ················data:·{
43 ····················id:·"cyclic",43 ····················id:·"ssrAC",
44 ····················name:·"cyclic",44 ····················name:·"ssrAC",
45 ····················parent:·"cluster_solvable",45 ····················parent:·"cluster_ssreflect",
46 ····················released:·"no"46 ····················released:·"no"
47 ················}47 ················}
48 ············},·{48 ············},·{
49 ················data:·{49 ················data:·{
50 ····················id:·"extremal",50 ····················id:·"ssrfun",
51 ····················name:·"extremal",51 ····················name:·"ssrfun",
52 ····················parent:·"cluster_solvable",52 ····················parent:·"cluster_ssreflect",
53 ····················released:·"no"53 ····················released:·"no"
54 ················}54 ················}
55 ············},·{55 ············},·{
56 ················data:·{56 ················data:·{
57 ····················id:·"gseries",57 ····················id:·"path",
58 ····················name:·"gseries",58 ····················name:·"path",
59 ····················parent:·"cluster_solvable",59 ····················parent:·"cluster_ssreflect",
60 ····················released:·"no"60 ····················released:·"no"
61 ················}61 ················}
62 ············},·{62 ············},·{
63 ················data:·{63 ················data:·{
64 ····················id:·"all_solvable",64 ····················id:·"ssrnat",
65 ····················name:·"all_solvable",65 ····················name:·"ssrnat",
66 ····················parent:·"cluster_solvable",66 ····················parent:·"cluster_ssreflect",
67 ····················released:·"no"67 ····················released:·"no"
68 ················}68 ················}
69 ············},·{69 ············},·{
70 ················data:·{70 ················data:·{
71 ····················id:·"commutator",71 ····················id:·"ssrbool",
72 ····················name:·"commutator",72 ····················name:·"ssrbool",
73 ····················parent:·"cluster_solvable",73 ····················parent:·"cluster_ssreflect",
74 ····················released:·"no"74 ····················released:·"no"
75 ················}75 ················}
76 ············},·{76 ············},·{
77 ················data:·{77 ················data:·{
78 ····················id:·"abelian",78 ····················id:·"choice",
79 ····················name:·"abelian",79 ····················name:·"choice",
80 ····················parent:·"cluster_solvable",80 ····················parent:·"cluster_ssreflect",
81 ····················released:·"no"81 ····················released:·"no"
82 ················}82 ················}
83 ············},·{83 ············},·{
84 ················data:·{84 ················data:·{
85 ····················id:·"primitive_action",85 ····················id:·"prime",
86 ····················name:·"primitive_action",86 ····················name:·"prime",
 87 ····················parent:·"cluster_ssreflect",
 88 ····················released:·"no"
 89 ················}
 90 ············},·{
 91 ················data:·{
 92 ····················id:·"finfun",
 93 ····················name:·"finfun",
 94 ····················parent:·"cluster_ssreflect",
 95 ····················released:·"no"
 96 ················}
 97 ············},·{
 98 ················data:·{
 99 ····················id:·"fintype",
 100 ····················name:·"fintype",
 101 ····················parent:·"cluster_ssreflect",
 102 ····················released:·"no"
 103 ················}
 104 ············},·{
 105 ················data:·{
 106 ····················id:·"seq",
 107 ····················name:·"seq",
 108 ····················parent:·"cluster_ssreflect",
 109 ····················released:·"no"
 110 ················}
 111 ············},·{
 112 ················data:·{
 113 ····················id:·"order",
 114 ····················name:·"order",
 115 ····················parent:·"cluster_ssreflect",
 116 ····················released:·"no"
 117 ················}
 118 ············},·{
 119 ················data:·{
 120 ····················id:·"eqtype",
 121 ····················name:·"eqtype",
 122 ····················parent:·"cluster_ssreflect",
 123 ····················released:·"no"
 124 ················}
 125 ············},·{
 126 ················data:·{
Max diff block lines reached; 70209/77744 bytes (90.31%) of diff not shown.
1.53 KB
xz --list
    
Offset 1, 16 lines modifiedOffset 1, 16 lines modified
1 ··Streams:···········11 ··Streams:···········1
2 ··Blocks:············42 ··Blocks:············4
3 ··Compressed·size:···2784.3·KiB·(2851168·B)3 ··Compressed·size:···2784.5·KiB·(2851352·B)
4 ··Uncompressed·size:·95.3·MiB·(99942400·B)4 ··Uncompressed·size:·95.3·MiB·(99942400·B)
5 ··Ratio:·············0.0295 ··Ratio:·············0.029
6 ··Check:·············CRC646 ··Check:·············CRC64
7 ··Stream·Padding:····0·B7 ··Stream·Padding:····0·B
8 ··Streams:8 ··Streams:
9 ····Stream····Blocks······CompOffset····UncompOffset········CompSize······UncompSize··Ratio··Check······Padding9 ····Stream····Blocks······CompOffset····UncompOffset········CompSize······UncompSize··Ratio··Check······Padding
10 ·········1·········4···············0···············0·········2851168········99942400··0.029··CRC64············010 ·········1·········4···············0···············0·········2851352········99942400··0.029··CRC64············0
11 ··Blocks:11 ··Blocks:
12 ····Stream·····Block······CompOffset····UncompOffset·······TotalSize······UncompSize··Ratio··Check12 ····Stream·····Block······CompOffset····UncompOffset·······TotalSize······UncompSize··Ratio··Check
13 ·········1·········1··············12···············0··········860180········25165824··0.034··CRC6413 ·········1·········1··············12···············0··········860364········25165824··0.034··CRC64
14 ·········1·········2··········860192········25165824··········592756········25165824··0.024··CRC6414 ·········1·········2··········860376········25165824··········592756········25165824··0.024··CRC64
15 ·········1·········3·········1452948········50331648··········821816········25165824··0.033··CRC6415 ·········1·········3·········1453132········50331648··········821816········25165824··0.033··CRC64
16 ·········1·········4·········2274764········75497472··········576356········24444928··0.024··CRC6416 ·········1·········4·········2274948········75497472··········576356········24444928··0.024··CRC64