--- /srv/rebuilderd/tmp/rebuilderdEoPClT/inputs/libcoq-unimath_20260603-2_i386.deb +++ /srv/rebuilderd/tmp/rebuilderdEoPClT/out/libcoq-unimath_20260603-2_i386.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 117920 2026-07-23 15:29:51.000000 control.tar.xz │ --rw-r--r-- 0 0 0 58486648 2026-07-23 15:29:51.000000 data.tar.xz │ +-rw-r--r-- 0 0 0 117900 2026-07-23 15:29:51.000000 control.tar.xz │ +-rw-r--r-- 0 0 0 58486884 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: i386 │ │ │ Maintainer: Debian OCaml Maintainers │ │ │ Installed-Size: 253124 │ │ │ Depends: libcoq-stdlib-xxoz8 │ │ │ -Provides: libcoq-unimath-y7ur4 │ │ │ +Provides: libcoq-unimath-vtiu9 │ │ │ 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/i386-linux-gnu/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/i386-linux-gnu/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/i386-linux-gnu/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/i386-linux-gnu/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/i386-linux-gnu/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/i386-linux-gnu/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/i386-linux-gnu/ocaml/5.4.1/coq/user-contrib/UniMath/CategoryTheory/Limits/Graphs/Coequalizers.v │ │ │ --rw-r--r-- 0 root (0) root (0) 54289 2026-07-23 15:29:51.000000 ./usr/lib/i386-linux-gnu/ocaml/5.4.1/coq/user-contrib/UniMath/CategoryTheory/Limits/Graphs/Coequalizers.vo │ │ │ +-rw-r--r-- 0 root (0) root (0) 54292 2026-07-23 15:29:51.000000 ./usr/lib/i386-linux-gnu/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/i386-linux-gnu/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/i386-linux-gnu/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/i386-linux-gnu/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/i386-linux-gnu/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/i386-linux-gnu/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/i386-linux-gnu/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/i386-linux-gnu/ocaml/5.4.1/coq/user-contrib/UniMath/CategoryTheory/Limits/Graphs/Coproducts.glob │ │ ├── ./usr/lib/i386-linux-gnu/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 d35f Coq!..`........_ │ │ │ +00000000: 436f 7121 0001 60bb 0000 0000 0000 d362 Coq!..`........b │ │ │ 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 f600 0000 -^.........1.... │ │ │ -0000a150: 6200 000d 6400 0007 3ea0 a02c 436f 6571 b...d...>..,Coeq │ │ │ +0000a140: 2d5e cddc b084 95a6 be00 0031 f900 0000 -^.........1.... │ │ │ +0000a150: 6500 000d 6c00 0007 46a0 a02c 436f 6571 e...l...F..,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 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 + │ │ │ +0000d340: 3820 1810 0c0c 0c0c a094 a191 4040 94a1 8 ..........@@.. │ │ │ +0000d350: 4040 cef4 4d58 c2bb bb4f 3ba5 07da d046 @@..MX...O;....F │ │ │ +0000d360: 4ce1 0000 0004 0000 0007 6c69 6272 6172 L.........librar │ │ │ +0000d370: 7900 0000 0000 0002 cf00 0000 0000 006a y..............j │ │ │ +0000d380: e21a 9696 b084 032f cacd a93e f242 e795 ......./...>.B.. │ │ │ +0000d390: af00 0000 076f 7061 7175 6573 0000 0000 .....opaques.... │ │ │ +0000d3a0: 0000 6dc1 0000 0000 0000 3374 288b fd67 ..m.......3t(..g │ │ │ +0000d3b0: 131a 62fe 77ff b52d 5ecd dcb0 0000 0007 ..b.w..-^....... │ │ │ +0000d3c0: 7375 6d6d 6172 7900 0000 0000 0000 1000 summary......... │ │ │ +0000d3d0: 0000 0000 0002 af20 4143 a553 7699 65aa ....... AC.Sv.e. │ │ │ +0000d3e0: fa7a 997b 1c0b d300 0000 0976 6d6c 6962 .z.{.......vmlib │ │ │ +0000d3f0: 7261 7279 0000 0000 0000 a145 0000 0000 rary.......E.... │ │ │ +0000d400: 0000 320d cef4 4d58 c2bb bb4f 3ba5 07da ..2...MX...O;... │ │ │ +0000d410: d046 4ce1 .FL. │ │ ├── ./var/lib/coq/md5sums/libcoq-unimath.checksum │ │ │ @@ -1 +1 @@ │ │ │ -y7ur4 │ │ │ +vtiu9