⊟
12.5 MB
/srv/reproducible-results/rbuild-debian/r-b-build.XgVm453d/b1/coq-hierarchy-builder_1.8.0-1_arm64.changes vs.
/srv/reproducible-results/rbuild-debian/r-b-build.XgVm453d/b2/coq-hierarchy-builder_1.8.0-1_arm64.changes
⊟
228 B
Files
    
Offset 1, 2 lines modifiedOffset 1, 2 lines modified
  
1 ·046c63e5299a3d95fa85daa29462d923·548980·ocaml·optional·libcoq-hierarchy-builder_1.8.0-1_arm64.deb1 ·2c2ac625f95f2f14bb6d34cafe489103·548872·ocaml·optional·libcoq-hierarchy-builder_1.8.0-1_arm64.deb
⊟
12.5 MB
libcoq-hierarchy-builder_1.8.0-1_arm64.deb
⊟
367 B
file list
    
Offset 1, 3 lines modifiedOffset 1, 3 lines modified
1 -rw-r--r--···0········0········0········4·2024-12-18·11:12:28.000000·debian-binary1 -rw-r--r--···0········0········0········4·2024-12-18·11:12:28.000000·debian-binary
2 -rw-r--r--···0········0········0······828·2024-12-18·11:12:28.000000·control.tar.xz2 -rw-r--r--···0········0········0······828·2024-12-18·11:12:28.000000·control.tar.xz
3 -rw-r--r--···0········0········0···547960·2024-12-18·11:12:28.000000·data.tar.xz3 -rw-r--r--···0········0········0···547852·2024-12-18·11:12:28.000000·data.tar.xz
⊟
709 B
control.tar.xz
⊟
681 B
control.tar
⊟
611 B
./control
    
Offset 2, 14 lines modifiedOffset 2, 14 lines modified
2 Source:·coq-hierarchy-builder2 Source:·coq-hierarchy-builder
3 Version:·1.8.0-13 Version:·1.8.0-1
4 Architecture:·arm644 Architecture:·arm64
5 Maintainer:·Debian·OCaml·Maintainers·<debian-ocaml-maint@lists.debian.org>5 Maintainer:·Debian·OCaml·Maintainers·<debian-ocaml-maint@lists.debian.org>
6 Installed-Size:·16616 Installed-Size:·1661
7 Depends:·libcoq-elpi-qrdn67 Depends:·libcoq-elpi-qrdn6
8 Recommends:·ocaml-findlib8 Recommends:·ocaml-findlib
9 Provides:·libcoq-hierarchy-builder-3xs209 Provides:·libcoq-hierarchy-builder-z47f9
10 Section:·ocaml10 Section:·ocaml
11 Priority:·optional11 Priority:·optional
12 Homepage:·https://github.com/math-comp/hierarchy-builder12 Homepage:·https://github.com/math-comp/hierarchy-builder
13 Description:·build·hierarchies·of·algebraic·structures·in·Coq13 Description:·build·hierarchies·of·algebraic·structures·in·Coq
14 ·This·software·provides·high-level·commands·to·build·hierarchies·of·algebraic14 ·This·software·provides·high-level·commands·to·build·hierarchies·of·algebraic
15 ·structures·in·the·Coq·system.15 ·structures·in·the·Coq·system.
⊟
48.0 B
./md5sums
⊟
30.0 B
./md5sums
Files differ
⊟
12.5 MB
data.tar.xz
⊟
12.5 MB
data.tar
⊟
2.14 KB
file list
    
