--- /srv/rebuilderd/tmp/rebuilderdvidi1k/inputs/libcoq-flocq_4.2.2-1_armhf.deb +++ /srv/rebuilderd/tmp/rebuilderdvidi1k/out/libcoq-flocq_4.2.2-1_armhf.deb ├── file list │ @@ -1,3 +1,3 @@ │ -rw-r--r-- 0 0 0 4 2026-07-10 15:24:31.000000 debian-binary │ -rw-r--r-- 0 0 0 2860 2026-07-10 15:24:31.000000 control.tar.xz │ --rw-r--r-- 0 0 0 3461688 2026-07-10 15:24:31.000000 data.tar.xz │ +-rw-r--r-- 0 0 0 3461520 2026-07-10 15:24:31.000000 data.tar.xz ├── control.tar.xz │ ├── control.tar │ │ ├── ./control │ │ │ @@ -1,15 +1,15 @@ │ │ │ Package: libcoq-flocq │ │ │ Source: flocq │ │ │ Version: 4.2.2-1 │ │ │ Architecture: armhf │ │ │ Maintainer: Debian OCaml Maintainers │ │ │ Installed-Size: 9249 │ │ │ Depends: libcoq-stdlib-t3vq5 │ │ │ -Provides: libcoq-flocq-foa28 │ │ │ +Provides: libcoq-flocq-j9do6 │ │ │ Section: ocaml │ │ │ Priority: optional │ │ │ Homepage: https://flocq.gitlabpages.inria.fr/ │ │ │ Description: Floating-point arithmetic for Coq │ │ │ Flocq provides a formalization of floating-point arithmetic │ │ │ for Coq, in the form of a comprehensive library of │ │ │ theorems on a multi-radix multi-precision arithmetic, │ │ ├── ./md5sums │ │ │ ├── ./md5sums │ │ │ │┄ Files differ ├── data.tar.xz │ ├── data.tar │ │ ├── ./usr/lib/arm-linux-gnueabihf/ocaml/5.4.1/coq/user-contrib/Flocq/Pff/Pff.vo │ │ │ @@ -205170,16 +205170,16 @@ │ │ │ 00321710: 0717 0505 ca06 0004 fb1e 0600 04fb 1e06 ................ │ │ │ 00321720: 0004 fb1e 42a9 0600 036e 7dd0 0600 04a6 ....B....n}..... │ │ │ 00321730: bc06 0004 c222 0600 02da e406 0004 f889 .....".......... │ │ │ 00321740: a905 09ce 0600 04f8 8b06 0004 fb21 0600 .............!.. │ │ │ 00321750: 04fb 2106 0004 fb21 0600 04fb 2105 2161 ..!....!....!.!a │ │ │ 00321760: 0521 6105 2161 0521 6106 0004 fb8d 5d73 .!a.!a.!a.....]s │ │ │ 00321770: fa4a 818c d036 1829 f7af 91f1 973d 8495 .J...6.).....=.. │ │ │ -00321780: a6be 0000 1f91 0000 01b9 0000 0c2b 0000 .............+.. │ │ │ -00321790: 08ac a0a0 2350 6666 a004 02a0 2546 6c6f ....#Pff....%Flo │ │ │ +00321780: a6be 0000 1f91 0000 01bb 0000 0c2f 0000 ............./.. │ │ │ +00321790: 08b0 a0a0 2350 6666 a004 02a0 2546 6c6f ....#Pff....%Flo │ │ │ 003217a0: 6371 4008 0001 4f00 c009 422d 0003 8c2a cq@...O...B-...* │ │ │ 003217b0: 2b01 010a 3700 220a 0c2d 021f 0c0c 3701 +...7."..-....7. │ │ │ 003217c0: 223a 000c 0c2d 0220 0c0e 3702 224a 3703 ":...-. ..7."J7. │ │ │ 003217d0: 2137 0122 3a00 3704 2805 1519 3702 224a !7.":.7.(...7."J │ │ │ 003217e0: 3703 2137 0127 0315 1937 0127 0380 2a28 7.!7.'...7.'..*( │ │ │ 003217f0: 2830 100c 1418 100c 1880 c02d 2d00 038c (0.........--... │ │ │ 00321800: 2a2b 0101 0a37 0027 0480 2128 80c0 092f *+...7.'..!(.../ │ │ │ @@ -205620,54 +205620,54 @@ │ │ │ 00323330: 100c 100c 80c0 392d 0003 8c2a 2b03 030c ......9-...*+... │ │ │ 00323340: 0b0d 3700 240d 0d0c 0e37 0124 3702 2706 ..7.$....7.$7.'. │ │ │ 00323350: 8023 301c 0c80 c009 4236 0037 0121 092d .#0.....B6.7.!.- │ │ │ 00323360: 0105 1301 8c2a 2b02 0219 2137 0221 3d03 .....*+...!7.!=. │ │ │ 00323370: 030a 1550 1cfc f903 0329 033f 0c0c 3700 ...P.....).?..7. │ │ │ 00323380: 0d37 0425 0408 3f0c 0c37 000d 3705 2504 .7.%..?..7..7.%. │ │ │ 00323390: 082d 0004 1303 8c36 0629 0180 2904 0840 .-.....6.)..)..@ │ │ │ -003233a0: 2820 0c20 0c2c a094 9104 ad98 b004 e841 ( . .,.........A │ │ │ +003233a0: 2820 0c20 0c2c a094 9192 4098 b004 e941 ( . .,....@....A │ │ │ 003233b0: 45c0 0922 2d00 038c 2a2b 0100 3700 2137 E.."-...*+..7.!7 │ │ │ 003233c0: 0021 3701 2139 010b 3702 2137 0322 0b37 .!7.!9..7.!7.".7 │ │ │ 003233d0: 0421 3a01 2902 8026 240c 0c18 0c10 80c0 .!:.)..&$....... │ │ │ 003233e0: 0975 2d00 038c 2a2b 0101 3700 2109 0c0c .u-...*+..7.!... │ │ │ 003233f0: 2d03 0429 032a 2b04 020b 1b2d 034e 0c37 -..).*+....-.N.7 │ │ │ 00323400: 0121 1937 0221 3703 2137 0421 3705 223a .!.7.!7.!7.!7.": │ │ │ 00323410: 0019 3702 2137 0321 3704 211a 3706 2137 ..7.!7.!7.!.7.!7 │ │ │ 00323420: 0722 0f37 0822 0d1b 210d 1b21 3709 2237 .".7."..!..!7."7 │ │ │ 00323430: 0a21 370b 2237 0c22 0c0b 370d 2237 0c22 .!7."7."..7."7." │ │ │ 00323440: 0b0e 1a19 370e 2437 0c27 0716 1921 1a19 ....7.$7.'...!.. │ │ │ 00323450: 2137 0f37 1028 0480 3624 5410 0c0c 0c18 !7.7.(..6$T..... │ │ │ 00323460: 0c0c 100c 1024 0c0c 0c14 0c1c 0c28 0880 .....$.......(.. │ │ │ -00323470: c026 3600 3701 218c 8022 0408 9094 9104 .&6.7.!.."...... │ │ │ -00323480: bbc0 04b3 8022 180c 80c0 0994 2d00 038c ....."......-... │ │ │ +00323470: c026 3600 3701 218c 8022 0408 9094 9192 .&6.7.!.."...... │ │ │ +00323480: 40c0 04b5 8022 180c 80c0 0994 2d00 038c @...."......-... │ │ │ 00323490: 2a2b 0201 3700 2109 0d0c 0e2d 0403 2904 *+..7.!....-..). │ │ │ 003234a0: 001e 0003 3701 231c 2137 0222 3d03 030a ....7.#.!7."=... │ │ │ 003234b0: 4350 63fc f903 0129 013f 1b37 0421 3705 CPc....).?.7.!7. │ │ │ 003234c0: 2137 0621 3707 2119 3707 2137 0821 0c37 !7.!7.!.7.!7.!.7 │ │ │ 003234d0: 0821 3709 2237 0a22 370b 2109 0a37 0621 .!7."7."7.!..7.! │ │ │ 003234e0: 1937 0721 370c 220d 370d 2237 0b21 3a01 .7.!7.".7."7.!:. │ │ │ 003234f0: 2903 3f1a 370e 2137 0f21 3706 211a 370e ).?.7.!7.!7.!.7. │ │ │ 00323500: 2137 0f21 1937 0721 370c 220c 370d 2237 !7.!.7.!7.".7."7 │ │ │ 00323510: 0b21 3a01 2902 2d00 0413 018c 3610 2901 .!:.).-.....6.). │ │ │ 00323520: 803d 2440 1428 1c0c 0c0c 100c 100c 0c0c .=$@.(.......... │ │ │ 00323530: 1410 0c10 0c24 0c0c 100c 100c 100c 3490 .....$........4. │ │ │ -00323540: 98b0 04fc 4145 c009 522d 0003 8c2a 2b02 ....AE..R-...*+. │ │ │ +00323540: 98b0 04fe 4145 c009 522d 0003 8c2a 2b02 ....AE..R-...*+. │ │ │ 00323550: 0137 0021 0912 0403 2d04 0329 0400 1e00 .7.!....-..).... │ │ │ 00323560: 0337 0124 1c21 0a37 0222 3d03 030a 1450 .7.$.!.7."=....P │ │ │ 00323570: 20fc f903 0129 013f 0a1e 0003 3701 2504 ....).?....7.%. │ │ │ 00323580: 063f 0a1e 0003 3701 241e 0003 3704 2504 .?....7.$...7.%. │ │ │ 00323590: 062d 0004 1301 8c36 0529 0180 2824 4018 .-.....6.)..($@. │ │ │ -003235a0: 2828 2818 2c90 98b0 0501 0241 45c0 093e (((.,......AE..> │ │ │ +003235a0: 2828 2818 2c90 98b0 0501 0441 45c0 093e (((.,......AE..> │ │ │ 003235b0: 2d00 038c 2a2b 0303 4a37 0021 3701 223d -...*+..J7.!7."= │ │ │ 003235c0: 0303 0a13 501e fcf9 0204 2904 3f12 0404 ....P.....).?... │ │ │ 003235d0: 3703 2504 093f 0d37 0421 1204 0337 0524 7.%..?.7.!...7.$ │ │ │ 003235e0: 3706 2606 2d00 0413 048c 3607 2901 8028 7.&.-.....6.)..( │ │ │ -003235f0: 280c 2824 1c18 0c28 9098 b005 0108 4145 (.($...(......AE │ │ │ +003235f0: 280c 2824 1c18 0c28 9098 b005 010a 4145 (.($...(......AE │ │ │ 00323600: c004 0680 2828 0c28 241c 180c 2890 98b0 ....((.($...(... │ │ │ -00323610: 0501 0d41 45c0 09d7 2d00 038c 2a2b 0201 ...AE...-...*+.. │ │ │ +00323610: 0501 0f41 45c0 09d7 2d00 038c 2a2b 0201 ...AE...-...*+.. │ │ │ 00323620: 3700 2109 1204 032d 0403 2904 000a 1e00 7.!....-..)..... │ │ │ 00323630: 0337 0124 1c21 3702 2237 0321 0a0b 1e00 .7.$.!7."7.!.... │ │ │ 00323640: 0337 0424 1c21 3702 2237 0321 3705 223d .7.$.!7."7.!7."= │ │ │ 00323650: 0303 0a73 508d fcf9 0601 2901 3f09 0b0c ...sP.....).?... │ │ │ 00323660: 1e00 0337 0124 1c21 3702 2237 0321 0c0d ...7.$.!7."7.!.. │ │ │ 00323670: 1e00 0337 0424 1c21 3702 2237 0321 3707 ...7.$.!7."7.!7. │ │ │ 00323680: 233d 0303 0a14 5052 fcf9 0802 2902 3f0b #=....PR....).?. │ │ │ @@ -205675,21 +205675,21 @@ │ │ │ 003236a0: 3709 2137 0a21 3d03 030a 1450 24fc f90b 7.!7.!=....P$... │ │ │ 003236b0: 0329 033f 0c1e 0003 3704 2504 083f 0c1e .).?....7.%..?.. │ │ │ 003236c0: 0003 3701 2504 083f 0a1e 0003 3701 2504 ..7.%..?....7.%. │ │ │ 003236d0: 062d 0004 1303 8c36 0c29 012d 0004 1302 .-.....6.).-.... │ │ │ 003236e0: 8c36 0c29 012d 0004 1301 8c36 0c29 0180 .6.).-.....6.).. │ │ │ 003236f0: 3c24 4414 0c20 140c 0c28 3014 0c20 140c <$D.. ...(0.. .. │ │ │ 00323700: 0c28 2828 0c0c 2828 2828 2c28 28b0 98b0 .(((..((((,((... │ │ │ -00323710: 0501 1341 4898 b005 0115 4146 98b0 0501 ...AH.....AF.... │ │ │ -00323720: 1741 45c5 6a34 f0d0 1b2b 7358 0591 d39d .AE.j4...+sX.... │ │ │ -00323730: f7fa 7a00 0000 0400 0000 076c 6962 7261 ..z........libra │ │ │ +00323710: 0501 1541 4898 b005 0117 4146 98b0 0501 ...AH.....AF.... │ │ │ +00323720: 1941 4538 2d3c 8044 2a64 1a7e 7cdf 7724 .AE8-<.D*d.~|.w$ │ │ │ +00323730: a88e c000 0000 0400 0000 076c 6962 7261 ...........libra │ │ │ 00323740: 7279 0000 0000 0000 00cf 0000 0000 0008 ry.............. │ │ │ 00323750: cf92 fd59 82b5 9fc3 0fa4 3bc1 28ed be74 ...Y......;.(..t │ │ │ 00323760: 7fbf 0000 0007 6f70 6171 7565 7300 0000 ......opaques... │ │ │ 00323770: 0000 08d0 7100 0000 0000 2946 fd5d 73fa ....q.....)F.]s. │ │ │ 00323780: 4a81 8cd0 3618 29f7 af91 f197 3d00 0000 J...6.).....=... │ │ │ 00323790: 0773 756d 6d61 7279 0000 0000 0000 0010 .summary........ │ │ │ 003237a0: 0000 0000 0000 00af 0624 7159 5437 583b .........$qYT7X; │ │ │ 003237b0: 2ffe 367b 44bb 5177 0000 0009 766d 6c69 /.6{D.Qw....vmli │ │ │ 003237c0: 6272 6172 7900 0000 0000 3217 7e00 0000 brary.....2.~... │ │ │ -003237d0: 0000 001f a5c5 6a34 f0d0 1b2b 7358 0591 ......j4...+sX.. │ │ │ -003237e0: d39d f7fa 7a ....z │ │ │ +003237d0: 0000 001f a538 2d3c 8044 2a64 1a7e 7cdf .....8-<.D*d.~|. │ │ │ +003237e0: 7724 a88e c0 w$... │ │ ├── ./var/lib/coq/md5sums/libcoq-flocq.checksum │ │ │ @@ -1 +1 @@ │ │ │ -foa28 │ │ │ +j9do6