--- /srv/rebuilderd/tmp/rebuilderdCB4Sl5/inputs/libcoq-iris_4.3.0-1+b7_ppc64el.deb +++ /srv/rebuilderd/tmp/rebuilderdCB4Sl5/out/libcoq-iris_4.3.0-1+b7_ppc64el.deb ├── file list │ @@ -1,3 +1,3 @@ │ -rw-r--r-- 0 0 0 4 2025-12-28 04:42:53.000000 debian-binary │ --rw-r--r-- 0 0 0 13440 2025-12-28 04:42:53.000000 control.tar.xz │ --rw-r--r-- 0 0 0 12589880 2025-12-28 04:42:53.000000 data.tar.xz │ +-rw-r--r-- 0 0 0 13432 2025-12-28 04:42:53.000000 control.tar.xz │ +-rw-r--r-- 0 0 0 12589204 2025-12-28 04:42:53.000000 data.tar.xz ├── control.tar.xz │ ├── control.tar │ │ ├── ./control │ │ │ @@ -1,15 +1,15 @@ │ │ │ Package: libcoq-iris │ │ │ Source: coq-iris (4.3.0-1) │ │ │ Version: 4.3.0-1+b7 │ │ │ Architecture: ppc64el │ │ │ Maintainer: Debian OCaml Maintainers │ │ │ Installed-Size: 39724 │ │ │ Depends: libcoq-stdpp-jg2s0 │ │ │ -Provides: libcoq-iris-nqyr0 │ │ │ +Provides: libcoq-iris-8po67 │ │ │ Section: ocaml │ │ │ Priority: optional │ │ │ Homepage: https://gitlab.mpi-sws.org/iris/iris │ │ │ Description: high-order concurrent separation logic framework for Coq │ │ │ This package provides a high-order concurrent separation │ │ │ logic framework for Coq, which means it is useful to reason │ │ │ about safety of concurrent programs. │ │ ├── ./md5sums │ │ │ ├── ./md5sums │ │ │ │┄ Files differ ├── data.tar.xz │ ├── data.tar │ │ ├── file list │ │ │ @@ -549,15 +549,15 @@ │ │ │ -rw-r--r-- 0 root (0) root (0) 227 2025-12-28 04:42:53.000000 ./usr/share/doc/libcoq-iris/changelog.Debian.ppc64el.gz │ │ │ -rw-r--r-- 0 root (0) root (0) 38793 2024-10-30 18:24:15.000000 ./usr/share/doc/libcoq-iris/changelog.gz │ │ │ -rw-r--r-- 0 root (0) root (0) 36859 2024-11-20 09:53:37.000000 ./usr/share/doc/libcoq-iris/copyright │ │ │ -rw-r--r-- 0 root (0) root (0) 1920 2024-10-30 18:24:15.000000 ./usr/share/doc/libcoq-iris/dune.md │ │ │ -rw-r--r-- 0 root (0) root (0) 5344 2024-10-30 18:24:15.000000 ./usr/share/doc/libcoq-iris/editor.md.gz │ │ │ -rw-r--r-- 0 root (0) root (0) 4514 2024-10-30 18:24:15.000000 ./usr/share/doc/libcoq-iris/equalities_and_entailments.md.gz │ │ │ -rw-r--r-- 0 root (0) root (0) 3499 2024-10-30 18:24:15.000000 ./usr/share/doc/libcoq-iris/heap_lang.md.gz │ │ │ --rw-r--r-- 0 root (0) root (0) 849718 2025-12-28 04:42:53.000000 ./usr/share/doc/libcoq-iris/iris.pdf.gz │ │ │ +-rw-r--r-- 0 root (0) root (0) 848955 2025-12-28 04:42:53.000000 ./usr/share/doc/libcoq-iris/iris.pdf.gz │ │ │ -rw-r--r-- 0 root (0) root (0) 3601 2024-10-30 18:24:15.000000 ./usr/share/doc/libcoq-iris/proof_guide.md.gz │ │ │ -rw-r--r-- 0 root (0) root (0) 8690 2024-10-30 18:24:15.000000 ./usr/share/doc/libcoq-iris/proof_mode.md.gz │ │ │ -rw-r--r-- 0 root (0) root (0) 5458 2024-10-30 18:24:15.000000 ./usr/share/doc/libcoq-iris/resource_algebras.md.gz │ │ │ -rw-r--r-- 0 root (0) root (0) 4086 2024-10-30 18:24:15.000000 ./usr/share/doc/libcoq-iris/style_guide.md.gz │ │ │ drwxr-xr-x 0 root (0) root (0) 0 2025-12-28 04:42:53.000000 ./usr/share/doc-base/ │ │ │ -rw-r--r-- 0 root (0) root (0) 157 2024-11-20 09:53:37.000000 ./usr/share/doc-base/libcoq-iris.coq-iris │ │ │ drwxr-xr-x 0 root (0) root (0) 0 2025-12-28 04:42:53.000000 ./var/ │ │ ├── ./usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/iris/heap_lang/lib/lock.vo │ │ │ @@ -1704,16 +1704,16 @@ │ │ │ 00006a70: 06f8 041e 041e a905 010e a005 0151 0420 .............Q. │ │ │ 00006a80: a005 06fb a905 018a c005 0109 0501 0805 ................ │ │ │ 00006a90: 0103 a905 0333 a005 030c a905 04a2 b005 .....3.......... │ │ │ 00006aa0: 030e 0505 ab05 0702 42a9 0506 7cb0 04ff ........B...|... │ │ │ 00006ab0: 04fe b705 05ac 0505 e2a9 0503 3aa0 0504 ............:... │ │ │ 00006ac0: 6aa9 0504 a9b0 0504 6c05 06ef 0507 0804 j.......l....... │ │ │ 00006ad0: f990 4097 fd77 5de5 6de9 3a03 fce8 4403 ..@..w].m.:...D. │ │ │ -00006ae0: c3bf 5484 95a6 be00 000a 1900 0000 7b00 ..T...........{. │ │ │ -00006af0: 0003 9f00 0002 7fa0 a024 6c6f 636b a023 .........$lock.# │ │ │ +00006ae0: c3bf 5484 95a6 be00 000a 1900 0000 7c00 ..T...........|. │ │ │ +00006af0: 0003 a100 0002 81a0 a024 6c6f 636b a023 .........$lock.# │ │ │ 00006b00: 6c69 62a0 2968 6561 705f 6c61 6e67 a024 lib.)heap_lang.$ │ │ │ 00006b10: 6972 6973 4008 0000 3f00 c009 202d 0002 iris@...?... -.. │ │ │ 00006b20: 8c00 3d02 0209 500b fcfa 0001 2901 3e0e ..=...P.....).>. │ │ │ 00006b30: 0029 0f2d 0004 1301 8c36 0129 0180 2230 .).-.....6.).."0 │ │ │ 00006b40: 4090 98b0 90a0 414e 414e c009 202d 0002 @.....ANAN.. -.. │ │ │ 00006b50: 8c00 3d02 0209 500b fcfa 0001 2901 3e0e ..=...P.....).>. │ │ │ 00006b60: 0129 0f2d 0004 1301 8c36 0129 0180 2230 .).-.....6.).."0 │ │ │ @@ -1836,15 +1836,15 @@ │ │ │ 000072b0: 2137 1221 430c 2219 3707 2137 1221 430e !7.!C.".7.!7.!C. │ │ │ 000072c0: 2119 3707 2137 1221 430c 2209 1f0d 1807 !.7.!7.!C."..... │ │ │ 000072d0: 1e03 0419 1b1a 3713 2008 1937 0721 3712 ......7. ..7.!7. │ │ │ 000072e0: 2143 0c22 1937 0721 3712 2137 1427 0314 !C.".7.!7.!7.'.. │ │ │ 000072f0: 3707 2137 1221 4300 2901 8009 2330 542c 7.!7.!C.)...#0T, │ │ │ 00007300: 3840 4038 380c 4840 1c0c 1c10 0c1c 1044 8@@88.H@.......D │ │ │ 00007310: 140c 1c0c 1c0c 1c0c 4414 0c1c 0c0c 140c ........D....... │ │ │ -00007320: a098 b004 6041 4e94 0408 c00a 0000 0140 ....`AN........@ │ │ │ +00007320: a098 b004 6041 4e94 9140 c00a 0000 0140 ....`AN..@.....@ │ │ │ 00007330: 2d00 028c 003d 0202 0950 0cfc fa00 0129 -....=...P.....) │ │ │ 00007340: 013e 0e08 0d29 0f2d 0004 1301 8c00 2d01 .>...).-......-. │ │ │ 00007350: 0737 013a 0029 0114 0a2d 0207 3702 3a00 .7.:.)...-..7.:. │ │ │ 00007360: 2901 140a 1a2d 030a 0a19 3703 223a 0029 )....-....7.":.) │ │ │ 00007370: 0100 1e00 032d 040a 1a19 3704 223a 0029 .....-....7.":.) │ │ │ 00007380: 0100 1c1b 191a 2d05 0919 3705 213a 0029 ......-...7.!:.) │ │ │ 00007390: 0100 1e00 052d 0607 3706 3a00 2901 001e .....-..7.:.)... │ │ │ @@ -1859,28 +1859,28 @@ │ │ │ 00007420: 0d18 051e 0302 191b 1a37 1320 0619 3707 .........7. ..7. │ │ │ 00007430: 2137 1221 430b 2209 1f0d 1807 1e03 0419 !7.!C."......... │ │ │ 00007440: 1b1a 3714 2008 1937 0721 3712 2143 0b22 ..7. ..7.!7.!C." │ │ │ 00007450: 1937 0721 3712 2143 0c22 1937 0721 3712 .7.!7.!C.".7.!7. │ │ │ 00007460: 2137 1527 0314 3707 2137 1221 4300 2901 !7.'..7.!7.!C.). │ │ │ 00007470: 8009 2830 542c 3840 4038 380c 4840 1c0c ..(0T,8@@88.H@.. │ │ │ 00007480: 1c10 0c1c 1010 0c0c 1c0c 1c0c 1c0c 4c14 ..............L. │ │ │ -00007490: 0c44 140c 1c0c 1c0c 0c14 0ca0 98b0 0467 .D.............g │ │ │ -000074a0: 414e 9404 0fc0 0958 2d00 038c 2a2b 061f AN.....X-...*+.. │ │ │ +00007490: 0c44 140c 1c0c 1c0c 0c14 0ca0 98b0 0468 .D.............h │ │ │ +000074a0: 414e 9404 08c0 0958 2d00 038c 2a2b 061f AN.....X-...*+.. │ │ │ 000074b0: 0a08 0912 0906 3700 2007 091f 0f08 0a12 ......7. ....... │ │ │ 000074c0: 0a02 1209 0311 0d37 0120 070c 3702 2137 .......7. ..7.!7 │ │ │ 000074d0: 0321 0d37 0221 3703 2137 0424 091f 0f08 .!.7.!7.!7.$.... │ │ │ 000074e0: 0a12 0a02 1209 0311 0d37 0120 070c 3702 .........7. ..7. │ │ │ 000074f0: 2137 0321 0d37 0221 3703 2137 0525 040b !7.!.7.!7.!7.%.. │ │ │ 00007500: 802d 3c44 140c 100c 0c40 140c 100c 0c80 .-