Offset 5, 15 lines modifiedOffset 5, 15 lines modified
5 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-18·11:12:28.000000·./usr/lib/aarch64-linux-gnu/ocaml/5 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-18·11:12:28.000000·./usr/lib/aarch64-linux-gnu/ocaml/
6 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-18·11:12:28.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/6 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-18·11:12:28.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/
7 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-18·11:12:28.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/7 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-18·11:12:28.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/
8 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-18·11:12:28.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/8 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-18·11:12:28.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/
9 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-18·11:12:28.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/HB/9 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-18·11:12:28.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/HB/
10 -rw-r--r--···0·root·········(0)·root·········(0)·····5612·2024-12-18·11:12:28.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/HB/structures.glob10 -rw-r--r--···0·root·········(0)·root·········(0)·····5612·2024-12-18·11:12:28.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/HB/structures.glob
11 -rw-r--r--···0·root·········(0)·root·········(0)····46479·2024-12-18·11:12:28.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/HB/structures.v11 -rw-r--r--···0·root·········(0)·root·········(0)····46479·2024-12-18·11:12:28.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/HB/structures.v
12 -rw-r--r--···0·root·········(0)·root·········(0)··1620336·2024-12-18·11:12:28.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/HB/structures.vo12 -rw-r--r--···0·root·········(0)·root·········(0)··1620328·2024-12-18·11:12:28.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/HB/structures.vo
13 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-18·11:12:28.000000·./usr/share/13 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-18·11:12:28.000000·./usr/share/
14 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-18·11:12:28.000000·./usr/share/doc/14 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-18·11:12:28.000000·./usr/share/doc/
15 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-18·11:12:28.000000·./usr/share/doc/libcoq-hierarchy-builder/15 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-18·11:12:28.000000·./usr/share/doc/libcoq-hierarchy-builder/
16 -rw-r--r--···0·root·········(0)·root·········(0)·····1184·2024-12-18·11:12:28.000000·./usr/share/doc/libcoq-hierarchy-builder/changelog.Debian.gz16 -rw-r--r--···0·root·········(0)·root·········(0)·····1184·2024-12-18·11:12:28.000000·./usr/share/doc/libcoq-hierarchy-builder/changelog.Debian.gz
17 -rw-r--r--···0·root·········(0)·root·········(0)·····3684·2024-12-13·23:41:20.000000·./usr/share/doc/libcoq-hierarchy-builder/changelog.gz17 -rw-r--r--···0·root·········(0)·root·········(0)·····3684·2024-12-13·23:41:20.000000·./usr/share/doc/libcoq-hierarchy-builder/changelog.gz
18 -rw-r--r--···0·root·········(0)·root·········(0)·····1319·2024-12-18·11:12:28.000000·./usr/share/doc/libcoq-hierarchy-builder/copyright18 -rw-r--r--···0·root·········(0)·root·········(0)·····1319·2024-12-18·11:12:28.000000·./usr/share/doc/libcoq-hierarchy-builder/copyright
19 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-18·11:12:28.000000·./var/19 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-18·11:12:28.000000·./var/
⊟
12.5 MB
./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/HB/structures.vo
    
