--- /srv/rebuilderd/tmp/rebuilderd8O8ZLN/inputs/libcoq-unimath_20240923-2+b5_arm64.deb +++ /srv/rebuilderd/tmp/rebuilderd8O8ZLN/out/libcoq-unimath_20240923-2+b5_arm64.deb ├── file list │ @@ -1,3 +1,3 @@ │ -rw-r--r-- 0 0 0 4 2025-12-28 04:13:46.000000 debian-binary │ --rw-r--r-- 0 0 0 102684 2025-12-28 04:13:46.000000 control.tar.xz │ --rw-r--r-- 0 0 0 51765760 2025-12-28 04:13:46.000000 data.tar.xz │ +-rw-r--r-- 0 0 0 102676 2025-12-28 04:13:46.000000 control.tar.xz │ +-rw-r--r-- 0 0 0 51765632 2025-12-28 04:13:46.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: arm64 │ │ │ Maintainer: Debian OCaml Maintainers │ │ │ Installed-Size: 262822 │ │ │ Depends: libcoq-stdlib-vm656 │ │ │ -Provides: libcoq-unimath-6g5t6 │ │ │ +Provides: libcoq-unimath-iaxh1 │ │ │ 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:13:46.000000 ./usr/lib/aarch64-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:13:46.000000 ./usr/lib/aarch64-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:13:46.000000 ./usr/lib/aarch64-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:13:46.000000 ./usr/lib/aarch64-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:13:46.000000 ./usr/lib/aarch64-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:13:46.000000 ./usr/lib/aarch64-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:13:46.000000 ./usr/lib/aarch64-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:13:46.000000 ./usr/lib/aarch64-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:13:46.000000 ./usr/lib/aarch64-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:13:46.000000 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/UniMath/SyntheticHomotopyTheory/ │ │ │ -rw-r--r-- 0 root (0) root (0) 199740 2025-12-28 04:13:46.000000 ./usr/lib/aarch64-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:13:46.000000 ./usr/lib/aarch64-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:13:46.000000 ./usr/lib/aarch64-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:13:46.000000 ./usr/lib/aarch64-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:13:46.000000 ./usr/lib/aarch64-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:13:46.000000 ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/UniMath/SyntheticHomotopyTheory/All.vo │ │ ├── ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/UniMath/Combinatorics/Tests.vo │ │ │ @@ -3122,29 +3122,29 @@ │ │ │ 0000c310: c004 2380 2604 0830 0c28 1c90 9404 22c0 ..#.&..0.(....". │ │ │ 0000c320: 0930 3600 3701 2109 2d00 1a09 2d01 1d0b .06.7.!.-...-... │ │ │ 0000c330: 3702 2137 0322 4a4a 3704 2237 0037 0522 7.!7."JJ7."7.7." │ │ │ 0000c340: 4a13 048c 0043 0037 0126 0200 1921 3702 J....C.7.&...!7. │ │ │ 0000c350: 2602 8029 0408 300c 140c 0828 1c90 9404 &..)..0....(.... │ │ │ 0000c360: 27c0 0405 8029 0408 300c 140c 0828 1c90 '....)..0....(.. │ │ │ 0000c370: 9404 2bc0 0409 8029 0408 300c 140c 0828 ..+....)..0....( │ │ │ -0000c380: 1c90 9491 9191 9191 9191 40c0 0414 8029 ..........@....) │ │ │ -0000c390: 0408 300c 140c 0828 1c90 9404 0bc0 0418 ..0....(........ │ │ │ -0000c3a0: 8029 0408 300c 140c 0828 1c90 9404 0fc0 .)..0....(...... │ │ │ +0000c380: 1c90 9404 2fc0 040d 8029 0408 300c 140c ..../....)..0... │ │ │ +0000c390: 0828 1c90 9491 9191 9191 9191 40c0 0418 .(..........@... │ │ │ +0000c3a0: 8029 0408 300c 140c 0828 1c90 9404 0bc0 .)..0....(...... │ │ │ 0000c3b0: 041c 8029 0408 300c 140c 0828 1c90 9404 ...)..0....(.... │ │ │ -0000c3c0: 13c0 0420 8029 0408 300c 140c 0828 1c90 ... .)..0....(.. │ │ │ -0000c3d0: 9404 17c0 0424 8029 0408 300c 140c 0828 .....$.)..0....( │ │ │ -0000c3e0: 1c90 9404 1bc0 0428 8029 0408 300c 140c .......(.)..0... │ │ │ -0000c3f0: 0828 1c90 9404 1fc0 042c 8029 0408 300c .(.......,.)..0. │ │ │ -0000c400: 140c 0828 1c90 9404 23c0 0430 8029 0408 ...(....#..0.).. │ │ │ -0000c410: 300c 140c 0828 1c90 9404 27c0 04f2 8004 0....(....'..... │ │ │ +0000c3c0: 0fc0 0420 8029 0408 300c 140c 0828 1c90 ... .)..0....(.. │ │ │ +0000c3d0: 9404 13c0 0424 8029 0408 300c 140c 0828 .....$.)..0....( │ │ │ +0000c3e0: 1c90 9404 17c0 0428 8029 0408 300c 140c .......(.)..0... │ │ │ +0000c3f0: 0828 1c90 9404 1bc0 042c 8029 0408 300c .(.......,.)..0. │ │ │ +0000c400: 140c 0828 1c90 9404 1fc0 0430 8029 0408 ...(.......0.).. │ │ │ +0000c410: 300c 140c 0828 1c90 9404 23c0 04f2 8004 0....(....#..... │ │ │ 0000c420: f180 c004 f380 04f2 80c0 04f4 8004 f380 ................ │ │ │ 0000c430: c004 f580 04f4 80c0 2b36 0037 0137 0222 ........+6.7.7." │ │ │ -0000c440: 4a13 018c 8023 0408 08a0 9404 2d94 042f J....#......-../ │ │ │ -0000c450: c004 0680 2304 0808 a094 0432 9404 34c0 ....#......2..4. │ │ │ -0000c460: 040b 8023 0408 08a0 9404 3794 0439 c004 ...#......7..9.. │ │ │ +0000c440: 4a13 018c 8023 0408 08a0 9404 2994 042b J....#......)..+ │ │ │ +0000c450: c004 0680 2304 0808 a094 042e 9404 30c0 ....#.........0. │ │ │ +0000c460: 040b 8023 0408 08a0 9404 3394 0435 c004 ...#......3..5.. │ │ │ 0000c470: 7280 0501 0580 c00a 0000 0138 2d00 028c r..........8-... │ │ │ 0000c480: 0043 000a 4301 090b 092d 000f 092d 00fd .C..C....-...-.. │ │ │ 0000c490: 0701 092d 00fd 0701 3700 2505 082a 2b02 ...-....7.%..*+. │ │ │ 0000c4a0: 010c 0b09 2d00 0f09 2d00 b509 2d00 b737 ....-...-...-..7 │ │ │ 0000c4b0: 0025 0609 2a2b 0301 0d0d 0c09 2d00 0f09 .%..*+......-... │ │ │ 0000c4c0: 2d00 2209 2d00 2437 0025 070b 2a2b 0402 -.".-.$7.%..*+.. │ │ │ 0000c4d0: 4a37 0122 0909 2d00 0537 0227 0836 0337 J7."..-..7.'.6.7 │ │ │ @@ -3160,16 +3160,16 @@ │ │ │ 0000c570: 2237 0821 3a00 2901 2d00 1409 2d00 1637 "7.!:.).-...-..7 │ │ │ 0000c580: 0619 3707 2237 0821 3a00 3a00 2901 3603 ..7."7.!:.:.).6. │ │ │ 0000c590: 3704 2602 3603 3704 2602 360a 2901 2d00 7.&.6.7.&.6.).-. │ │ │ 0000c5a0: 0e37 060b 3707 2237 0821 3a00 2901 3603 .7..7."7.!:.).6. │ │ │ 0000c5b0: 3704 2602 8009 2d64 5c60 2820 1008 1c20 7.&...-d\`( ... │ │ │ 0000c5c0: 1c0c 3c14 0c40 140c 2408 2c0c 0c24 0810 ..<..@..$.,..$.. │ │ │ 0000c5d0: 0810 081c 2014 0c38 0c0c 2408 1008 101c .... ..8..$..... │ │ │ -0000c5e0: 0c0c 1c08 d094 9191 9104 4494 a104 4340 ..........D...C@ │ │ │ -0000c5f0: 9404 4394 a104 4540 94a1 0446 40c0 0a00 ..C...E@...F@... │ │ │ +0000c5e0: 0c0c 1c08 d094 9191 9104 4094 a104 3f40 ..........@...?@ │ │ │ +0000c5f0: 9404 3f94 a104 4140 94a1 0442 40c0 0a00 ..?...A@...B@... │ │ │ 0000c600: 0001 c22d 0002 8c00 4300 0a43 0109 0b09 ...-....C..C.... │ │ │ 0000c610: 2d00 0f09 2d00 fd7f 0109 2d00 fd7e 0137 -...-.....-..~.7 │ │ │ 0000c620: 0025 0508 2a2b 0201 0c0b 092d 000f 092d .%..*+.....-...- │ │ │ 0000c630: 00fd 0e01 092d 00fd 0f01 3700 2506 092a .....-....7.%..* │ │ │ 0000c640: 2b03 010d 0d0c 092d 000f 092d 0037 092d +......-...-.7.- │ │ │ 0000c650: 0038 3700 2507 0b2a 2b04 024a 3701 2209 .87.%..*+..J7.". │ │ │ 0000c660: 0d0c 2d02 0537 0227 0836 031a 1939 0139 ..-..7.'.6...9.9 │ │ │ @@ -3194,16 +3194,16 @@ │ │ │ 0000c790: 0421 4a37 0522 3706 2237 0726 0245 2901 .!J7."7."7.&.E). │ │ │ 0000c7a0: 002d 010e 3708 0b37 0622 3707 213a 0029 .-..7..7."7.!:.) │ │ │ 0000c7b0: 0136 030a 193a 0137 0421 4a37 0522 3706 .6...:.7.!J7."7. │ │ │ 0000c7c0: 2237 0726 0280 0942 645c 6028 2410 3010 "7.&...Bd\`($.0. │ │ │ 0000c7d0: 0c0c 381c 0c40 140c 4814 0c24 2810 0c0c ..8..@..H..$(... │ │ │ 0000c7e0: 340c 0c24 2010 0c0c 1018 100c 0c10 2010 4..$ ......... . │ │ │ 0000c7f0: 0c0c 3814 0c40 0c0c 2420 100c 0c10 1810 ..8..@..$ ...... │ │ │ -0000c800: 0c0c 2c0c 0c1c 1810 0c0c a094 044e 9404 ..,..........N.. │ │ │ -0000c810: 4dc0 3636 0037 0121 3700 3702 2109 0b37 M.66.7.!7.7.!..7 │ │ │ +0000c800: 0c0c 2c0c 0c1c 1810 0c0c a094 044a 9404 ..,..........J.. │ │ │ +0000c810: 49c0 3636 0037 0121 3700 3702 2109 0b37 I.66.7.!7.7.!..7 │ │ │ 0000c820: 0321 3704 224a 1303 8c80 2604 080c 0814 .!7."J....&..... │ │ │ 0000c830: 0c90 9491 9191 9191 40c0 040a 8026 0408 ........@....&.. │ │ │ 0000c840: 0c08 140c 9094 0409 c031 2d00 054a 1301 .........1-..J.. │ │ │ 0000c850: 8c46 4a0b 3700 3701 2504 0580 222c 0880 .FJ.7.7.%...",.. │ │ │ 0000c860: c004 0380 222c 0880 c009 4636 0037 0121 ....",....F6.7.! │ │ │ 0000c870: 3700 3702 2109 2d00 2f0b 3703 210c 3703 7.7.!.-./.7.!.7. │ │ │ 0000c880: 2137 0422 0b0c 0e37 0321 0f37 0321 3705 !7."...7.!.7.!7. │ │ │ @@ -3345,20 +3345,20 @@ │ │ │ 0000d100: b004 1041 4598 b004 1241 4498 b004 1441 ...AE....AD....A │ │ │ 0000d110: 4194 043e 98b0 0417 4046 98b0 0419 4045 A..>....@F....@E │ │ │ 0000d120: 98b0 041b 4044 98b0 041d 404a 98b0 041f ....@D....@J.... │ │ │ 0000d130: 4049 98b0 0421 4048 98b0 0423 404e 98b0 @I...!@H...#@N.. │ │ │ 0000d140: 0425 404d 98b0 0427 404c c027 3600 4a37 .%@M...'@L.'6.J7 │ │ │ 0000d150: 0122 8c80 2204 0c90 94a1 0457 40c0 0501 .".."......W@... │ │ │ 0000d160: b580 0501 b480 c02d 2d00 028c 0037 0037 .......--....7.7 │ │ │ -0000d170: 0137 0228 0480 2318 0808 8063 358d 40a8 .7.(..#....c5.@. │ │ │ -0000d180: f80d 31db 0bc0 c925 401f 0600 0000 0400 ..1....%@....... │ │ │ +0000d170: 0137 0228 0480 2318 0808 807c 7097 25da .7.(..#....|p.%. │ │ │ +0000d180: ed77 e167 0eea 92b9 4c2a 1e00 0000 0400 .w.g....L*...... │ │ │ 0000d190: 0000 076c 6962 7261 7279 0000 0000 0000 ...library...... │ │ │ 0000d1a0: 01b0 0000 0000 0000 ba7d 7fb5 b1db 5b1a .........}....[. │ │ │ 0000d1b0: fc51 f709 080e 3923 17f8 0000 0007 6f70 .Q....9#......op │ │ │ 0000d1c0: 6171 7565 7300 0000 0000 00bc 3d00 0000 aques.......=... │ │ │ 0000d1d0: 0000 0002 2f50 7edc 6242 a073 b508 dd04 ..../P~.bB.s.... │ │ │ 0000d1e0: 5782 0ad9 4700 0000 0773 756d 6d61 7279 W...G....summary │ │ │ 0000d1f0: 0000 0000 0000 0010 0000 0000 0000 0190 ................ │ │ │ 0000d200: f68b 8130 f01b 4005 3e10 b20d 8e7e 96f9 ...0..@.>....~.. │ │ │ 0000d210: 0000 0009 766d 6c69 6272 6172 7900 0000 ....vmlibrary... │ │ │ -0000d220: 0000 00be 7c00 0000 0000 0012 ff63 358d ....|........c5. │ │ │ -0000d230: 40a8 f80d 31db 0bc0 c925 401f 06 @...1....%@.. │ │ │ +0000d220: 0000 00be 7c00 0000 0000 0012 ff7c 7097 ....|........|p. │ │ │ +0000d230: 25da ed77 e167 0eea 92b9 4c2a 1e %..w.g....L*. │ │ ├── ./usr/lib/aarch64-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 0dc0 f10e f2b9 UniMath@.0...... │ │ │ @@ -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 452a a471 d36e a17b 0bf2 c691 ....E*.q.n.{.... │ │ │ -0000fdb0: 940a 8fa3 7700 0000 076f 7061 7175 6573 ....w....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 20e9 a679 530b .......... ..yS. │ │ │ -0000fe00: 9673 9be2 beb6 bc86 247b f100 0000 0976 .s......${.....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 452a a471 d36e a17b 0bf2 ......E*.q.n.{.. │ │ │ +0000fdb0: c691 940a 8fa3 7700 0000 076f 7061 7175 ......w....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 20e9 a679 ............ ..y │ │ │ +0000fe00: 530b 9673 9be2 beb6 bc86 247b f100 0000 S..s......${.... │ │ │ +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 @@ │ │ │ -6g5t6 │ │ │ +iaxh1