--- /srv/rebuilderd/tmp/rebuilderd2f1fiD/inputs/libcoq-unimath_20260603-2_armhf.deb +++ /srv/rebuilderd/tmp/rebuilderd2f1fiD/out/libcoq-unimath_20260603-2_armhf.deb ├── file list │ @@ -1,3 +1,3 @@ │ -rw-r--r-- 0 0 0 4 2026-07-23 15:29:51.000000 debian-binary │ --rw-r--r-- 0 0 0 117956 2026-07-23 15:29:51.000000 control.tar.xz │ --rw-r--r-- 0 0 0 58485008 2026-07-23 15:29:51.000000 data.tar.xz │ +-rw-r--r-- 0 0 0 117964 2026-07-23 15:29:51.000000 control.tar.xz │ +-rw-r--r-- 0 0 0 58485212 2026-07-23 15:29:51.000000 data.tar.xz ├── control.tar.xz │ ├── control.tar │ │ ├── ./control │ │ │ @@ -1,15 +1,15 @@ │ │ │ Package: libcoq-unimath │ │ │ Source: coq-unimath │ │ │ Version: 20260603-2 │ │ │ Architecture: armhf │ │ │ Maintainer: Debian OCaml Maintainers │ │ │ Installed-Size: 253124 │ │ │ Depends: libcoq-stdlib-3dj74 │ │ │ -Provides: libcoq-unimath-dayy9 │ │ │ +Provides: libcoq-unimath-y7ur4 │ │ │ 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 │ │ ├── file list │ │ │ @@ -3254,15 +3254,15 @@ │ │ │ -rw-r--r-- 0 root (0) root (0) 11123 2026-07-23 15:29:51.000000 ./usr/lib/arm-linux-gnueabihf/ocaml/5.4.1/coq/user-contrib/UniMath/CategoryTheory/Limits/Graphs/BinCoproducts.v │ │ │ -rw-r--r-- 0 root (0) root (0) 38695 2026-07-23 15:29:51.000000 ./usr/lib/arm-linux-gnueabihf/ocaml/5.4.1/coq/user-contrib/UniMath/CategoryTheory/Limits/Graphs/BinCoproducts.vo │ │ │ -rw-r--r-- 0 root (0) root (0) 49145 2026-07-23 15:29:51.000000 ./usr/lib/arm-linux-gnueabihf/ocaml/5.4.1/coq/user-contrib/UniMath/CategoryTheory/Limits/Graphs/BinProducts.glob │ │ │ -rw-r--r-- 0 root (0) root (0) 5913 2026-07-23 15:29:51.000000 ./usr/lib/arm-linux-gnueabihf/ocaml/5.4.1/coq/user-contrib/UniMath/CategoryTheory/Limits/Graphs/BinProducts.v │ │ │ -rw-r--r-- 0 root (0) root (0) 24470 2026-07-23 15:29:51.000000 ./usr/lib/arm-linux-gnueabihf/ocaml/5.4.1/coq/user-contrib/UniMath/CategoryTheory/Limits/Graphs/BinProducts.vo │ │ │ -rw-r--r-- 0 root (0) root (0) 82535 2026-07-23 15:29:51.000000 ./usr/lib/arm-linux-gnueabihf/ocaml/5.4.1/coq/user-contrib/UniMath/CategoryTheory/Limits/Graphs/Coequalizers.glob │ │ │ -rw-r--r-- 0 root (0) root (0) 13763 2026-07-23 15:29:51.000000 ./usr/lib/arm-linux-gnueabihf/ocaml/5.4.1/coq/user-contrib/UniMath/CategoryTheory/Limits/Graphs/Coequalizers.v │ │ │ --rw-r--r-- 0 root (0) root (0) 54291 2026-07-23 15:29:51.000000 ./usr/lib/arm-linux-gnueabihf/ocaml/5.4.1/coq/user-contrib/UniMath/CategoryTheory/Limits/Graphs/Coequalizers.vo │ │ │ +-rw-r--r-- 0 root (0) root (0) 54289 2026-07-23 15:29:51.000000 ./usr/lib/arm-linux-gnueabihf/ocaml/5.4.1/coq/user-contrib/UniMath/CategoryTheory/Limits/Graphs/Coequalizers.vo │ │ │ -rw-r--r-- 0 root (0) root (0) 15494 2026-07-23 15:29:51.000000 ./usr/lib/arm-linux-gnueabihf/ocaml/5.4.1/coq/user-contrib/UniMath/CategoryTheory/Limits/Graphs/Cokernels.glob │ │ │ -rw-r--r-- 0 root (0) root (0) 3717 2026-07-23 15:29:51.000000 ./usr/lib/arm-linux-gnueabihf/ocaml/5.4.1/coq/user-contrib/UniMath/CategoryTheory/Limits/Graphs/Cokernels.v │ │ │ -rw-r--r-- 0 root (0) root (0) 8590 2026-07-23 15:29:51.000000 ./usr/lib/arm-linux-gnueabihf/ocaml/5.4.1/coq/user-contrib/UniMath/CategoryTheory/Limits/Graphs/Cokernels.vo │ │ │ -rw-r--r-- 0 root (0) root (0) 166118 2026-07-23 15:29:51.000000 ./usr/lib/arm-linux-gnueabihf/ocaml/5.4.1/coq/user-contrib/UniMath/CategoryTheory/Limits/Graphs/Colimits.glob │ │ │ -rw-r--r-- 0 root (0) root (0) 25599 2026-07-23 15:29:51.000000 ./usr/lib/arm-linux-gnueabihf/ocaml/5.4.1/coq/user-contrib/UniMath/CategoryTheory/Limits/Graphs/Colimits.v │ │ │ -rw-r--r-- 0 root (0) root (0) 106063 2026-07-23 15:29:51.000000 ./usr/lib/arm-linux-gnueabihf/ocaml/5.4.1/coq/user-contrib/UniMath/CategoryTheory/Limits/Graphs/Colimits.vo │ │ │ -rw-r--r-- 0 root (0) root (0) 9338 2026-07-23 15:29:51.000000 ./usr/lib/arm-linux-gnueabihf/ocaml/5.4.1/coq/user-contrib/UniMath/CategoryTheory/Limits/Graphs/Coproducts.glob │ │ ├── ./usr/lib/arm-linux-gnueabihf/ocaml/5.4.1/coq/user-contrib/UniMath/CategoryTheory/Limits/Graphs/Coequalizers.vo │ │ │ @@ -1,8 +1,8 @@ │ │ │ -00000000: 436f 7121 0001 60bb 0000 0000 0000 d361 Coq!..`........a │ │ │ +00000000: 436f 7121 0001 60bb 0000 0000 0000 d35f Coq!..`........_ │ │ │ 00000010: 8495 a6be 0000 029b 0000 0075 0000 019b ...........u.... │ │ │ 00000020: 0000 0151 c0a0 2c43 6f65 7175 616c 697a ...Q..,Coequaliz │ │ │ 00000030: 6572 73a0 2647 7261 7068 73a0 264c 696d ers.&Graphs.&Lim │ │ │ 00000040: 6974 73a0 2e43 6174 6567 6f72 7954 6865 its..CategoryThe │ │ │ 00000050: 6f72 79a0 2755 6e69 4d61 7468 4008 0000 ory.'UniMath@... │ │ │ 00000060: 2b00 a0a0 2550 6172 7444 a02b 466f 756e +...%PartD.+Foun │ │ │ 00000070: 6461 7469 6f6e 73a0 2755 6e69 4d61 7468 dations.'UniMath │ │ │ @@ -2574,16 +2574,16 @@ │ │ │ 0000a0d0: 0505 f705 060b 0506 1d05 065a 0506 8905 ...........Z.... │ │ │ 0000a0e0: 070c 044f 0507 91a9 0503 3d08 0000 2f00 ...O......=.../. │ │ │ 0000a0f0: 0506 bb05 05cd 0505 f905 060d 0506 1f05 ................ │ │ │ 0000a100: 06ed 0506 8b05 070e 0507 8805 07e4 0508 ................ │ │ │ 0000a110: 2f42 a904 a908 0000 2300 0506 c405 0679 /B......#......y │ │ │ 0000a120: 0506 7605 068d 0506 7f05 06ef 0507 1005 ..v............. │ │ │ 0000a130: 078a 0506 e528 8bfd 6713 1a62 fe77 ffb5 .....(..g..b.w.. │ │ │ -0000a140: 2d5e cddc b084 95a6 be00 0031 f800 0000 -^.........1.... │ │ │ -0000a150: 6400 000d 6900 0007 43a0 a02c 436f 6571 d...i...C..,Coeq │ │ │ +0000a140: 2d5e cddc b084 95a6 be00 0031 f600 0000 -^.........1.... │ │ │ +0000a150: 6200 000d 6400 0007 3ea0 a02c 436f 6571 b...d...>..,Coeq │ │ │ 0000a160: 7561 6c69 7a65 7273 a026 4772 6170 6873 ualizers.&Graphs │ │ │ 0000a170: a026 4c69 6d69 7473 a02e 4361 7465 676f .&Limits..Catego │ │ │ 0000a180: 7279 5468 656f 7279 a027 556e 694d 6174 ryTheory.'UniMat │ │ │ 0000a190: 6840 0800 005b 00c0 2336 008c 8021 0490 h@...[..#6...!.. │ │ │ 0000a1a0: 94a1 4040 c004 0680 2104 9094 a191 4040 ..@@....!.....@@ │ │ │ 0000a1b0: c009 292d 001f 3700 3700 3701 2237 0237 ..)-..7.7.7."7.7 │ │ │ 0000a1c0: 0337 0423 092d 0011 3705 3a00 3704 2337 .7.#.-..7.:.7.#7 │ │ │ @@ -3374,21 +3374,21 @@ │ │ │ 0000d2d0: 1420 141c 1410 1844 2018 280c 0c0c 0c68 . .....D .(....h │ │ │ 0000d2e0: 2018 4848 2018 400c 0c0c 0c48 2018 4414 .HH .@....H .D. │ │ │ 0000d2f0: 3814 2014 1c14 1018 100c 0c0c 0c48 143c 8. ..........H.< │ │ │ 0000d300: 1424 141c 1410 1838 2018 100c 0c0c 0c4c .$.....8 ......L │ │ │ 0000d310: 1438 1420 141c 1410 1810 0c0c 0c48 143c .8. .........H.< │ │ │ 0000d320: 1424 141c 1410 1838 2018 100c 0c0c 0c40 .$.....8 ......@ │ │ │ 0000d330: 2018 140c 0c0c 4814 3c14 2414 1c14 1018 .....H.<.$..... │ │ │ -0000d340: 3820 1810 0c0c 0c0c a094 a191 4040 9404 8 ..........@@.. │ │ │ -0000d350: 536a eb7e d169 9d67 af29 4797 f46b 466a Sj.~.i.g.)G..kFj │ │ │ -0000d360: 4400 0000 0400 0000 076c 6962 7261 7279 D........library │ │ │ -0000d370: 0000 0000 0000 02cf 0000 0000 0000 6ae2 ..............j. │ │ │ -0000d380: 1a96 96b0 8403 2fca cda9 3ef2 42e7 95af ....../...>.B... │ │ │ -0000d390: 0000 0007 6f70 6171 7565 7300 0000 0000 ....opaques..... │ │ │ -0000d3a0: 006d c100 0000 0000 0033 7428 8bfd 6713 .m.......3t(..g. │ │ │ -0000d3b0: 1a62 fe77 ffb5 2d5e cddc b000 0000 0773 .b.w..-^.......s │ │ │ -0000d3c0: 756d 6d61 7279 0000 0000 0000 0010 0000 ummary.......... │ │ │ -0000d3d0: 0000 0000 02af 2041 43a5 5376 9965 aafa ...... AC.Sv.e.. │ │ │ -0000d3e0: 7a99 7b1c 0bd3 0000 0009 766d 6c69 6272 z.{.......vmlibr │ │ │ -0000d3f0: 6172 7900 0000 0000 00a1 4500 0000 0000 ary.......E..... │ │ │ -0000d400: 0032 0c6a eb7e d169 9d67 af29 4797 f46b .2.j.~.i.g.)G..k │ │ │ -0000d410: 466a 44 FjD │ │ │ +0000d340: 3820 1810 0c0c 0c0c a094 044b 9404 5198 8 .........K..Q. │ │ │ +0000d350: 7feb 2eab ca8f 543c 4034 6e1d a484 2b00 ......T<@4n...+. │ │ │ +0000d360: 0000 0400 0000 076c 6962 7261 7279 0000 .......library.. │ │ │ +0000d370: 0000 0000 02cf 0000 0000 0000 6ae2 1a96 ............j... │ │ │ +0000d380: 96b0 8403 2fca cda9 3ef2 42e7 95af 0000 ..../...>.B..... │ │ │ +0000d390: 0007 6f70 6171 7565 7300 0000 0000 006d ..opaques......m │ │ │ +0000d3a0: c100 0000 0000 0033 7428 8bfd 6713 1a62 .......3t(..g..b │ │ │ +0000d3b0: fe77 ffb5 2d5e cddc b000 0000 0773 756d .w..-^.......sum │ │ │ +0000d3c0: 6d61 7279 0000 0000 0000 0010 0000 0000 mary............ │ │ │ +0000d3d0: 0000 02af 2041 43a5 5376 9965 aafa 7a99 .... AC.Sv.e..z. │ │ │ +0000d3e0: 7b1c 0bd3 0000 0009 766d 6c69 6272 6172 {.......vmlibrar │ │ │ +0000d3f0: 7900 0000 0000 00a1 4500 0000 0000 0032 y.......E......2 │ │ │ +0000d400: 0a98 7feb 2eab ca8f 543c 4034 6e1d a484 ........T<@4n... │ │ │ +0000d410: 2b + │ │ ├── ./var/lib/coq/md5sums/libcoq-unimath.checksum │ │ │ @@ -1 +1 @@ │ │ │ -dayy9 │ │ │ +y7ur4