--- /srv/rebuilderd/tmp/rebuilderdp3rH4C/inputs/libcoq-unimath_20240923-2+b5_amd64.deb +++ /srv/rebuilderd/tmp/rebuilderdp3rH4C/out/libcoq-unimath_20240923-2+b5_amd64.deb ├── file list │ @@ -1,3 +1,3 @@ │ -rw-r--r-- 0 0 0 4 2025-12-28 04:14:05.000000 debian-binary │ -rw-r--r-- 0 0 0 102724 2025-12-28 04:14:05.000000 control.tar.xz │ --rw-r--r-- 0 0 0 51766100 2025-12-28 04:14:05.000000 data.tar.xz │ +-rw-r--r-- 0 0 0 51765896 2025-12-28 04:14:05.000000 data.tar.xz ├── control.tar.xz │ ├── control.tar │ │ ├── ./control │ │ │ @@ -1,15 +1,15 @@ │ │ │ Package: libcoq-unimath │ │ │ Source: coq-unimath (20240923-2) │ │ │ Version: 20240923-2+b5 │ │ │ Architecture: amd64 │ │ │ Maintainer: Debian OCaml Maintainers │ │ │ Installed-Size: 262822 │ │ │ Depends: libcoq-stdlib-44w21 │ │ │ -Provides: libcoq-unimath-jclx6 │ │ │ +Provides: libcoq-unimath-ybxm2 │ │ │ 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 │ │ │ @@ -4379,15 +4379,15 @@ │ │ │ -rw-r--r-- 0 root (0) root (0) 10148 2025-12-28 04:14:05.000000 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/UniMath/SubstitutionSystems/SubstitutionSystems_Summary.v │ │ │ -rw-r--r-- 0 root (0) root (0) 14314 2025-12-28 04:14:05.000000 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/UniMath/SubstitutionSystems/SubstitutionSystems_Summary.vo │ │ │ -rw-r--r-- 0 root (0) root (0) 26426 2025-12-28 04:14:05.000000 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/UniMath/SubstitutionSystems/SumOfSignatures.glob │ │ │ -rw-r--r-- 0 root (0) root (0) 4902 2025-12-28 04:14:05.000000 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/UniMath/SubstitutionSystems/SumOfSignatures.v │ │ │ -rw-r--r-- 0 root (0) root (0) 29636 2025-12-28 04:14:05.000000 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/UniMath/SubstitutionSystems/SumOfSignatures.vo │ │ │ -rw-r--r-- 0 root (0) root (0) 131358 2025-12-28 04:14:05.000000 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/UniMath/SubstitutionSystems/UntypedForests.glob │ │ │ -rw-r--r-- 0 root (0) root (0) 23514 2025-12-28 04:14:05.000000 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/UniMath/SubstitutionSystems/UntypedForests.v │ │ │ --rw-r--r-- 0 root (0) root (0) 65080 2025-12-28 04:14:05.000000 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/UniMath/SubstitutionSystems/UntypedForests.vo │ │ │ +-rw-r--r-- 0 root (0) root (0) 65082 2025-12-28 04:14:05.000000 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/UniMath/SubstitutionSystems/UntypedForests.vo │ │ │ drwxr-xr-x 0 root (0) root (0) 0 2025-12-28 04:14:05.000000 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/UniMath/SyntheticHomotopyTheory/ │ │ │ -rw-r--r-- 0 root (0) root (0) 199740 2025-12-28 04:14:05.000000 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/UniMath/SyntheticHomotopyTheory/AffineLine.glob │ │ │ -rw-r--r-- 0 root (0) root (0) 25285 2025-12-28 04:14:05.000000 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/UniMath/SyntheticHomotopyTheory/AffineLine.v │ │ │ -rw-r--r-- 0 root (0) root (0) 75195 2025-12-28 04:14:05.000000 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/UniMath/SyntheticHomotopyTheory/AffineLine.vo │ │ │ -rw-r--r-- 0 root (0) root (0) 376 2025-12-28 04:14:05.000000 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/UniMath/SyntheticHomotopyTheory/All.glob │ │ │ -rw-r--r-- 0 root (0) root (0) 342 2025-12-28 04:14:05.000000 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/UniMath/SyntheticHomotopyTheory/All.v │ │ │ -rw-r--r-- 0 root (0) root (0) 1253 2025-12-28 04:14:05.000000 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/UniMath/SyntheticHomotopyTheory/All.vo │ │ ├── ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/UniMath/SubstitutionSystems/UntypedForests.vo │ │ │ @@ -1,8 +1,8 @@ │ │ │ -00000000: 436f 7121 0001 4050 0000 0000 0000 fd86 Coq!..@P........ │ │ │ +00000000: 436f 7121 0001 4050 0000 0000 0000 fd88 Coq!..@P........ │ │ │ 00000010: 8495 a6be 0000 060c 0000 00db 0000 034b ...............K │ │ │ 00000020: 0000 02a3 c0a0 2e55 6e74 7970 6564 466f .......UntypedFo │ │ │ 00000030: 7265 7374 73a0 3353 7562 7374 6974 7574 rests.3Substitut │ │ │ 00000040: 696f 6e53 7973 7465 6d73 a027 556e 694d ionSystems.'UniM │ │ │ 00000050: 6174 6840 0800 005b 00a0 a025 5061 7274 ath@...[...%Part │ │ │ 00000060: 44a0 2b46 6f75 6e64 6174 696f 6e73 a027 D.+Foundations.' │ │ │ 00000070: 556e 694d 6174 6840 9030 946e 25de 9782 UniMath@.0.n%... │ │ │ @@ -3726,15 +3726,15 @@ │ │ │ 0000e8d0: 0506 5f05 065f a905 0132 f005 0731 0506 .._.._...2...1.. │ │ │ 0000e8e0: 7505 06a3 0504 b505 04a9 0504 a108 0000 u............... │ │ │ 0000e8f0: 0f10 0501 4a40 040e 0505 ee05 012d 0454 ....J@.......-.T │ │ │ 0000e900: a99a a090 b005 0733 2f43 6875 7263 685f .......3/Church_ │ │ │ 0000e910: 6765 6e5f 626f 6479 020a a7a8 f605 0749 gen_body.......I │ │ │ 0000e920: a005 06c2 0506 c105 0715 7095 84e6 ef7f ..........p..... │ │ │ 0000e930: 5e14 12f6 a54a 392f 5b89 8495 a6be 0000 ^....J9/[....... │ │ │ -0000e940: 1428 0000 00d5 0000 072a 0000 04e5 a0a0 .(.......*...... │ │ │ +0000e940: 142a 0000 00d7 0000 072f 0000 04ea a0a0 .*......./...... │ │ │ 0000e950: 2e55 6e74 7970 6564 466f 7265 7374 73a0 .UntypedForests. │ │ │ 0000e960: 3353 7562 7374 6974 7574 696f 6e53 7973 3SubstitutionSys │ │ │ 0000e970: 7465 6d73 a027 556e 694d 6174 6840 0800 tems.'UniMath@.. │ │ │ 0000e980: 0117 00c0 2636 0037 0121 8c80 2204 0890 ....&6.7.!.."... │ │ │ 0000e990: 9491 9191 40c0 2936 0037 0121 3702 218c ....@.)6.7.!7.!. │ │ │ 0000e9a0: 8023 0408 0c90 9404 08c0 2745 4a4a 3700 .#........'EJJ7. │ │ │ 0000e9b0: 238c 8021 1080 c004 0380 2110 80c0 0405 #..!......!..... │ │ │ @@ -4008,61 +4008,61 @@ │ │ │ 0000fa70: 0823 4300 4301 4300 4300 3709 370a 370b .#C.C.C.C.7.7.7. │ │ │ 0000fa80: 370c 370d 370e 370f 2007 4a4a 3710 234a 7.7.7.7. .JJ7.#J │ │ │ 0000fa90: 4a37 1124 0c37 1421 4300 2143 0022 4a3a J7.$.7.!C.!C."J: │ │ │ 0000faa0: 0137 050c 0c37 1421 4300 2143 0027 0480 .7...7.!C.!C.'.. │ │ │ 0000fab0: 0939 2008 0808 0c0c 1030 0808 080c 0c10 .9 ......0...... │ │ │ 0000fac0: 3818 080c 2c08 0808 0808 0818 1418 080c 8...,........... │ │ │ 0000fad0: 2c08 0808 0808 0818 140c 0c30 1808 0c2c ,..........0..., │ │ │ -0000fae0: 0808 0808 0808 1814 1030 10c0 9404 0794 .........0...... │ │ │ -0000faf0: 9204 0994 9191 4094 0402 c009 822d 0003 ......@......-.. │ │ │ -0000fb00: 8c2a 2b02 010c 0b2d 0226 3700 3701 3702 .*+....-.&7.7.7. │ │ │ -0000fb10: 3702 1108 3703 2237 0322 0e37 0421 4300 7...7."7.".7.!C. │ │ │ -0000fb20: 2143 0022 0e0d 2d02 4537 0525 0407 2a2b !C."..-.E7.%..*+ │ │ │ -0000fb30: 0101 4a3a 0137 0637 0237 0237 021a 3703 ..J:.7.7.7.7..7. │ │ │ -0000fb40: 2237 0322 1937 0421 4300 2143 0022 4a3a "7.".7.!C.!C."J: │ │ │ -0000fb50: 013a 0137 0137 0237 021a 3703 2237 0322 .:.7.7.7..7."7." │ │ │ -0000fb60: 3707 1937 0822 4300 2143 0027 0436 0137 7..7."C.!C.'.6.7 │ │ │ -0000fb70: 0237 021a 3703 2237 0322 1937 0928 0480 .7..7."7.".7.(.. │ │ │ -0000fb80: 3c38 0808 0810 0c10 3830 0808 080c 0c10 <8......80...... │ │ │ -0000fb90: 3808 080c 0c0c 0c28 0808 0c0c 10b0 9404 8......(........ │ │ │ -0000fba0: 1294 040b 9404 09c0 0956 2d00 038c 2a2b .........V-...*+ │ │ │ -0000fbb0: 0202 4a3a 0137 000c 091f 2136 0137 024a ..J:.7....!6.7.J │ │ │ -0000fbc0: 3703 2343 0043 0143 0043 0037 0437 0537 7.#C.C.C.C.7.7.7 │ │ │ -0000fbd0: 0637 0737 0837 0937 0a20 074a 4a37 0b23 .7.7.7.7. .JJ7.# │ │ │ -0000fbe0: 4a4a 370c 240c 370d 2143 0021 4300 224a JJ7.$.7.!C.!C."J │ │ │ -0000fbf0: 3a01 3700 0c0c 370d 2143 0021 4300 2705 :.7...7.!C.!C.'. │ │ │ -0000fc00: 8030 3018 080c 2c08 0808 0808 0818 1410 .00...,......... │ │ │ -0000fc10: 3010 9094 040f c033 2d00 038c 2a2b 0202 0......3-...*+.. │ │ │ -0000fc20: 0b0b 3700 230c 0b37 0128 0680 222c 1480 ..7.#..7.(..",.. │ │ │ -0000fc30: c02f 2d00 038c 2a2b 0101 0a37 0037 0128 ./-...*+...7.7.( │ │ │ -0000fc40: 0580 2228 0880 c004 0380 2228 0880 c004 .."(......"(.... │ │ │ -0000fc50: a180 2204 0880 c004 a380 2204 0880 c004 .."......."..... │ │ │ -0000fc60: a580 2204 0880 c004 a780 2204 0880 c02d .."......."....- │ │ │ -0000fc70: 1f0b 3600 4a4a 4a4a 3701 2005 8c80 220c ..6.JJJJ7. ...". │ │ │ -0000fc80: 1880 c004 0380 220c 1880 c02b 2d00 028c ......"....+-... │ │ │ -0000fc90: 0037 0037 0127 0380 2218 0880 c004 0380 .7.7.'.."....... │ │ │ -0000fca0: 2218 0880 c004 b380 2204 0880 c004 b580 "......."....... │ │ │ -0000fcb0: 2204 0880 c004 0980 2218 0880 c004 0b80 "......."....... │ │ │ -0000fcc0: 2218 0880 c004 0d80 2218 0880 c004 0f80 "......."....... │ │ │ -0000fcd0: 2218 0880 c004 bf80 2204 0880 c004 c180 "......."....... │ │ │ -0000fce0: 2204 0880 c004 1580 2218 0880 c004 1780 "......."....... │ │ │ -0000fcf0: 2218 0880 c009 371f 2736 0037 0137 0221 ".....7.'6.7.7.! │ │ │ -0000fd00: 3703 3704 3705 2237 0609 2d00 1537 0737 7.7.7."7..-..7.7 │ │ │ -0000fd10: 0837 0937 0a37 0b37 0337 0437 0c20 0c8c .7.7.7.7.7.7. .. │ │ │ -0000fd20: 2a2b 0101 0a37 0437 0d23 370e 2603 8032 *+...7.7.#7.&..2 │ │ │ -0000fd30: 0c08 080c 0808 0c18 0808 0808 0808 0828 ...............( │ │ │ -0000fd40: 080c 80c0 0920 1f1e 3600 3701 3702 3703 ..... ..6.7.7.7. │ │ │ -0000fd50: 3704 2137 0537 0637 0737 0837 0937 0a37 7.!7.7.7.7.7.7.7 │ │ │ -0000fd60: 0b37 0c20 0b8c 802d 0c08 0808 080c 0808 .7. ...-........ │ │ │ -0000fd70: 0808 0808 0880 0c9f 0ae5 4fe0 2121 e63c ..........O.!!.< │ │ │ -0000fd80: 7cfb 2335 500e 0000 0004 0000 0007 6c69 |.#5P.........li │ │ │ -0000fd90: 6272 6172 7900 0000 0000 0006 4000 0000 brary.......@... │ │ │ -0000fda0: 0000 00ba 45a6 bb55 85e8 4963 05f5 8f48 ....E..U..Ic...H │ │ │ -0000fdb0: 8ab0 a7ce cb00 0000 076f 7061 7175 6573 .........opaques │ │ │ -0000fdc0: 0000 0000 0000 c095 0000 0000 0000 2895 ..............(. │ │ │ -0000fdd0: 7095 84e6 ef7f 5e14 12f6 a54a 392f 5b89 p.....^....J9/[. │ │ │ -0000fde0: 0000 0007 7375 6d6d 6172 7900 0000 0000 ....summary..... │ │ │ -0000fdf0: 0000 1000 0000 0000 0006 2057 1413 054a .......... W...J │ │ │ -0000fe00: d506 76f0 91f8 90de 29f6 6400 0000 0976 ..v.....).d....v │ │ │ -0000fe10: 6d6c 6962 7261 7279 0000 0000 0000 e93a mlibrary.......: │ │ │ -0000fe20: 0000 0000 0000 143c 0c9f 0ae5 4fe0 2121 .......<....O.!! │ │ │ -0000fe30: e63c 7cfb 2335 500e .<|.#5P. │ │ │ +0000fae0: 0808 0808 0808 1814 1030 10c0 9491 a140 .........0.....@ │ │ │ +0000faf0: 4094 9204 0494 9191 4094 0402 c009 822d @.......@......- │ │ │ +0000fb00: 0003 8c2a 2b02 010c 0b2d 0226 3700 3701 ...*+....-.&7.7. │ │ │ +0000fb10: 3702 3702 1108 3703 2237 0322 0e37 0421 7.7...7."7.".7.! │ │ │ +0000fb20: 4300 2143 0022 0e0d 2d02 4537 0525 0407 C.!C."..-.E7.%.. │ │ │ +0000fb30: 2a2b 0101 4a3a 0137 0637 0237 0237 021a *+..J:.7.7.7.7.. │ │ │ +0000fb40: 3703 2237 0322 1937 0421 4300 2143 0022 7."7.".7.!C.!C." │ │ │ +0000fb50: 4a3a 013a 0137 0137 0237 021a 3703 2237 J:.:.7.7.7..7."7 │ │ │ +0000fb60: 0322 3707 1937 0822 4300 2143 0027 0436 ."7..7."C.!C.'.6 │ │ │ +0000fb70: 0137 0237 021a 3703 2237 0322 1937 0928 .7.7..7."7.".7.( │ │ │ +0000fb80: 0480 3c38 0808 0810 0c10 3830 0808 080c ..<8......80.... │ │ │ +0000fb90: 0c10 3808 080c 0c0c 0c28 0808 0c0c 10b0 ..8......(...... │ │ │ +0000fba0: 9404 0d94 040b 9404 09c0 0956 2d00 038c ...........V-... │ │ │ +0000fbb0: 2a2b 0202 4a3a 0137 000c 091f 2136 0137 *+..J:.7....!6.7 │ │ │ +0000fbc0: 024a 3703 2343 0043 0143 0043 0037 0437 .J7.#C.C.C.C.7.7 │ │ │ +0000fbd0: 0537 0637 0737 0837 0937 0a20 074a 4a37 .7.7.7.7.7. .JJ7 │ │ │ +0000fbe0: 0b23 4a4a 370c 240c 370d 2143 0021 4300 .#JJ7.$.7.!C.!C. │ │ │ +0000fbf0: 224a 3a01 3700 0c0c 370d 2143 0021 4300 "J:.7...7.!C.!C. │ │ │ +0000fc00: 2705 8030 3018 080c 2c08 0808 0808 0818 '..00...,....... │ │ │ +0000fc10: 1410 3010 9094 040f c033 2d00 038c 2a2b ..0......3-...*+ │ │ │ +0000fc20: 0202 0b0b 3700 230c 0b37 0128 0680 222c ....7.#..7.(..", │ │ │ +0000fc30: 1480 c02f 2d00 038c 2a2b 0101 0a37 0037 .../-...*+...7.7 │ │ │ +0000fc40: 0128 0580 2228 0880 c004 0380 2228 0880 .(.."(......"(.. │ │ │ +0000fc50: c004 a380 2204 0880 c004 a580 2204 0880 ...."......."... │ │ │ +0000fc60: c004 a780 2204 0880 c004 a980 2204 0880 ...."......."... │ │ │ +0000fc70: c02d 1f0b 3600 4a4a 4a4a 3701 2005 8c80 .-..6.JJJJ7. ... │ │ │ +0000fc80: 220c 1880 c004 0380 220c 1880 c02b 2d00 "......."....+-. │ │ │ +0000fc90: 028c 0037 0037 0127 0380 2218 0880 c004 ...7.7.'.."..... │ │ │ +0000fca0: 0380 2218 0880 c004 b580 2204 0880 c004 .."......."..... │ │ │ +0000fcb0: b780 2204 0880 c004 0980 2218 0880 c004 .."......."..... │ │ │ +0000fcc0: 0b80 2218 0880 c004 0d80 2218 0880 c004 .."......."..... │ │ │ +0000fcd0: 0f80 2218 0880 c004 c180 2204 0880 c004 .."......."..... │ │ │ +0000fce0: c380 2204 0880 c004 1580 2218 0880 c004 .."......."..... │ │ │ +0000fcf0: 1780 2218 0880 c009 371f 2736 0037 0137 ..".....7.'6.7.7 │ │ │ +0000fd00: 0221 3703 3704 3705 2237 0609 2d00 1537 .!7.7.7."7..-..7 │ │ │ +0000fd10: 0737 0837 0937 0a37 0b37 0337 0437 0c20 .7.7.7.7.7.7.7. │ │ │ +0000fd20: 0c8c 2a2b 0101 0a37 0437 0d23 370e 2603 ..*+...7.7.#7.&. │ │ │ +0000fd30: 8032 0c08 080c 0808 0c18 0808 0808 0808 .2.............. │ │ │ +0000fd40: 0828 080c 80c0 0920 1f1e 3600 3701 3702 .(..... ..6.7.7. │ │ │ +0000fd50: 3703 3704 2137 0537 0637 0737 0837 0937 7.7.!7.7.7.7.7.7 │ │ │ +0000fd60: 0a37 0b37 0c20 0b8c 802d 0c08 0808 080c .7.7. ...-...... │ │ │ +0000fd70: 0808 0808 0808 0880 37d8 dfb4 c84e c776 ........7....N.v │ │ │ +0000fd80: da54 8895 1c2f 6a2c 0000 0004 0000 0007 .T.../j,........ │ │ │ +0000fd90: 6c69 6272 6172 7900 0000 0000 0006 4000 library.......@. │ │ │ +0000fda0: 0000 0000 00ba 45a6 bb55 85e8 4963 05f5 ......E..U..Ic.. │ │ │ +0000fdb0: 8f48 8ab0 a7ce cb00 0000 076f 7061 7175 .H.........opaqu │ │ │ +0000fdc0: 6573 0000 0000 0000 c095 0000 0000 0000 es.............. │ │ │ +0000fdd0: 2895 7095 84e6 ef7f 5e14 12f6 a54a 392f (.p.....^....J9/ │ │ │ +0000fde0: 5b89 0000 0007 7375 6d6d 6172 7900 0000 [.....summary... │ │ │ +0000fdf0: 0000 0000 1000 0000 0000 0006 2057 1413 ............ W.. │ │ │ +0000fe00: 054a d506 76f0 91f8 90de 29f6 6400 0000 .J..v.....).d... │ │ │ +0000fe10: 0976 6d6c 6962 7261 7279 0000 0000 0000 .vmlibrary...... │ │ │ +0000fe20: e93a 0000 0000 0000 143e 37d8 dfb4 c84e .:.......>7....N │ │ │ +0000fe30: c776 da54 8895 1c2f 6a2c .v.T.../j, │ │ ├── ./var/lib/coq/md5sums/libcoq-unimath.checksum │ │ │ @@ -1 +1 @@ │ │ │ -jclx6 │ │ │ +ybxm2