Offset 1, 8 lines modifiedOffset 1, 8 lines modified
00000000:·436f·7121·0001·4050·0000·0000·0018·b8be··Coq!..@P........00000000:·436f·7121·0001·4050·0000·0000·0018·b8b6··Coq!..@P........
00000010:·8495·a6be·0000·0105·0000·003c·0000·00c1··...........<....00000010:·8495·a6be·0000·0105·0000·003c·0000·00c1··...........<....
00000020:·0000·00a9·c0a0·2a73·7472·7563·7475·7265··......*structure00000020:·0000·00a9·c0a0·2a73·7472·7563·7475·7265··......*structure
00000030:·73a0·2248·4240·e0a0·a027·5072·656c·7564··s."HB@...'Prelud00000030:·73a0·2248·4240·e0a0·a027·5072·656c·7564··s."HB@...'Prelud
00000040:·65a0·2449·6e69·74a0·2343·6f71·4090·306e··e.$Init.#Coq@.0n00000040:·65a0·2449·6e69·74a0·2343·6f71·4090·306e··e.$Init.#Coq@.0n
00000050:·1ea7·6653·34e4·bc65·c3cc·25eb·7fca·42a0··..fS4..e..%...B.00000050:·1ea7·6653·34e4·bc65·c3cc·25eb·7fca·42a0··..fS4..e..%...B.
00000060:·a026·5374·7269·6e67·a027·5374·7269·6e67··.&String.'String00000060:·a026·5374·7269·6e67·a027·5374·7269·6e67··.&String.'String
00000070:·73a0·2343·6f71·4090·309d·ec86·b4a0·1a55··s.#Coq@.0......U00000070:·73a0·2343·6f71·4090·309d·ec86·b4a0·1a55··s.#Coq@.0......U
Offset 14, 15 lines modifiedOffset 14, 15 lines modified
000000d0:·e015·3974·15b3·0781·a0a0·2465·6c70·69a0··..9t......$elpi.000000d0:·e015·3974·15b3·0781·a0a0·2465·6c70·69a0··..9t......$elpi.
000000e0:·0402·4090·30ae·daf5·0fc3·ded4·7028·1ae8··..@.0.......p(..000000e0:·0402·4090·30ae·daf5·0fc3·ded4·7028·1ae8··..@.0.......p(..
000000f0:·51fb·9101·f5a0·a026·6c6f·636b·6572·a004··Q......&locker..000000f0:·51fb·9101·f5a0·a026·6c6f·636b·6572·a004··Q......&locker..
00000100:·02a0·2461·7070·73a0·2465·6c70·6940·9030··..$apps.$elpi@.000000100:·02a0·2461·7070·73a0·2465·6c70·6940·9030··..$apps.$elpi@.0
00000110:·54b5·2b38·71b7·fcdd·4810·42e7·c8be·e6dd··T.+8q...H.B.....00000110:·54b5·2b38·71b7·fcdd·4810·42e7·c8be·e6dd··T.+8q...H.B.....
00000120:·2535·2e32·2e30·a040·40f5·11e4·159e·1db4··%5.2.0.@@.......00000120:·2535·2e32·2e30·a040·40f5·11e4·159e·1db4··%5.2.0.@@.......
00000130:·dd9b·4367·a890·32bf·d984·95a6·be00·18b6··..Cg..2.........00000130:·dd9b·4367·a890·32bf·d984·95a6·be00·18b6··..Cg..2.........
00000140:·7b00·053f·f000·1173·2500·1143·7fb0·d0a0··{..?...s%..C....00000140:·7300·053f·f000·1173·2400·1143·7eb0·d0a0··s..?...s$..C~...
00000150:·2a73·7472·7563·7475·7265·73a0·2248·4240··*structures."HB@00000150:·2a73·7472·7563·7475·7265·73a0·2248·4240··*structures."HB@
00000160:·e090·0406·4190·a0a0·2965·7272·6f72·5f6d··....A...)error_m00000160:·e090·0406·4190·a0a0·2965·7272·6f72·5f6d··....A...)error_m
00000170:·7367·9108·0000·3f00·9008·0000·4300·0405··sg....?.....C...00000170:·7367·9108·0000·3f00·9008·0000·4300·0405··sg....?.....C...
00000180:·4090·a094·90a0·a0a0·4940·40a0·a0a0·0323··@.......I@@....#00000180:·4090·a094·90a0·a0a0·4940·40a0·a0a0·0323··@.......I@@....#
00000190:·acab·559c·e5b6·7090·b0a0·041a·a004·1940··..U...p........@00000190:·acab·559c·e5b6·7090·b0a0·041a·a004·1940··..U...p........@
000001a0:·2043·4140·040c·a025·4e6f·4d73·6731·4973···CA@...%NoMsg1Is000001a0:·2043·4140·040c·a025·4e6f·4d73·6731·4973···CA@...%NoMsg1Is
000001b0:·4e6f·7443·616e·6f6e·6963·616c·6c79·41a0··NotCanonicallyA.000001b0:·4e6f·7443·616e·6f6e·6963·616c·6c79·41a0··NotCanonicallyA.
Offset 4437, 15 lines modifiedOffset 4437, 15 lines modified
00011540:·0a95·9090·9090·2b72·6563·6f72·642d·6465··......+record-de00011540:·0a95·9090·9090·2b72·6563·6f72·642d·6465··......+record-de
00011550:·636c·40e0·050b·0405·0b02·0109·5501·0963··cl@.........U..c00011550:·636c·40e0·050b·0405·0b02·0109·5501·0963··cl@.........U..c
00011560:·0049·0109·44a0·050a·9c90·9090·050b·21a0··.I..D.........!.00011560:·0049·0109·44a0·050a·9c90·9090·050b·21a0··.I..D.........!.
00011570:·b0a2·0489·40e0·050b·0c05·0b0a·0109·6501··....@.........e.00011570:·b0a2·0489·40e0·050b·0c05·0b0a·0109·6501··....@.........e.
00011580:·0966·0049·0109·44a0·050a·a490·9090·050b··.f.I..D.........00011580:·0966·0049·0109·44a0·050a·a490·9090·050b··.f.I..D.........
00011590:·2640·e005·0b11·050b·0f01·0944·0109·6600··&@.........D..f.00011590:·2640·e005·0b11·050b·0f01·0944·0109·6600··&@.........D..f.
000115a0:·4901·0944·a005·0aa9·9090·9040·4040·4040··I..D.......@@@@@000115a0:·4901·0944·a005·0aa9·9090·9040·4040·4040··I..D.......@@@@@
000115b0:·2935·3336·3332·3335·3334·e0d0·4028·4067··)536323534..@(@g000115b0:·2937·3836·3231·3836·3433·e0d0·4028·4067··)786218643..@(@g
000115c0:·6c6f·6261·6c21·a0b0·c391·4005·072a·b095··lobal!....@..*..000115c0:·6c6f·6261·6c21·a0b0·c391·4005·072a·b095··lobal!....@..*..
000115d0:·a02c·636f·713a·6c6f·6361·6c69·7479·43e0··.,coq:localityC.000115d0:·a02c·636f·713a·6c6f·6361·6c69·7479·43e0··.,coq:localityC.
000115e0:·4038·636f·712d·6275·696c·7469·6e2d·7379··@8coq-builtin-sy000115e0:·4038·636f·712d·6275·696c·7469·6e2d·7379··@8coq-builtin-sy
000115f0:·6e74·6572·702e·656c·7069·011b·0d01·1b1b··nterp.elpi......000115f0:·6e74·6572·702e·656c·7069·011b·0d01·1b1b··nterp.elpi......
00011600:·0100·b001·1aee·a005·0abb·9040·a0b0·95a0··...........@....00011600:·0100·b001·1aee·a005·0abb·9040·a0b0·95a0··...........@....
00011610:·2667·6c6f·6261·6c43·e040·0409·011b·1c01··&globalC.@......00011610:·2667·6c6f·6261·6c43·e040·0409·011b·1c01··&globalC.@......
00011620:·1b24·0100·b001·1aee·a005·0ac3·9040·40e0··.$...........@@.00011620:·1b24·0100·b001·1aee·a005·0ac3·9040·40e0··.$...........@@.
Offset 6439, 27 lines modifiedOffset 6439, 27 lines modified
00019260:·0b23·a0a0·9040·a090·4140·e040·051f·5201··.#...@..A@.@..R.00019260:·0b23·a0a0·9040·a090·4140·e040·051f·5201··.#...@..A@.@..R.
00019270:·6fff·0170·3c01·00c0·016f·ffd0·4005·0b22··o..p<....o..@.."00019270:·6fff·0170·3c01·00c0·016f·ffd0·4005·0b22··o..p<....o..@.."
00019280:·a0a0·9040·a090·40a0·9040·a090·41a0·9041··...@..@..@..A..A00019280:·a0a0·9040·a090·40a0·9040·a090·41a0·9041··...@..@..@..A..A
00019290:·40e0·4005·1f5f·016f·3301·6fb8·0100·bc01··@.@.._.o3.o.....00019290:·40e0·4005·1f5f·016f·3301·6fb8·0100·bc01··@.@.._.o3.o.....
000192a0:·6f33·d040·050a·fca0·40e0·4005·1fc6·0108··o3.@....@.@.....000192a0:·6f33·d040·050a·fca0·40e0·4005·1fc6·0108··o3.@....@.@.....
000192b0:·6001·086a·0042·0108·60d0·4005·2af8·052a··`..j.B..`.@.*..*000192b0:·6001·086a·0042·0108·60d0·4005·2af8·052a··`..j.B..`.@.*..*
000192c0:·bc40·4142·4344·4546·4748·494a·0563·260c··.@ABCDEFGHIJ.c&.000192c0:·bc40·4142·4344·4546·4748·494a·0563·260c··.@ABCDEFGHIJ.c&.
000192d0:·0000·0000·00e8·283f·41a0·95a0·020b·bda0··......(?A.......000192d0:·0000·0000·0068·283f·41a0·95a0·020b·bda0··.....h(?A.......
000192e0:·12b0·052b·7493·90a0·b005·6727·0920·3330··...+t.....g'.·30000192e0:·12b0·052b·7493·90a0·b005·6727·0920·3330··...+t.....g'.·30
000192f0:·3634·3639·6561·6133·3061·6362·6533·6166··6469eaa30acbe3af000192f0:·3634·3639·6561·6133·3061·6362·6533·6166··6469eaa30acbe3af
00019300:·3862·6361·3861·3731·6163·3263·6331·0233··8bca8a71ac2cc1.300019300:·3862·6361·3861·3731·6163·3263·6331·0233··8bca8a71ac2cc1.3
00019310:·13f7·36d0·052b·66d0·e040·40d0·4030·6d6f··..6..+f..@@.@0mo00019310:·13f7·36d0·052b·66d0·e040·40d0·4030·6d6f··..6..+f..@@.@0mo
00019320:·6475·6c65·2d74·6f2d·6578·706f·7274·90a0··dule-to-export..00019320:·6475·6c65·2d74·6f2d·6578·706f·7274·90a0··dule-to-export..
00019330:·0104·fc91·b241·9005·2b60·b241·9005·23ad··.....A..+`.A..#.00019330:·0104·fc91·b241·9005·2b60·b241·9005·23ad··.....A..+`.A..#.
00019340:·4040·4140·d040·0409·a0a0·9041·a090·4140··@@A@.@.....A..A@00019340:·4040·4140·d040·0409·a0a0·9041·a090·4140··@@A@.@.....A..A@
00019350:·e005·2b06·312e·2f48·422f·7374·7275·6374··..+.1./HB/struct00019350:·e005·2b06·312e·2f48·422f·7374·7275·6374··..+.1./HB/struct
00019360:·7572·6573·2e76·0128·0a01·2835·0100·fb01··ures.v.(..(5....00019360:·7572·6573·2e76·0128·0a01·2835·0100·fb01··ures.v.(..(5....
00019370:·2808·4041·0563·44d0·4004·11a0·a090·052a··(.@A.cD.@......*00019370:·2808·4041·0563·44d0·4004·11a0·a090·052a··(.@A.cD.@......*
00019380:·d404·0640·4041·4040·4029·3133·3035·3935··...@@A@@@)13059500019380:·d404·0640·4041·4040·4029·3837·3237·3934··...@@A@@@)872794
00019390:·3739·38e0·051f·f6d0·d0d0·d0d0·051f·c705··798.............00019390:·3831·36e0·051f·f6d0·d0d0·d0d0·051f·c705··816.............
000193a0:·1fc3·051f·c2d0·d040·052a·9105·1fc0·4041··.......@.*....@A000193a0:·1fc3·051f·c2d0·d040·052a·9105·1fc0·4041··.......@.*....@A
000193b0:·0564·6405·6463·4042·4305·645f·0564·5ed0··.dd.dc@BC.d_.d^.000193b0:·0564·6405·6463·4042·4305·645f·0564·5ed0··.dd.dc@BC.d_.d^.
000193c0:·d040·0564·5d05·645c·d040·051f·be05·1fbd··.@.d].d\.@......000193c0:·d040·0564·5d05·645c·d040·051f·be05·1fbd··.@.d].d\.@......
000193d0:·4041·4205·2a6d·051f·bb05·1fb8·4344·051f··@AB.*m......CD..000193d0:·4041·4205·2a6d·051f·bb05·1fb8·4344·051f··@AB.*m......CD..
000193e0:·b505·1fb4·051f·b246·0525·f405·1f89·051f··.......F.%......000193e0:·b505·1fb4·051f·b246·0525·f405·1f89·051f··.......F.%......
000193f0:·8747·051f·6f05·1f6e·051f·6c48·d0d0·d0d0··.G..o..n..lH....000193f0:·8747·051f·6f05·1f6e·051f·6c48·d0d0·d0d0··.G..o..n..lH....
00019400:·d005·1f1e·051e·af05·1eae·d005·1ea6·0526··...............&00019400:·d005·1f1e·051e·af05·1eae·d005·1ea6·0526··...............&
Offset 6575, 15 lines modifiedOffset 6575, 15 lines modified
00019ae0:·1e47·0516·c605·078b·0507·7b48·4905·143f··.G........{HI..?00019ae0:·1e47·0516·c605·078b·0507·7b48·4905·143f··.G........{HI..?
00019af0:·0505·d6d0·0505·d005·0ff4·0503·41d0·0503··............A...00019af0:·0505·d6d0·0505·d005·0ff4·0503·41d0·0503··............A...
00019b00:·3105·0df5·0501·f5d0·0501·ef05·0d4a·0501··1............J..00019b00:·3105·0df5·0501·f5d0·0501·ef05·0d4a·0501··1............J..
00019b10:·76d0·0501·6e05·0ccf·0501·33d0·0501·3105··v...n.....3...1.00019b10:·76d0·0501·6e05·0ccf·0501·33d0·0501·3105··v...n.....3...1.
00019b20:·0c7d·0501·1cd0·0501·1505·0c5d·0501·0ed0··.}.........]....00019b20:·0c7d·0501·1cd0·0501·1505·0c5d·0501·0ed0··.}.........]....
00019b30:·0501·0905·0c29·0501·06d0·4005·0c22·0501··.....)....@.."..00019b30:·0501·0905·0c29·0501·06d0·4005·0c22·0501··.....)....@.."..
00019b40:·00d0·4005·0bf0·04f4·4041·4243·4445·4647··..@.....@ABCDEFG00019b40:·00d0·4005·0bf0·04f4·4041·4243·4445·4647··..@.....@ABCDEFG
00019b50:·4849·4a05·6417·0c00·0000·0000·00dd·3e41··HIJ.d.........>A00019b50:·4849·4a05·6417·0c00·0000·0000·00d5·3e41··HIJ.d.........>A
00019b60:·a095·a002·0bbd·a012·b005·2c65·9390·9105··..........,e....00019b60:·a095·a002·0bbd·a012·b005·2c65·9390·9105··..........,e....
00019b70:·6534·41a0·95a0·020b·bda0·12b0·052c·6c92··e4A..........,l.00019b70:·6534·41a0·95a0·020b·bda0·12b0·052c·6c92··e4A..........,l.
00019b80:·a026·6578·706f·7274·a022·6462·4041·a095··.&export."db@A..00019b80:·a026·6578·706f·7274·a022·6462·4041·a095··.&export."db@A..
00019b90:·a002·0bbd·a012·b005·2c75·9190·a0b0·0568··........,u.....h00019b90:·a002·0bbd·a012·b005·2c75·9190·a0b0·0568··........,u.....h
00019ba0:·2809·2039·3730·3632·6337·6462·3037·3230··(.·97062c7db072000019ba0:·2809·2039·3730·3632·6337·6462·3037·3230··(.·97062c7db0720
00019bb0:·3361·3662·3635·6637·3063·6331·3263·6438··3a6b65f70cc12cd800019bb0:·3361·3662·3635·6637·3063·6331·3263·6438··3a6b65f70cc12cd8
00019bc0:·6232·3402·3efd·c406·d005·2c67·d0e0·4040··b24.>.....,g..@@00019bc0:·6232·3402·3efd·c406·d005·2c67·d0e0·4040··b24.>.....,g..@@
Offset 6702, 94570 lines modifiedOffset 6702, 94570 lines modified
0001a2d0:·a620·3a3d·207b·20e2·80a6·207d·2e43·e005··.·:=·{·...·}.C..0001a2d0:·a620·3a3d·207b·20e2·80a6·207d·2e43·e005··.·:=·{·...·}.C..
0001a2e0:·0192·0501·9101·4901·0149·4001·01ed·0148··......I..I@....H0001a2e0:·0192·0501·9101·4901·0149·4001·01ed·0148··......I..I@....H
0001a2f0:·f5a0·052d·2d90·9090·4140·e005·0197·0501··...--...A@......0001a2f0:·f5a0·052d·2d90·9090·4140·e005·0197·0501··...--...A@......
0001a300:·9601·48f7·0149·4001·01ed·0148·f5a0·052d··..H..I@....H...-0001a300:·9601·48f7·0149·4001·01ed·0148·f5a0·052d··..H..I@....H...-
0001a310:·3290·9090·93a0·2753·7263·3234·3532·9090··2.....'Src2452..0001a310:·3290·9090·93a0·2753·7263·3234·3532·9090··2.....'Src2452..
0001a320:·9040·e005·01a2·0501·a101·48eb·0149·4001··.@........H..I@.0001a320:·9040·e005·01a2·0501·a101·48eb·0149·4001··.@........H..I@.
Diff chunk too large, falling back to line-by-line diff (2180 lines added, 2180 lines removed)
0001a330:·01ec·0148·eba0·052d·3d90·9090·4040·4040··...H...-=...@@@@0001a330:·01ec·0148·eba0·052d·3d90·9090·4040·4040··...H...-=...@@@@
0001a340:·402a·3130·3333·3539·3037·3831·e005·2294··@*1033590781..".0001a340:·4029·3737·3936·3235·3339·35e0·0522·94d0··@)779625395.."..
0001a350:·d0d0·d0d0·d005·2265·0522·6105·2260·d040··......"e."a."`.@0001a350:·d0d0·d0d0·0522·6505·2261·0522·60d0·4005··....."e."a."`.@.
0001a360:·052d·2e05·225d·d040·0567·0205·6701·4041··.-.."].@.g..g.@A0001a360:·2d2e·0522·5dd0·4005·6702·0567·0140·4142··-.."].@.g..g.@AB
0001a370:·4243·0566·fd05·66fc·d0d0·d040·0566·fc05··BC.f..f....@.f..0001a370:·4305·66fd·0566·fcd0·d0d0·4005·66fc·0566··C.f..f....@.f..f
0001a380:·66fb·4041·0522·5c05·225b·4042·052d·0b05··f.@A."\."[@B.-..0001a380:·fb40·4105·225c·0522·5b40·4205·2d0b·0522··.@A."\."[@B.-.."
0001a390:·2259·0522·5643·4405·2253·0522·5205·2250··"Y."VCD."S."R."P0001a390:·5905·2256·4344·0522·5305·2252·0522·5046··Y."VCD."S."R."PF
0001a3a0:·4605·2892·0522·2705·2225·4705·220d·0522··F.(.."'."%G.".."0001a3a0:·0528·9205·2227·0522·2547·0522·0d05·220c··.(.."'."%G."..".
0001a3b0:·0c05·220a·48d0·d0d0·d0d0·0521·bc05·214d··..".H......!..!M0001a3b0:·0522·0a48·d0d0·d0d0·d005·21bc·0521·4d05··.".H......!..!M.
0001a3c0:·0521·4cd0·0521·4405·294f·0521·07d0·d0d0··.!L..!D.)O.!....0001a3c0:·214c·d005·2144·0529·4f05·2107·d0d0·d040··!L..!D.)O.!....@
0001a3d0:·4005·66fe·0566·fd40·4105·2101·0521·00d0··@.f..f.@A.!..!..0001a3d0:·0566·fe05·66fd·4041·0521·0105·2100·d040··.f..f.@A.!..!..@
0001a3e0:·4005·01c7·0501·c640·4142·0520·f405·20f3··@......@AB.·..·.0001a3e0:·0501·c705·01c6·4041·4205·20f4·0520·f3d0··......@AB.·..·..
0001a3f0:·d0d0·d040·0566·f905·66f8·4041·0520·ed05··...@.f..f.@A.·..0001a3f0:·d0d0·4005·66f9·0566·f840·4105·20ed·0520··..@.f..f.@A.·..·
0001a400:·20ec·0520·e642·0520·de05·20dd·0520·d743···..·.B.·..·..·.C0001a400:·ec05·20e6·4205·20de·0520·dd05·20d7·4344··..·.B.·..·..·.CD
0001a410:·4445·4605·20d0·0520·cfd0·d0d0·d0d0·4005··DEF.·..·......@.0001a410:·4546·0520·d005·20cf·d0d0·d0d0·d040·0566··EF.·..·......@.f
0001a420:·66f3·0566·f240·4105·66ea·0566·e9d0·d0d0··f..f.@A.f..f....0001a420:·f305·66f2·4041·0566·ea05·66e9·d0d0·d040··..f.@A.f..f....@
0001a430:·4005·66e6·0566·e540·4105·66e1·0566·e0d0··@.f..f.@A.f..f..0001a430:·0566·e605·66e5·4041·0566·e105·66e0·d040··.f..f.@A.f..f..@
0001a440:·4005·66dc·0566·db40·4142·052d·4805·20c7··@.f..f.@AB.-H.·.0001a440:·0566·dc05·66db·4041·4205·2d48·0520·c705··.f..f.@AB.-H.·..
0001a450:·0520·bf43·4405·20b2·0520·b1d0·d005·20aa··.·.CD.·..·....·.0001a450:·20bf·4344·0520·b205·20b1·d0d0·0520·aa05···.CD.·..·....·..
0001a460:·0520·a205·20a1·d040·0566·da05·66d9·4041··.·..·..@.f..f.@A0001a460:·20a2·0520·a1d0·4005·66da·0566·d940·4142···..·..@.f..f.@AB
0001a470:·4205·209c·0520·9b05·2093·4345·0520·8b05··B.·..·..·.CE.·..0001a470:·0520·9c05·209b·0520·9343·4505·208b·0520··.·..·..·.CE.·..·
0001a480:·208a·0520·8446·0520·6805·2067·0520·6047···..·.F.·h.·g.·`G0001a480:·8a05·2084·4605·2068·0520·6705·2060·4748··..·.F.·h.·g.·`GH
0001a490:·4805·201e·0520·1dd0·d005·2019·051f·6005··H.·..·....·...`.0001a490:·0520·1e05·201d·d0d0·0520·1905·1f60·051f··.·..·....·...`..
0001a4a0:·1f5f·d0d0·051f·5b05·1f4d·051f·4cd0·4005··._....[..M..L.@.0001a4a0:·5fd0·d005·1f5b·051f·4d05·1f4c·d040·0566··_....[..M..L.@.f
0001a4b0:·66d6·0566·d540·4143·051f·4805·1f47·051f··f..f.@AC..H..G..0001a4b0:·d605·66d5·4041·4305·1f48·051f·4705·1f3f··..f.@AC..H..G..?
0001a4c0:·3f45·4705·1f0e·051f·0dd0·d0d0·d0d0·d0d0··?EG.............0001a4c0:·4547·051f·0e05·1f0d·d0d0·d0d0·d0d0·d040··EG.............@
0001a4d0:·4005·66d4·0566·d340·4105·1f09·051f·0840··@.f..f.@A......@0001a4d0:·0566·d405·66d3·4041·051f·0905·1f08·4042··.f..f.@A......@B
0001a4e0:·4205·1f04·051f·03d0·4005·66c6·0566·c540··B.......@.f..f.@0001a4e0:·051f·0405·1f03·d040·0566·c605·66c5·4041··.......@.f..f.@A
0001a4f0:·4143·0566·b805·66b7·d040·0566·ac05·66ab··AC.f..f..@.f..f.0001a4f0:·4305·66b8·0566·b7d0·4005·66ac·0566·ab40··C.f..f..@.f..f.@
0001a500:·4041·4405·1efd·051e·fc05·1ef1·4505·1ee1··@AD.........E...0001a500:·4144·051e·fd05·1efc·051e·f145·051e·e105··AD.........E....
0001a510:·051e·e005·1eda·4605·1ec3·051e·c205·1ebc··......F.........0001a510:·1ee0·051e·da46·051e·c305·1ec2·051e·bc47··.....F.........G
0001a520:·4748·4905·1e60·051e·5fd0·d005·1e5c·051d··GHI..`.._....\..0001a520:·4849·051e·6005·1e5f·d0d0·051e·5c05·1d5b··HI..`.._....\..[
0001a530:·5b05·1d5a·d005·1d52·051d·2e05·1d2d·d005··[..Z...R.....-..0001a530:·051d·5ad0·051d·5205·1d2e·051d·2dd0·051d··..Z...R.....-...
0001a540:·1d27·051c·e505·1ce4·d0d0·4005·1cda·051c··.'........@.....0001a540:·2705·1ce5·051c·e4d0·d040·051c·da05·1cd9··'........@......
0001a550:·d9d0·4005·28c0·91a0·0566·a605·1cd3·4041··..@.(....f....@A0001a550:·d040·0528·c091·a005·66a6·051c·d340·4142··.@.(....f....@AB
Max diff block lines reached; 12748225/13055758 bytes (97.64%) of diff not shown.
⊟
136 B
./var/lib/coq/md5sums/libcoq-hierarchy-builder.checksum
    
Offset 1, 1 lines modifiedOffset 1, 1 lines modified
1 3xs201 z47f9
Generated by diffoscope 284