--- /srv/rebuilderd/tmp/rebuilderdPpDFB3/inputs/libcoq-hott_9.0-1+b4_arm64.deb +++ /srv/rebuilderd/tmp/rebuilderdPpDFB3/out/libcoq-hott_9.0-1+b4_arm64.deb ├── file list │ @@ -1,3 +1,3 @@ │ -rw-r--r-- 0 0 0 4 2026-02-12 14:48:19.000000 debian-binary │ --rw-r--r-- 0 0 0 42752 2026-02-12 14:48:19.000000 control.tar.xz │ --rw-r--r-- 0 0 0 14647952 2026-02-12 14:48:19.000000 data.tar.xz │ +-rw-r--r-- 0 0 0 42756 2026-02-12 14:48:19.000000 control.tar.xz │ +-rw-r--r-- 0 0 0 14648880 2026-02-12 14:48:19.000000 data.tar.xz ├── control.tar.xz │ ├── control.tar │ │ ├── ./control │ │ │ @@ -1,15 +1,15 @@ │ │ │ Package: libcoq-hott │ │ │ Source: coq-hott (9.0-1) │ │ │ Version: 9.0-1+b4 │ │ │ Architecture: arm64 │ │ │ Maintainer: Debian OCaml Maintainers │ │ │ Installed-Size: 62773 │ │ │ Depends: libcoq-stdlib-jr710 │ │ │ -Provides: libcoq-hott-ukgu1 │ │ │ +Provides: libcoq-hott-f9rj8 │ │ │ Section: ocaml │ │ │ Priority: optional │ │ │ Homepage: https://github.com/HoTT/HoTT │ │ │ Description: Coq library for homotopy type theory │ │ │ This library is a formalization of homotopy type │ │ │ theory for Coq, where propositional equality is │ │ │ interpreted as homotopy and type isomorphism as │ │ ├── ./md5sums │ │ │ ├── ./md5sums │ │ │ │┄ Files differ ├── data.tar.xz │ ├── data.tar │ │ ├── ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/HoTT/Categories/LaxComma/Core.vo │ │ │ @@ -4665,52 +4665,52 @@ │ │ │ 00012380: 9804 9604 9404 9204 9004 8e04 8c04 8a04 ................ │ │ │ 00012390: 8804 8604 8404 8204 8004 7e04 7c04 7a04 ..........~.|.z. │ │ │ 000123a0: 7804 7604 7404 7204 7004 6e04 6c04 6804 x.v.t.r.p.n.l.h. │ │ │ 000123b0: 66c0 0934 2d00 038c 2a2b 0545 091f 1707 f..4-...*+.E.... │ │ │ 000123c0: 4a4a 4a37 0011 0952 0137 0222 120a 0252 JJJ7...R.7."...R │ │ │ 000123d0: 0337 0420 070f 3700 0d52 0137 0222 1206 .7. ..7..R.7.".. │ │ │ 000123e0: 0352 0537 0625 070d 802a 4010 0818 0814 .R.7.%...*@..... │ │ │ -000123f0: 0c08 1808 c094 9140 93a0 8090 0485 93a0 .......@........ │ │ │ -00012400: 8008 0000 3f00 0486 0484 0482 0480 047e ....?..........~ │ │ │ -00012410: 047c 047a 0478 0474 0472 048a 046e 0450 .|.z.x.t.r...n.P │ │ │ -00012420: 0488 0488 93a0 8008 0000 df00 0463 045f .............c._ │ │ │ -00012430: 045d 0457 0455 044f 044d 0479 04af 04ad .].W.U.O.M.y.... │ │ │ -00012440: 04ab 04a9 04a7 04a5 04a3 04a1 049f 049d ................ │ │ │ -00012450: 049b 0499 0497 0495 0493 0491 048f 048d ................ │ │ │ -00012460: 0473 042e 048b 048b 0451 045b 0459 044b .s.......Q.[.Y.K │ │ │ -00012470: 0449 0447 0445 046f 046d 046b 0469 0467 .I.G.E.o.m.k.i.g │ │ │ -00012480: 0465 0489 0487 0485 0483 0481 047f 047d .e.............} │ │ │ -00012490: 047b 0477 0475 0471 0453 c009 352d 0003 .{.w.u.q.S..5-.. │ │ │ +000123f0: 0c08 1808 c094 0420 93a0 8090 0484 93a0 ....... ........ │ │ │ +00012400: 8008 0000 3f00 0485 0483 0481 047f 047d ....?..........} │ │ │ +00012410: 047b 0479 0477 0473 0471 0489 046d 044f .{.y.w.s.q...m.O │ │ │ +00012420: 0487 0487 93a0 8008 0000 df00 0462 045e .............b.^ │ │ │ +00012430: 045c 0456 0454 044e 044c 0478 04ae 04ac .\.V.T.N.L.x.... │ │ │ +00012440: 04aa 04a8 04a6 04a4 04a2 04a0 049e 049c ................ │ │ │ +00012450: 049a 0498 0496 0494 0492 0490 048e 048c ................ │ │ │ +00012460: 0472 042d 048a 048a 0450 045a 0458 044a .r.-.....P.Z.X.J │ │ │ +00012470: 0448 0446 0444 046e 046c 046a 0468 0466 .H.F.D.n.l.j.h.f │ │ │ +00012480: 0464 0488 0486 0484 0482 0480 047e 047c .d...........~.| │ │ │ +00012490: 047a 0476 0474 0470 0452 c009 352d 0003 .z.v.t.p.R..5-.. │ │ │ 000124a0: 8c2a 2b05 450e 091f 1808 084a 4a4a 3700 .*+.E......JJJ7. │ │ │ 000124b0: 110a 5201 3702 2212 0b02 5203 3704 2007 ..R.7."...R.7. . │ │ │ 000124c0: 0e37 000e 5201 3702 220f 0f52 0537 0625 .7..R.7."..R.7.% │ │ │ 000124d0: 070d 802a 4810 0818 0814 0c08 1408 c094 ...*H........... │ │ │ -000124e0: 040f 93a0 8090 0495 93a0 8008 0000 3f00 ..............?. │ │ │ +000124e0: 9140 93a0 8090 0495 93a0 8008 0000 3f00 .@............?. │ │ │ 000124f0: 0496 0494 0492 0490 048e 048c 048a 0488 ................ │ │ │ 00012500: 0486 0482 0480 047c 045e 0498 0498 93a0 .......|.^...... │ │ │ 00012510: 8008 0000 df00 046f 046d 046b 0465 0463 .......o.m.k.e.c │ │ │ 00012520: 045d 045b 0487 04bd 04bb 04b9 04b7 04b5 .].[............ │ │ │ 00012530: 04b3 04b1 04af 04ad 04ab 04a9 04a7 04a5 ................ │ │ │ 00012540: 04a3 04a1 049f 049d 0477 049b 049b 0481 .........w...... │ │ │ 00012550: 043c 0499 0497 0495 0493 0491 048f 048d .<.............. │ │ │ 00012560: 048b 0489 0485 0483 047f 0461 045f 0469 ...........a._.i │ │ │ 00012570: 0467 0459 0457 0455 0453 047d 047b 0479 .g.Y.W.U.S.}.{.y │ │ │ 00012580: 0475 0473 c004 1d80 2a40 1008 1808 140c .u.s....*@...... │ │ │ -00012590: 0818 08c0 9404 1c93 a080 9004 a093 a080 ................ │ │ │ +00012590: 0818 08c0 9404 0e93 a080 9004 a093 a080 ................ │ │ │ 000125a0: 0800 003f 0004 a104 9f04 9d04 9b04 9904 ...?............ │ │ │ 000125b0: 9704 9504 9304 8f04 8d04 a504 8904 6b04 ..............k. │ │ │ 000125c0: a304 a393 a080 0800 00df 0004 7e04 7a04 ............~.z. │ │ │ 000125d0: 7804 7204 7004 6a04 6804 9404 ca04 c804 x.r.p.j.h....... │ │ │ 000125e0: c604 c404 c204 c004 be04 bc04 ba04 b804 ................ │ │ │ 000125f0: b604 b404 b204 b004 ae04 ac04 aa04 a804 ................ │ │ │ 00012600: 8e04 4904 a604 a604 6c04 7604 7404 6604 ..I.....l.v.t.f. │ │ │ 00012610: 6404 6204 6004 8a04 8804 8604 8404 8204 d.b.`........... │ │ │ 00012620: 8004 a404 a204 a004 9e04 9c04 9a04 9804 ................ │ │ │ -00012630: 9604 9204 9004 8c04 6ec0 041b 802a 4810 ........n....*H. │ │ │ -00012640: 0818 0814 0c08 1408 c094 0429 93a0 8090 ...........).... │ │ │ +00012630: 9604 9204 9004 8c04 6ec0 041c 802a 4810 ........n....*H. │ │ │ +00012640: 0818 0814 0c08 1408 c094 041b 93a0 8090 ................ │ │ │ 00012650: 04af 93a0 8008 0000 3f00 04b0 04ae 04ac ........?....... │ │ │ 00012660: 04aa 04a8 04a6 04a4 04a2 04a0 049c 049a ................ │ │ │ 00012670: 0496 0478 04b2 04b2 93a0 8008 0000 df00 ...x............ │ │ │ 00012680: 0489 0487 0485 047f 047d 0477 0475 04a1 .........}.w.u.. │ │ │ 00012690: 04d7 04d5 04d3 04d1 04cf 04cd 04cb 04c9 ................ │ │ │ 000126a0: 04c7 04c5 04c3 04c1 04bf 04bd 04bb 04b9 ................ │ │ │ 000126b0: 04b7 0491 04b5 04b5 049b 0456 04b3 04b1 ...........V.... │ │ │ @@ -4828,21 +4828,21 @@ │ │ │ 00012db0: 2080 c02a 2d00 038c 2a2b 0706 2908 8004 ..*-...*+..)... │ │ │ 00012dc0: 0380 c02a 2d00 038c 2a2b 0645 2907 8004 ...*-...*+.E)... │ │ │ 00012dd0: 0580 c02a 2d00 038c 2a2b 0545 2906 8004 ...*-...*+.E)... │ │ │ 00012de0: 0780 c004 0280 0408 80c0 0403 8004 0980 ................ │ │ │ 00012df0: c004 0480 040a 80c0 040f 8021 2080 c004 ...........! ... │ │ │ 00012e00: 0e80 040d 80c0 040c 8004 0e80 c004 0b80 ................ │ │ │ 00012e10: 040f 80c0 040a 8004 1080 c004 0b80 0411 ................ │ │ │ -00012e20: 80c0 040c 8004 1280 c004 0d80 0413 80bc ................ │ │ │ -00012e30: 3590 13df 0366 59c5 c596 3f70 b458 f100 5....fY...?p.X.. │ │ │ +00012e20: 80c0 040c 8004 1280 c004 0d80 0413 804a ...............J │ │ │ +00012e30: ce6a c37d 485a 91f4 ea35 1b33 9d52 0300 .j.}HZ...5.3.R.. │ │ │ 00012e40: 0000 0400 0000 076c 6962 7261 7279 0000 .......library.. │ │ │ 00012e50: 0000 0000 020b 0000 0000 0001 1784 bfa7 ................ │ │ │ 00012e60: 1120 dcf5 f3fe 9ff0 dc86 0188 ca28 0000 . ...........(.. │ │ │ 00012e70: 0007 6f70 6171 7565 7300 0000 0000 0119 ..opaques....... │ │ │ 00012e80: 9f00 0000 0000 0003 6e61 a835 1737 811e ........na.5.7.. │ │ │ 00012e90: a79d 5bf8 c70a 7a67 9400 0000 0773 756d ..[...zg.....sum │ │ │ 00012ea0: 6d61 7279 0000 0000 0000 0010 0000 0000 mary............ │ │ │ 00012eb0: 0000 01eb 1022 5af3 9437 e63d 318e d56d ....."Z..7.=1..m │ │ │ 00012ec0: d338 6a8a 0000 0009 766d 6c69 6272 6172 .8j.....vmlibrar │ │ │ 00012ed0: 7900 0000 0000 011d 1d00 0000 0000 0011 y............... │ │ │ -00012ee0: 12bc 3590 13df 0366 59c5 c596 3f70 b458 ..5....fY...?p.X │ │ │ -00012ef0: f1 . │ │ │ +00012ee0: 124a ce6a c37d 485a 91f4 ea35 1b33 9d52 .J.j.}HZ...5.3.R │ │ │ +00012ef0: 03 . │ │ ├── ./var/lib/coq/md5sums/libcoq-hott.checksum │ │ │ @@ -1 +1 @@ │ │ │ -ukgu1 │ │ │ +f9rj8