{"diffoscope-json-version": 1, "source1": "/srv/reproducible-results/rbuild-debian/r-b-build.1TAElarV/b1/coq-elpi_2.4.0-1_arm64.changes", "source2": "/srv/reproducible-results/rbuild-debian/r-b-build.1TAElarV/b2/coq-elpi_2.4.0-1_arm64.changes", "unified_diff": null, "details": [{"source1": "Files", "source2": "Files", "unified_diff": "@@ -1,3 +1,3 @@\n \n  98d1f50c13bf87707375478c3a016189 745608 debug optional libcoq-elpi-dbgsym_2.4.0-1_arm64.deb\n- de21b9a107186cacf64c3162c13804cf 13069644 ocaml optional libcoq-elpi_2.4.0-1_arm64.deb\n+ ffdb672987b6d922eab12e71fccc7b3f 13070596 ocaml optional libcoq-elpi_2.4.0-1_arm64.deb\n"}, {"source1": "libcoq-elpi_2.4.0-1_arm64.deb", "source2": "libcoq-elpi_2.4.0-1_arm64.deb", "unified_diff": null, "details": [{"source1": "file list", "source2": "file list", "unified_diff": "@@ -1,3 +1,3 @@\n -rw-r--r--   0        0        0        4 2025-02-15 14:21:18.000000 debian-binary\n--rw-r--r--   0        0        0    11260 2025-02-15 14:21:18.000000 control.tar.xz\n--rw-r--r--   0        0        0 13058192 2025-02-15 14:21:18.000000 data.tar.xz\n+-rw-r--r--   0        0        0    11264 2025-02-15 14:21:18.000000 control.tar.xz\n+-rw-r--r--   0        0        0 13059140 2025-02-15 14:21:18.000000 data.tar.xz\n"}, {"source1": "control.tar.xz", "source2": "control.tar.xz", "unified_diff": null, "details": [{"source1": "control.tar", "source2": "control.tar", "unified_diff": null, "details": [{"source1": "./control", "source2": "./control", "unified_diff": "@@ -1,15 +1,15 @@\n Package: libcoq-elpi\n Source: coq-elpi\n Version: 2.4.0-1\n Architecture: arm64\n Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>\n Installed-Size: 65466\n Depends: libelpi-ocaml-dev, libcoq-core-ocaml-dev (>= 8.17), libcoq-stdlib-dik25, libcoq-core-ocaml-ajzi5, libelpi-ocaml-t6nk2, libppx-deriving-ocaml-ikee3, libstdlib-ocaml-fxjy5, libzarith-ocaml-f1se9\n-Provides: libcoq-elpi-gxrj6\n+Provides: libcoq-elpi-1g1s2\n Section: ocaml\n Priority: optional\n Homepage: https://github.com/LPCIC/coq-elpi\n Description: Coq plugin embedding Elpi\n  This package makes it possible to define new commands and tactics\n  for Coq in Elpi.\n  .\n"}, {"source1": "./md5sums", "source2": "./md5sums", "unified_diff": null, "details": [{"source1": "./md5sums", "source2": "./md5sums", "comments": ["Files differ"], "unified_diff": null}]}]}]}, {"source1": "data.tar.xz", "source2": "data.tar.xz", "unified_diff": null, "details": [{"source1": "data.tar", "source2": "data.tar", "unified_diff": null, "details": [{"source1": "./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/tutorial_coq_elpi_command.glob", "source2": "./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/tutorial_coq_elpi_command.glob", "unified_diff": "@@ -43,15 +43,15 @@\n constr 11437:11444 <> leaf'\n constr 11437:11444 <> node'\n mod 22427:22435 <> Notations\n R22463:22465 Coq.Init.Peano <> ::nat_scope:x_'>'_x not\n not 22447:22447 Notations :::x_'>>'_x\n def 22495:22495 Notations w\n R22507:22515 elpi_examples.tutorial_coq_elpi_command Notations <> mod\n-mod 24304:24319 <> Module50\n+mod 24304:24319 <> Module45\n R25968:25970 Coq.Init.Datatypes <> nat ind\n binder 25964:25964 <> n:7\n R25977:25979 Coq.Init.Peano <> ::nat_scope:x_'+'_x not\n R25976:25976 elpi_examples.tutorial_coq_elpi_command <> n:7 var\n R25968:25970 Coq.Init.Datatypes <> nat ind\n mod 25935:25944 <> Box\n mod 25935:25944 <> Box.Box\n"}, {"source1": "./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/tutorial_coq_elpi_command.vo", "source2": "./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/tutorial_coq_elpi_command.vo", "has_internal_linenos": true, "unified_diff": "@@ -141,16 +141,16 @@\n 000008c0: d405 01d1 b605 0195 041a b605 0109 048d  ................\n 000008d0: b605 0108 0419 046d 4190 b080 a005 0255  .......mA......U\n 000008e0: 4a90 a092 4090 0457 4040 0502 0ca0 a029  J...@..W@@.....)\n 000008f0: 4e6f 7461 7469 6f6e 7393 e0a2 0502 5a04  Notations.....Z.\n 00000900: 0441 90a0 a021 7790 0800 0027 0040 0502  .A...!w....'.@..\n 00000910: 5991 a905 0236 9005 0205 0502 4140 90b0  Y....6......A@..\n 00000920: 80a0 0502 6b4b 9090 9240 4040 0502 2140  ....kK...@@@..!@\n-00000930: 40a0 4040 9040 a0a0 284d 6f64 756c 6535  @.@@.@..(Module5\n-00000940: 3093 e0a2 0502 7104 0441 9040 4004 0990  0.....q..A.@@...\n+00000930: 40a0 4040 9040 a0a0 284d 6f64 756c 6534  @.@@.@..(Module4\n+00000940: 3593 e0a2 0502 7104 0441 9040 4004 0990  5.....q..A.@@...\n 00000950: 40a0 a023 426f 7893 e0a2 0502 7904 0441  @..#Box.....y..A\n 00000960: 90a0 a004 0793 e0a2 0407 040a 4190 a0a0  ............A...\n 00000970: 040d 93e0 a204 0704 1041 90a0 a004 1393  .........A......\n 00000980: e0a2 0407 0416 4190 a0a0 2366 6f6f 9008  ......A...#foo..\n 00000990: 0000 2700 4005 028a 91b7 a090 216e 4005  ..'.@.......!n@.\n 000009a0: 0274 a99a a090 b090 a023 4e61 7405 0289  .t.......#Nat...\n 000009b0: 2361 6464 020c a38f 6005 0298 a005 0278  #add....`......x\n@@ -31175,16 +31175,16 @@\n 00079c60: a095 a002 044e ceb4 a005 082a b090 0508  .....N.....*....\n 00079c70: 2c05 082b b040 4040 a095 a002 044e ceb4  ,..+.@@@.....N..\n 00079c80: a005 0759 b090 0507 5b05 075a b040 4040  ...Y....[..Z.@@@\n 00079c90: a095 a002 044e ceb4 a005 05ae b090 0505  .....N..........\n 00079ca0: b005 05af b040 4040 a095 a002 044e ceb4  .....@@@.....N..\n 00079cb0: a005 0526 b090 0505 2805 0527 b040 4040  ...&....(..'.@@@\n 00079cc0: a095 a002 044e ceb4 a005 0393 b090 0503  .....N..........\n-00079cd0: 9505 0394 b040 4040 4025 e53f 8bc0 e3af  .....@@@@%.?....\n-00079ce0: 22ff a20f 14fe 86ea 1084 95a6 be00 0000  \"...............\n+00079cd0: 9505 0394 b040 4040 400f 6d18 c4d6 e7ae  .....@@@@.m.....\n+00079ce0: 11f2 9d9a 1d12 d386 6784 95a6 be00 0000  ........g.......\n 00079cf0: 0100 0000 0000 0000 0000 0000 0080 6144  ..............aD\n 00079d00: c86c d4a1 68cd 7049 5a5c c422 ade9 8495  .l..h.pIZ\\.\"....\n 00079d10: a6be 0000 01c2 0000 0050 0000 012e 0000  .........P......\n 00079d20: 010c a0a0 3974 7574 6f72 6961 6c5f 636f  ....9tutorial_co\n 00079d30: 715f 656c 7069 5f63 6f6d 6d61 6e64 a02d  q_elpi_command.-\n 00079d40: 656c 7069 5f65 7861 6d70 6c65 7340 0800  elpi_examples@..\n 00079d50: 0037 00c0 0925 2d00 028c 003d fd01 020a  .7...%-....=....\n@@ -31211,16 +31211,16 @@\n 00079ea0: 0841 48c0 2d2d 0003 8c2a 2b01 010a 3700  .AH.--...*+...7.\n 00079eb0: 2704 8021 2880 c004 1180 227c 9c90 98b0  '..!(.....\"|....\n 00079ec0: 0410 4148 c004 3580 2104 9094 9104 35c0  ..AH..5.!.....5.\n 00079ed0: 2b2d 0002 8c36 000a 3701 2703 8022 140c  +-...6..7.'..\"..\n 00079ee0: 9094 043a 5cb0 5c55 9f7b 34d6 4138 434c  ...:\\.\\U.{4.A8CL\n 00079ef0: aecb aca0 0000 0004 0000 0007 6c69 6272  ............libr\n 00079f00: 6172 7900 0000 0000 0000 af00 0000 0000  ary.............\n-00079f10: 079c 2a25 e53f 8bc0 e3af 22ff a20f 14fe  ..*%.?....\".....\n-00079f20: 86ea 1000 0000 076f 7061 7175 6573 0000  .......opaques..\n+00079f10: 079c 2a0f 6d18 c4d6 e7ae 11f2 9d9a 1d12  ..*.m...........\n+00079f20: d386 6700 0000 076f 7061 7175 6573 0000  ..g....opaques..\n 00079f30: 0000 0007 9ce9 0000 0000 0000 0015 6144  ..............aD\n 00079f40: c86c d4a1 68cd 7049 5a5c c422 ade9 0000  .l..h.pIZ\\.\"....\n 00079f50: 0007 7375 6d6d 6172 7900 0000 0000 0000  ..summary.......\n 00079f60: 1000 0000 0000 0000 8f09 db95 fe63 03cf  .............c..\n 00079f70: 9a47 289f 6f4a 2a3f 3100 0000 0976 6d6c  .G(.oJ*?1....vml\n 00079f80: 6962 7261 7279 0000 0000 0007 9d0e 0000  ibrary..........\n 00079f90: 0000 0000 01d6 5cb0 5c55 9f7b 34d6 4138  ......\\.\\U.{4.A8\n"}, {"source1": "./var/lib/coq/md5sums/libcoq-elpi.checksum", "source2": "./var/lib/coq/md5sums/libcoq-elpi.checksum", "unified_diff": "@@ -1 +1 @@\n-gxrj6\n+1g1s2\n"}]}]}]}]}