--- /srv/rebuilderd/tmp/rebuilderdidHbhX/inputs/libcoq-unimath_20250923-2+b1_amd64.deb +++ /srv/rebuilderd/tmp/rebuilderdidHbhX/out/libcoq-unimath_20250923-2+b1_amd64.deb ├── file list │ @@ -1,3 +1,3 @@ │ -rw-r--r-- 0 0 0 4 2026-02-11 10:01:57.000000 debian-binary │ --rw-r--r-- 0 0 0 113704 2026-02-11 10:01:57.000000 control.tar.xz │ --rw-r--r-- 0 0 0 56341492 2026-02-11 10:01:57.000000 data.tar.xz │ +-rw-r--r-- 0 0 0 113712 2026-02-11 10:01:57.000000 control.tar.xz │ +-rw-r--r-- 0 0 0 56340912 2026-02-11 10:01:57.000000 data.tar.xz ├── control.tar.xz │ ├── control.tar │ │ ├── ./control │ │ │ @@ -1,15 +1,15 @@ │ │ │ Package: libcoq-unimath │ │ │ Source: coq-unimath (20250923-2) │ │ │ Version: 20250923-2+b1 │ │ │ Architecture: amd64 │ │ │ Maintainer: Debian OCaml Maintainers │ │ │ Installed-Size: 282088 │ │ │ Depends: libcoq-stdlib-rgpr6 │ │ │ -Provides: libcoq-unimath-u6096 │ │ │ +Provides: libcoq-unimath-yxq08 │ │ │ Section: ocaml │ │ │ Priority: optional │ │ │ Homepage: https://github.com/UniMath/UniMath │ │ │ Description: univalent formalization of mathematics for Coq │ │ │ This package provides a library to formalize a substantial body │ │ │ of mathematics using the univalent point of view. │ │ │ . │ │ ├── ./md5sums │ │ │ ├── ./md5sums │ │ │ │┄ Files differ ├── data.tar.xz │ ├── data.tar │ │ ├── ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/UniMath/Induction/M/BinaryBooleanMTrees.vo │ │ │ @@ -734,15 +734,15 @@ │ │ │ 00002dd0: 058c 3603 3704 2602 8025 2444 3428 0890 ..6.7.&..%$D4(.. │ │ │ 00002de0: 98b0 042d 4144 c009 2f2d 0003 8c2a 2b01 ...-AD../-...*+. │ │ │ 00002df0: 010a 3700 2209 092d 0011 4a37 0121 092d ..7."..-..J7.!.- │ │ │ 00002e00: 0011 3702 3703 2505 082a 2b02 020a 3704 ..7.7.%..*+...7. │ │ │ 00002e10: 2705 3605 3706 2602 8027 2824 1c08 2810 '.6.7.&..'($..(. │ │ │ 00002e20: 0880 c03b 2d00 0d4a 0a37 003a 0137 0122 ...;-..J.7.:.7." │ │ │ 00002e30: 1301 8c2d 0007 3702 3a01 2901 4529 0180 ...-..7.:.).E).. │ │ │ -00002e40: 2318 1024 9094 0414 c022 458c 8020 80c0 #..$....."E.. .. │ │ │ +00002e40: 2318 1024 9094 9240 c022 458c 8020 80c0 #..$...@."E.. .. │ │ │ 00002e50: 0a00 0001 7d2d 000d 4a0a 3700 3a01 3701 ....}-..J.7.:.7. │ │ │ 00002e60: 2213 018c 003d fd02 0171 030a 50fd 3d01 "....=...q..P.=. │ │ │ 00002e70: fcf9 0201 2901 3f09 3dfd 0201 5a03 0a50 ....).?.=...Z..P │ │ │ 00002e80: f8fc f903 0229 023f 093d fd02 0143 030a .....).?.=...C.. │ │ │ 00002e90: 50b3 fcf9 0403 2903 3f09 3dfd 0201 2c03 P.....).?.=...,. │ │ │ 00002ea0: 0a50 6efc f905 0429 043f 093d fd02 0115 .Pn....).?.=.... │ │ │ 00002eb0: 030a 5046 fcf9 0605 2905 3e01 2d00 3437 ..PF....).>.-.47 │ │ │ @@ -765,26 +765,26 @@ │ │ │ 00002fc0: 018c 3600 370b 4a4a 370c 234a 4a37 0d25 ..6.7.JJ7.#JJ7.% │ │ │ 00002fd0: 0405 8009 3018 1038 3838 3838 2824 2424 ....0..88888($$$ │ │ │ 00002fe0: 2424 1810 2808 1014 1428 0810 1434 1814 $$..(....(...4.. │ │ │ 00002ff0: 2828 0810 1434 1814 2828 0810 1434 1814 ((...4..((...4.. │ │ │ 00003000: 2828 0810 1408 0000 3700 98b0 a0a0 4040 ((......7.....@@ │ │ │ 00003010: a041 4141 4798 b004 0541 4698 b004 0741 .AAAG....AF....A │ │ │ 00003020: 4598 b004 0941 4498 b004 0b41 4294 9140 E....AD....AB..@ │ │ │ -00003030: 9492 4194 9240 9491 9191 9104 0a98 b004 ..A..@.......... │ │ │ -00003040: 5641 4194 0405 9404 0794 0406 c004 2480 VAA...........$. │ │ │ -00003050: 0423 80c0 2836 004a 4a37 0123 8c80 2204 .#..(6.JJ7.#..". │ │ │ +00003030: 9492 4194 041a 9491 9191 9104 0998 b004 ..A............. │ │ │ +00003040: 5641 4194 0405 9404 0794 0406 c004 2380 VAA...........#. │ │ │ +00003050: 0422 80c0 2836 004a 4a37 0123 8c80 2204 ."..(6.JJ7.#..". │ │ │ 00003060: 1080 c004 5080 2504 0808 0808 80c0 2936 ....P.%.......)6 │ │ │ 00003070: 004a 4a4a 3701 248c 8022 0414 80c0 2536 .JJJ7.$.."....%6 │ │ │ 00003080: 0043 008c 8021 0480 c004 4e80 2104 80c0 .C...!....N.!... │ │ │ 00003090: 044d 802b 2450 6c14 0c14 480c 2408 10b0 .M.+$Pl...H.$... │ │ │ -000030a0: 98b0 046c 4045 9404 1f94 0424 c004 4a80 ...l@E.....$..J. │ │ │ +000030a0: 98b0 046c 4045 9404 3894 0423 c004 4a80 ...l@E..8..#..J. │ │ │ 000030b0: 2b38 141c 381c 0828 1008 1008 80c0 0449 +8..8..(.......I │ │ │ 000030c0: 8025 2444 3428 0890 98b0 0475 4144 c004 .%$D4(.....uAD.. │ │ │ 000030d0: 4880 2728 241c 0828 1008 80c0 0447 8023 H.'($..(.....G.# │ │ │ -000030e0: 1810 2490 9404 2dc0 0446 8004 4580 c00a ..$...-..F..E... │ │ │ +000030e0: 1810 2490 9404 46c0 0445 8004 4480 c00a ..$...F..E..D... │ │ │ 000030f0: 0000 0179 2d00 0909 3700 3a01 1301 8c00 ...y-...7.:..... │ │ │ 00003100: 3dfd 0201 7103 0a50 fd3d 01fc f901 0129 =...q..P.=.....) │ │ │ 00003110: 013f 093d fd02 015a 030a 50f8 fcf9 0202 .?.=...Z..P..... │ │ │ 00003120: 2902 3f09 3dfd 0201 4303 0a50 b3fc f903 ).?.=...C..P.... │ │ │ 00003130: 0329 033f 093d fd02 012c 030a 506e fcf9 .).?.=...,..Pn.. │ │ │ 00003140: 0404 2904 3f09 3dfd 0201 1503 0a50 46fc ..).?.=......PF. │ │ │ 00003150: f905 0529 053e 012d 0034 3706 3a01 2906 ...).>.-.47.:.). │ │ │ @@ -804,24 +804,24 @@ │ │ │ 00003230: 370c 2504 0500 3d03 030a 0f50 10fc f90d 7.%...=....P.... │ │ │ 00003240: 0129 013f 3706 2902 3f37 1029 022d 0004 .).?7.).?7.).-.. │ │ │ 00003250: 1301 8c36 0029 012d 0004 1301 8c36 0037 ...6.).-.....6.7 │ │ │ 00003260: 0a4a 4a37 0b23 4a4a 370c 2504 0580 092f .JJ7.#JJ7.%..../ │ │ │ 00003270: 143c 3838 3838 2824 2424 2424 1810 2808 .<8888($$$$$..(. │ │ │ 00003280: 1014 1428 0810 1434 1814 2828 0810 1434 ...(...4..((...4 │ │ │ 00003290: 1814 2828 0810 1434 1814 2828 0810 1408 ..((...4..((.... │ │ │ -000032a0: 0000 3700 98b0 0444 4147 98b0 0446 4146 ..7....DAG...FAF │ │ │ -000032b0: 98b0 0448 4145 98b0 044a 4144 98b0 044c ...HAE...JAD...L │ │ │ -000032c0: 4142 9404 4194 0440 9404 3f94 043e 98b0 AB..A..@..?..>.. │ │ │ +000032a0: 0000 3700 98b0 0443 4147 98b0 0445 4146 ..7....CAG...EAF │ │ │ +000032b0: 98b0 0447 4145 98b0 0449 4144 98b0 044b ...GAE...IAD...K │ │ │ +000032c0: 4142 9404 4094 043f 9404 5894 043e 98b0 AB..@..?..X..>.. │ │ │ 000032d0: 0490 4141 9404 3f94 0441 9404 40c0 2745 ..AA..?..A..@.'E │ │ │ -000032e0: 3700 3701 228c 8022 0808 80aa 60b6 0b48 7.7.".."....`..H │ │ │ -000032f0: 216b 1a0b c245 3236 fc77 5200 0000 0400 !k...E26.wR..... │ │ │ +000032e0: 3700 3701 228c 8022 0808 8011 6b3c e57c 7.7.".."....k<.| │ │ │ +000032f0: c1dd 34ef f2ab fc88 d61f 8000 0000 0400 ..4............. │ │ │ 00003300: 0000 076c 6962 7261 7279 0000 0000 0000 ...library...... │ │ │ 00003310: 02a3 0000 0000 0000 28c0 63b8 6cbe 2219 ........(.c.l.". │ │ │ 00003320: 2fee 99bd 3c54 057a aee1 0000 0007 6f70 /...