--- /srv/rebuilderd/tmp/rebuilderdl19GX1/inputs/libcoq-hott_9.0-3_armhf.deb +++ /srv/rebuilderd/tmp/rebuilderdl19GX1/out/libcoq-hott_9.0-3_armhf.deb ├── file list │ @@ -1,3 +1,3 @@ │ -rw-r--r-- 0 0 0 4 2025-11-11 17:27:02.000000 debian-binary │ --rw-r--r-- 0 0 0 42772 2025-11-11 17:27:02.000000 control.tar.xz │ --rw-r--r-- 0 0 0 14614096 2025-11-11 17:27:02.000000 data.tar.xz │ +-rw-r--r-- 0 0 0 42776 2025-11-11 17:27:02.000000 control.tar.xz │ +-rw-r--r-- 0 0 0 14613476 2025-11-11 17:27:02.000000 data.tar.xz ├── control.tar.xz │ ├── control.tar │ │ ├── ./control │ │ │ @@ -1,15 +1,15 @@ │ │ │ Package: libcoq-hott │ │ │ Source: coq-hott │ │ │ Version: 9.0-3 │ │ │ Architecture: armhf │ │ │ Maintainer: Debian OCaml Maintainers │ │ │ Installed-Size: 62091 │ │ │ Depends: libcoq-stdlib-yjz54 │ │ │ -Provides: libcoq-hott-ugds1 │ │ │ +Provides: libcoq-hott-xtdj0 │ │ │ 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/arm-linux-gnueabihf/ocaml/5.4.0/coq/user-contrib/HoTT/Homotopy/InjectiveTypes/InjectiveTypes.vo │ │ │ @@ -2593,24 +2593,24 @@ │ │ │ 0000a200: 2901 1804 1c0b 2d02 0e1b 2d01 101a 1952 ).....-...-....R │ │ │ 0000a210: 1237 1325 0506 001a 2119 2602 1429 0114 .7.%....!.&..).. │ │ │ 0000a220: 2901 1429 0114 2901 8009 4e58 2c18 0818 )..)..)...NX,... │ │ │ 0000a230: 0814 0810 0c08 2008 2c24 1408 3448 083c ...... .,$..4H.< │ │ │ 0000a240: 440c 0818 083c 5408 5808 100c 0844 0888 D...... │ │ │ 0000a9e0: 1107 0d10 4301 1108 4300 1952 0037 0320 ....C...C..R.7. │ │ │ @@ -2761,20 +2761,20 @@ │ │ │ 0000ac80: 1c08 3820 181c 0814 0814 b093 a080 a005 ..8 ............ │ │ │ 0000ac90: 0217 0502 1798 b004 1340 4793 a080 b005 .........@G..... │ │ │ 0000aca0: 021c 0502 1c05 021c c009 362d 0003 8c2a ..........6-...* │ │ │ 0000acb0: 2b04 3600 3701 0f0f 3a01 4300 0c37 0222 +.6.7...:.C..7." │ │ │ 0000acc0: 1010 3a01 4300 0d52 0337 0421 220c 5203 ..:.C..R.7.!".R. │ │ │ 0000acd0: 3704 2122 0d22 0e0e 3a01 0c0c 3705 2504 7.!"."..:...7.%. │ │ │ 0000ace0: 0980 2820 0824 2808 1408 30a0 9492 4093 ..( .$(...0...@. │ │ │ -0000acf0: a080 a005 0225 0502 25ea ad20 9a47 993c .....%..%.. .G.< │ │ │ -0000ad00: 3bcf 37ac 54ca ca10 ee00 0000 0400 0000 ;.7.T........... │ │ │ +0000acf0: a080 a005 0225 0502 2568 3d36 bd17 57cc .....%..%h=6..W. │ │ │ +0000ad00: 37cc 8d17 34fd 7346 1b00 0000 0400 0000 7...4.sF........ │ │ │ 0000ad10: 076c 6962 7261 7279 0000 0000 0000 0164 .library.......d │ │ │ 0000ad20: 0000 0000 0000 874b fef9 572b 1694 0f77 .......K..W+...w │ │ │ 0000ad30: 93db b568 a1d0 5dd7 0000 0007 6f70 6171 ...h..].....opaq │ │ │ 0000ad40: 7565 7300 0000 0000 0088 bf00 0000 0000 ues............. │ │ │ 0000ad50: 0000 1561 44c8 6cd4 a168 cd70 495a 5cc4 ...aD.l..h.pIZ\. │ │ │ 0000ad60: 22ad e900 0000 0773 756d 6d61 7279 0000 "......summary.. │ │ │ 0000ad70: 0000 0000 0010 0000 0000 0000 0144 307b .............D0{ │ │ │ 0000ad80: 6c44 6838 2e2d 1d28 8192 481c eaa2 0000 lDh8.-.(..H..... │ │ │ 0000ad90: 0009 766d 6c69 6272 6172 7900 0000 0000 ..vmlibrary..... │ │ │ -0000ada0: 0088 e400 0000 0000 0024 15ea ad20 9a47 .........$... .G │ │ │ -0000adb0: 993c 3bcf 37ac 54ca ca10 ee .<;.7.T.... │ │ │ +0000ada0: 0088 e400 0000 0000 0024 1568 3d36 bd17 .........$.h=6.. │ │ │ +0000adb0: 57cc 37cc 8d17 34fd 7346 1b W.7...4.sF. │ │ ├── ./var/lib/coq/md5sums/libcoq-hott.checksum │ │ │ @@ -1 +1 @@ │ │ │ -ugds1 │ │ │ +xtdj0