--- /srv/rebuilderd/tmp/rebuilderdVDuyYV/inputs/libcoq-stdlib_9.0.0-3+b1_arm64.deb +++ /srv/rebuilderd/tmp/rebuilderdVDuyYV/out/libcoq-stdlib_9.0.0-3+b1_arm64.deb ├── file list │ @@ -1,3 +1,3 @@ │ -rw-r--r-- 0 0 0 4 2026-02-15 11:03:18.000000 debian-binary │ --rw-r--r-- 0 0 0 40208 2026-02-15 11:03:18.000000 control.tar.xz │ --rw-r--r-- 0 0 0 19491676 2026-02-15 11:03:18.000000 data.tar.xz │ +-rw-r--r-- 0 0 0 40212 2026-02-15 11:03:18.000000 control.tar.xz │ +-rw-r--r-- 0 0 0 19491280 2026-02-15 11:03:18.000000 data.tar.xz ├── control.tar.xz │ ├── control.tar │ │ ├── ./control │ │ │ @@ -1,15 +1,15 @@ │ │ │ Package: libcoq-stdlib │ │ │ Source: rocq-stdlib (9.0.0-3) │ │ │ Version: 9.0.0-3+b1 │ │ │ Architecture: arm64 │ │ │ Maintainer: Debian OCaml Maintainers │ │ │ Installed-Size: 76581 │ │ │ Recommends: coq │ │ │ -Provides: libcoq-stdlib-8r7o9 │ │ │ +Provides: libcoq-stdlib-q8bl1 │ │ │ Section: math │ │ │ Priority: optional │ │ │ Homepage: https://rocq-prover.org │ │ │ Description: Standard library for the Rocq Theorem Prover │ │ │ Rocq is a proof asssistant for higher-order logic, which │ │ │ allows the development of computer programs consistent with │ │ │ their formal specification. It is developed using Objective │ │ ├── ./md5sums │ │ │ ├── ./md5sums │ │ │ │┄ Files differ ├── data.tar.xz │ ├── data.tar │ │ ├── ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Stdlib/ZArith/Znumtheory.vo │ │ │ @@ -6662,15 +6662,15 @@ │ │ │ 0001a050: bd04 6205 10bd b705 2b42 0510 beb7 0529 ..b.....+B.....) │ │ │ 0001a060: fe04 0d05 2d21 052b 0ba9 0526 c605 1f8d ....-!.+...&.... │ │ │ 0001a070: a905 22d2 d005 10c2 0467 0467 b705 2b47 .."......g.g..+G │ │ │ 0001a080: 0510 c3b7 052a 0304 1205 2d18 052b 10a9 .....*....-..+.. │ │ │ 0001a090: 0526 c505 1f92 052d 1a05 2d1a 052d 1305 .&.....-..-..-.. │ │ │ 0001a0a0: 2d13 052d 1a05 2cf9 12e0 dcc0 b5d1 e7e4 -..-..,......... │ │ │ 0001a0b0: 6f1e 1f00 2c93 fe12 8495 a6be 0000 1212 o...,........... │ │ │ -0001a0c0: 0000 00cf 0000 0685 0000 047d a0a0 2a5a ...........}..*Z │ │ │ +0001a0c0: 0000 00d0 0000 0687 0000 047f a0a0 2a5a ..............*Z │ │ │ 0001a0d0: 6e75 6d74 6865 6f72 79a0 265a 4172 6974 numtheory.&ZArit │ │ │ 0001a0e0: 68a0 2653 7464 6c69 6240 0800 005f 00c0 h.&Stdlib@..._.. │ │ │ 0001a0f0: 2d2d 0003 8c2a 2b03 030c 3a01 2904 8020 --...*+...:.).. │ │ │ 0001a100: 80c0 0a00 0001 f42d 0003 8c2a 2b01 450a .......-...*+.E. │ │ │ 0001a110: 3700 2209 3d03 030a 6750 fdbd 01fc f901 7.".=...gP...... │ │ │ 0001a120: 0329 033f 4a0d 3700 2209 3d03 030a 3750 .).?J.7.".=...7P │ │ │ 0001a130: fd39 01fc f902 0529 053e 011f 2605 1108 .9.....).>..&... │ │ │ @@ -6800,16 +6800,16 @@ │ │ │ 0001a8f0: 2109 1f13 3d02 0209 501b fcfa 0503 2900 !...=...P.....). │ │ │ 0001a900: 3e02 070b 2129 0213 0219 213d 0101 501b >...!)....!=..P. │ │ │ 0001a910: fcfb 0701 2901 161a 2d02 0413 038c 3600 ....)...-.....6. │ │ │ 0001a920: 1a19 3701 2237 0837 0928 042d 0004 1301 ..7."7.7.(.-.... │ │ │ 0001a930: 8c36 0a29 0101 0a2d 0204 1302 8c15 1937 .6.)...-.......7 │ │ │ 0001a940: 0622 370b 211a 1937 0622 370c 2703 8033 ."7.!..7."7.'..3 │ │ │ 0001a950: 2010 0c28 1c3c 9c14 3c54 3410 0c08 2838 ..(.<....... │ │ │ 0001a9a0: 3700 3703 2309 2d00 2810 3700 4a37 0420 7.7.#.-.(.7.J7. │ │ │ 0001a9b0: 050c 0c2d 0156 0d2d 01fd d403 3901 0e2d ...-.V.-....9..- │ │ │ 0001a9c0: 01fd 5904 3705 2505 083f 0b0a 0c2d 03fd ..Y.7.%..?...-.. │ │ │ 0001a9d0: 9c04 3901 2903 1f0e 034a 4a09 2d00 0e4a ..9.)....JJ.-..J │ │ │ 0001a9e0: 4a37 0620 0609 3707 3708 2704 003d fd01 J7. ..7.7.'..=.. │ │ │ @@ -6908,20 +6908,20 @@ │ │ │ 0001afb0: 1010 1008 0c0c 4408 180c 1010 1008 0c0c ......D......... │ │ │ 0001afc0: 4408 180c 1010 1008 0c0c 4408 2010 180c D.........D. ... │ │ │ 0001afd0: 1010 1008 0c0c 2810 1008 0c24 4c14 3c08 ......(....$L.<. │ │ │ 0001afe0: 1418 0840 1408 1408 140c 6414 1010 2824 ...@......d...($ │ │ │ 0001aff0: 0820 1018 0c14 1008 0c0c 2c10 080c 244c . ........,...$L │ │ │ 0001b000: 143c 0814 1808 341c 0c58 4408 2010 180c .<....4..XD. ... │ │ │ 0001b010: 1410 080c 0c2c 1008 0c24 0800 003f 0094 .....,...$...?.. │ │ │ -0001b020: 0411 98b0 0485 4149 98b0 b0a0 4040 a041 ......AI....@@.A │ │ │ -0001b030: 40a0 4240 4140 9041 98b0 048e 4155 98b0 @.B@A@.A....AU.. │ │ │ -0001b040: 0490 4153 98b0 0492 4152 98b0 90a0 4142 ..AS....AR....AB │ │ │ -0001b050: 4054 98b0 048e 404f 98b0 0490 4049 98b0 @T....@O....@I.. │ │ │ -0001b060: 0492 414c 98b0 a0a0 4141 a042 4141 4898 ..AL....AA.BAAH. │ │ │ -0001b070: b004 9941 4b98 b080 4140 98b0 8040 43c0 ...AK...A@...@C. │ │ │ +0001b020: 040c 98b0 0486 4149 98b0 b0a0 4040 a041 ......AI....@@.A │ │ │ +0001b030: 40a0 4240 4140 9041 98b0 048f 4155 98b0 @.B@A@.A....AU.. │ │ │ +0001b040: 0491 4153 98b0 0493 4152 98b0 90a0 4142 ..AS....AR....AB │ │ │ +0001b050: 4054 98b0 048f 404f 98b0 0491 4049 98b0 @T....@O....@I.. │ │ │ +0001b060: 0493 414c 98b0 a0a0 4141 a042 4141 4898 ..AL....AA.BAAH. │ │ │ +0001b070: b004 9a41 4b98 b080 4140 98b0 8040 43c0 ...AK...A@...@C. │ │ │ 0001b080: 0a00 0001 e42d 0002 8c00 3700 3701 223d .....-....7.7."= │ │ │ 0001b090: 0303 0a33 50fd ae01 fcf9 0201 2901 3f0a ...3P.......).?. │ │ │ 0001b0a0: 0b37 0322 3d03 030a 1750 fd57 01fc f904 .7."=....P.W.... │ │ │ 0001b0b0: 0229 023f 090c 2d02 1c0b 3a01 3901 2903 .).?..-...:.9.). │ │ │ 0001b0c0: 3f09 0c2d 02b2 3902 2903 3f09 2d01 fd4c ?..-..9.).?.-..L │ │ │ 0001b0d0: 0139 0229 022a 2b01 013d 0202 0950 8dfc .9.).*+..=...P.. │ │ │ 0001b0e0: fa05 0229 023e 0202 3700 3706 220a 0a0e ...).>..7.7."... │ │ │ @@ -6948,23 +6948,23 @@ │ │ │ 0001b230: 0200 1921 3d01 0150 06fc fb16 0329 032d ...!=..P.....).- │ │ │ 0001b240: 0004 1303 8c36 1829 012d 0004 1301 8c36 .....6.).-.....6 │ │ │ 0001b250: 1829 0100 2d01 0413 018c 1437 1921 371a .)..-......7.!7. │ │ │ 0001b260: 2119 3719 2137 1b27 0380 0935 1808 2820 !.7.!7.'...5..( │ │ │ 0001b270: 28bc 2008 1808 0810 080c 1008 0c34 7024 (. ..........4p$ │ │ │ 0001b280: 0c08 5024 3838 2c38 3844 1408 0c14 382c ..P$88,88D....8, │ │ │ 0001b290: 0834 2828 2830 0c10 0c2c 3c2c 2830 0c10 .4(((0...,<,(0.. │ │ │ -0001b2a0: 0c08 0000 2b00 9404 3a98 b004 ae41 4498 ....+...:....AD. │ │ │ -0001b2b0: b004 b041 4398 b004 a841 4b98 b004 1641 ...AC....AK....A │ │ │ -0001b2c0: 4898 b004 5841 4e98 b004 2441 4c98 b004 H...XAN...$AL... │ │ │ -0001b2d0: b041 4a98 b080 4140 98b0 0460 4145 a43e .AJ...A@...`AE.> │ │ │ -0001b2e0: 2a60 f28e 24f2 1017 507f 76f5 328d 0000 *`..$...P.v.2... │ │ │ +0001b2a0: 0c08 0000 2b00 9404 3598 b004 af41 4498 ....+...5....AD. │ │ │ +0001b2b0: b004 b141 4398 b004 a941 4b98 b004 1641 ...AC....AK....A │ │ │ +0001b2c0: 4898 b004 5941 4e98 b004 2441 4c98 b004 H...YAN...$AL... │ │ │ +0001b2d0: b141 4a98 b080 4140 98b0 0461 4145 6679 .AJ...A@...aAEfy │ │ │ +0001b2e0: 98a9 56d2 db54 5af9 0dd5 4438 40bf 0000 ..V..TZ...D8@... │ │ │ 0001b2f0: 0004 0000 0007 6c69 6272 6172 7900 0000 ......library... │ │ │ 0001b300: 0000 0001 4a00 0000 0000 00b6 53b7 e76c ....J.......S..l │ │ │ 0001b310: 3eb8 7663 e19f 3862 aeb1 ef43 d800 0000 >.vc..8b...C.... │ │ │ 0001b320: 076f 7061 7175 6573 0000 0000 0000 b7ad .opaques........ │ │ │ 0001b330: 0000 0000 0000 e8fb 12e0 dcc0 b5d1 e7e4 ................ │ │ │ 0001b340: 6f1e 1f00 2c93 fe12 0000 0007 7375 6d6d o...,.......summ │ │ │ 0001b350: 6172 7900 0000 0000 0000 1000 0000 0000 ary............. │ │ │ 0001b360: 0001 2a6e f5c7 aa7c 0ec3 664a e65a 4cdf ..*n...|..fJ.ZL. │ │ │ 0001b370: 9860 5b00 0000 0976 6d6c 6962 7261 7279 .`[....vmlibrary │ │ │ 0001b380: 0000 0000 0001 a0b8 0000 0000 0000 1226 ...............& │ │ │ -0001b390: a43e 2a60 f28e 24f2 1017 507f 76f5 328d .>*`..$...P.v.2. │ │ │ +0001b390: 6679 98a9 56d2 db54 5af9 0dd5 4438 40bf fy..V..TZ...D8@. │ │ ├── ./var/lib/coq/md5sums/libcoq-stdlib.checksum │ │ │ @@ -1 +1 @@ │ │ │ -8r7o9 │ │ │ +q8bl1