{"diffoscope-json-version": 1, "source1": "/srv/reproducible-results/rbuild-debian/r-b-build.PRFuzs5S/b1/coq-elpi_2.5.0-1.1_amd64.changes", "source2": "/srv/reproducible-results/rbuild-debian/r-b-build.PRFuzs5S/b2/coq-elpi_2.5.0-1.1_amd64.changes", "unified_diff": null, "details": [{"source1": "Files", "source2": "Files", "unified_diff": "@@ -1,3 +1,3 @@\n \n  d55fbba34711409f62db9ea82b03915f 771800 debug optional libcoq-elpi-dbgsym_2.5.0-1.1_amd64.deb\n- e44cb59fb6f38a94f5780fde8bd2b1a4 12299648 ocaml optional libcoq-elpi_2.5.0-1.1_amd64.deb\n+ a0d0a36da32415cffaf811bc55860fb8 12300176 ocaml optional libcoq-elpi_2.5.0-1.1_amd64.deb\n"}, {"source1": "libcoq-elpi_2.5.0-1.1_amd64.deb", "source2": "libcoq-elpi_2.5.0-1.1_amd64.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-06-17 06:59:01.000000 debian-binary\n--rw-r--r--   0        0        0    12124 2025-06-17 06:59:01.000000 control.tar.xz\n--rw-r--r--   0        0        0 12287332 2025-06-17 06:59:01.000000 data.tar.xz\n+-rw-r--r--   0        0        0    12116 2025-06-17 06:59:01.000000 control.tar.xz\n+-rw-r--r--   0        0        0 12287868 2025-06-17 06:59:01.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.5.0-1.1\n Architecture: amd64\n Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>\n Installed-Size: 60986\n Depends: libelpi-ocaml-dev, libcoq-core-ocaml-dev (>= 8.17), libcoq-stdlib-68yx1, libcoq-core-ocaml-29kh7, libelpi-ocaml-zfj86, libppx-deriving-ocaml-kejh4, libstdlib-ocaml-m4xw9, libzarith-ocaml-h79v1\n-Provides: libcoq-elpi-a9qg2\n+Provides: libcoq-elpi-4rqn2\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": "file list", "source2": "file list", "unified_diff": "@@ -335,15 +335,15 @@\n -rw-r--r--   0 root         (0) root         (0)    21028 2025-06-17 06:59:01.000000 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/tutorial_coq_elpi_HOAS.v\n -rw-r--r--   0 root         (0) root         (0)   342632 2025-06-17 06:59:01.000000 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/tutorial_coq_elpi_HOAS.vo\n -rw-r--r--   0 root         (0) root         (0)     2635 2025-06-17 06:59:01.000000 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/tutorial_coq_elpi_command.glob\n -rw-r--r--   0 root         (0) root         (0)    27518 2025-06-17 06:59:01.000000 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/tutorial_coq_elpi_command.v\n -rw-r--r--   0 root         (0) root         (0)   501497 2025-06-17 06:59:01.000000 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/tutorial_coq_elpi_command.vo\n -rw-r--r--   0 root         (0) root         (0)    10047 2025-06-17 06:59:01.000000 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/tutorial_coq_elpi_tactic.glob\n -rw-r--r--   0 root         (0) root         (0)    29542 2025-06-17 06:59:01.000000 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/tutorial_coq_elpi_tactic.v\n--rw-r--r--   0 root         (0) root         (0)   354441 2025-06-17 06:59:01.000000 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/tutorial_coq_elpi_tactic.vo\n+-rw-r--r--   0 root         (0) root         (0)   354396 2025-06-17 06:59:01.000000 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/tutorial_coq_elpi_tactic.vo\n -rw-r--r--   0 root         (0) root         (0)      105 2025-06-17 06:59:01.000000 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/tutorial_elpi_lang.glob\n -rw-r--r--   0 root         (0) root         (0)    41015 2025-06-17 06:59:01.000000 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/tutorial_elpi_lang.v\n -rw-r--r--   0 root         (0) root         (0)    85889 2025-06-17 06:59:01.000000 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/tutorial_elpi_lang.vo\n drwxr-xr-x   0 root         (0) root         (0)        0 2025-06-17 06:59:01.000000 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/\n -rw-r--r--   0 root         (0) root         (0)     1176 2025-06-17 06:59:01.000000 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/META\n drwxr-xr-x   0 root         (0) root         (0)        0 2025-06-17 06:59:01.000000 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/coercion/\n -rw-r--r--   0 root         (0) root         (0)    28310 2025-06-17 06:59:01.000000 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/coercion/elpi_coercion_plugin.a\n"}, {"source1": "./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/tutorial_coq_elpi_command.glob", "source2": "./usr/lib/x86_64-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 <> Module59\n+mod 24304:24319 <> Module65\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/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/tutorial_coq_elpi_command.vo", "source2": "./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/tutorial_coq_elpi_command.vo", "has_internal_linenos": true, "unified_diff": "@@ -138,15 +138,15 @@\n 00000890: 048d b605 0108 0419 046d 4190 b080 a005  .........mA.....\n 000008a0: 0248 4a90 a092 4090 0457 4040 0501 ffa0  .HJ...@..W@@....\n 000008b0: a029 4e6f 7461 7469 6f6e 7393 e0a2 0502  .)Notations.....\n 000008c0: 4d04 0441 90a0 a021 7790 0800 0027 0040  M..A...!w....'.@\n 000008d0: 0502 4c91 a905 0229 9005 0205 0502 3440  ..L....)......4@\n 000008e0: 90b0 80a0 0502 5e4b 9090 9240 4040 0502  ......^K...@@@..\n 000008f0: 1440 40a0 4040 9040 a0a0 284d 6f64 756c  .@@.@@.@..(Modul\n-00000900: 6535 3993 e0a2 0502 6404 0441 9040 4004  e59.....d..A.@@.\n+00000900: 6536 3593 e0a2 0502 6404 0441 9040 4004  e65.....d..A.@@.\n 00000910: 0990 40a0 a023 426f 7893 e0a2 0502 6c04  ..@..#Box.....l.\n 00000920: 0441 90a0 a004 0793 e0a2 0407 040a 4190  .A............A.\n 00000930: a0a0 040d 93e0 a204 0704 1041 90a0 a004  ...........A....\n 00000940: 1393 e0a2 0407 0416 4190 a0a0 2366 6f6f  ........A...#foo\n 00000950: 9008 0000 2700 4005 027d 91b7 a090 216e  ....'.@..}....!n\n 00000960: 4005 0267 a99a a090 b090 a023 4e61 7405  @..g.......#Nat.\n 00000970: 027c 2361 6464 020c a38f 6005 028b a005  .|#add....`.....\n@@ -31292,16 +31292,16 @@\n 0007a3b0: 4040 40a0 95a0 0204 4ece b4a0 0508 2ab0  @@@.....N.....*.\n 0007a3c0: 9005 082c 0508 2bb0 4040 40a0 95a0 0204  ...,..+.@@@.....\n 0007a3d0: 4ece b4a0 0507 59b0 9005 075b 0507 5ab0  N.....Y....[..Z.\n 0007a3e0: 4040 40a0 95a0 0204 4ece b4a0 0505 aeb0  @@@.....N.......\n 0007a3f0: 9005 05b0 0505 afb0 4040 40a0 95a0 0204  ........@@@.....\n 0007a400: 4ece b4a0 0505 26b0 9005 0528 0505 27b0  N.....&....(..'.\n 0007a410: 4040 40a0 95a0 0204 4ece b4a0 0503 93b0  @@@.....N.......\n-0007a420: 9005 0395 0503 94b0 4040 4040 8361 680a  ........@@@@.ah.\n-0007a430: f1c1 1500 3519 91bb a667 bb25 8495 a6be  ....5....g.%....\n+0007a420: 9005 0395 0503 94b0 4040 4040 fd5f 65bb  ........@@@@._e.\n+0007a430: 1fdb 49b4 2152 30c9 d0f3 219b 8495 a6be  ..I.!R0...!.....\n 0007a440: 0000 0001 0000 0000 0000 0000 0000 0000  ................\n 0007a450: 8061 44c8 6cd4 a168 cd70 495a 5cc4 22ad  .aD.l..h.pIZ\\.\".\n 0007a460: e984 95a6 be00 0001 c200 0000 5000 0001  ............P...\n 0007a470: 2e00 0001 0ca0 a039 7475 746f 7269 616c  .......9tutorial\n 0007a480: 5f63 6f71 5f65 6c70 695f 636f 6d6d 616e  _coq_elpi_comman\n 0007a490: 64a0 2d65 6c70 695f 6578 616d 706c 6573  d.-elpi_examples\n 0007a4a0: 4008 0000 3700 c009 252d 0002 8c00 3dfd  @...7...%-....=.\n@@ -31328,16 +31328,16 @@\n 0007a5f0: 98b0 0408 4148 c02d 2d00 038c 2a2b 0101  ....AH.--...*+..\n 0007a600: 0a37 0027 0480 2128 80c0 0411 8022 7c9c  .7.'..!(.....\"|.\n 0007a610: 9098 b004 1041 48c0 0435 8021 0490 9491  .....AH..5.!....\n 0007a620: 0435 c02b 2d00 028c 3600 0a37 0127 0380  .5.+-...6..7.'..\n 0007a630: 2214 0c90 9404 3a5c b05c 559f 7b34 d641  \".....:\\.\\U.{4.A\n 0007a640: 3843 4cae cbac a000 0000 0400 0000 076c  8CL............l\n 0007a650: 6962 7261 7279 0000 0000 0000 00af 0000  ibrary..........\n-0007a660: 0000 0007 a37d 8361 680a f1c1 1500 3519  .....}.ah.....5.\n-0007a670: 91bb a667 bb25 0000 0007 6f70 6171 7565  ...g.%....opaque\n+0007a660: 0000 0007 a37d fd5f 65bb 1fdb 49b4 2152  .....}._e...I.!R\n+0007a670: 30c9 d0f3 219b 0000 0007 6f70 6171 7565  0...!.....opaque\n 0007a680: 7300 0000 0000 07a4 3c00 0000 0000 0000  s.......<.......\n 0007a690: 1561 44c8 6cd4 a168 cd70 495a 5cc4 22ad  .aD.l..h.pIZ\\.\".\n 0007a6a0: e900 0000 0773 756d 6d61 7279 0000 0000  .....summary....\n 0007a6b0: 0000 0010 0000 0000 0000 008f 1edc 6e21  ..............n!\n 0007a6c0: 8699 0b7d 8112 0096 c331 1d91 0000 0009  ...}.....1......\n 0007a6d0: 766d 6c69 6272 6172 7900 0000 0000 07a4  vmlibrary.......\n 0007a6e0: 6100 0000 0000 0001 d65c b05c 559f 7b34  a........\\.\\U.{4\n"}, {"source1": "./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/tutorial_coq_elpi_tactic.vo", "source2": "./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/tutorial_coq_elpi_tactic.vo", "has_internal_linenos": true, "unified_diff": "@@ -1,8 +1,8 @@\n-00000000: 436f 7121 0001 4050 0000 0000 0005 67d7  Coq!..@P......g.\n+00000000: 436f 7121 0001 4050 0000 0000 0005 67aa  Coq!..@P......g.\n 00000010: 8495 a6be 0000 00a5 0000 0020 0000 0070  ........... ...p\n 00000020: 0000 005e c0a0 3874 7574 6f72 6961 6c5f  ...^..8tutorial_\n 00000030: 636f 715f 656c 7069 5f74 6163 7469 63a0  coq_elpi_tactic.\n 00000040: 2d65 6c70 695f 6578 616d 706c 6573 40b0  -elpi_examples@.\n 00000050: a0a0 2750 7265 6c75 6465 a024 496e 6974  ..'Prelude.$Init\n 00000060: a023 436f 7140 9030 e408 cae8 4bf0 00dd  .#Coq@.0....K...\n 00000070: 6693 ab18 b327 4bc0 a0a0 2465 6c70 69a0  f....'K...$elpi.\n@@ -22123,31 +22123,28 @@\n 000566a0: 0437 0454 90a0 0413 0456 90a0 0453 0458  .7.T.....V...S.X\n 000566b0: 90a0 0455 045a 90a0 b704 3104 4fb7 042e  ...U.Z....1.O...\n 000566c0: 0450 b704 2404 26b7 0419 0427 a904 42c0  .P..$.&....'..B.\n 000566d0: 0416 a904 4fa0 0426 0418 042b a904 46c0  ....O..&...+..F.\n 000566e0: 0428 041a 0449 042d 0466 90a0 b704 3d04  .(...I.-.f....=.\n 000566f0: 5bb7 0436 044d 044d 046a 28ab ad33 1204  [..6.M.M.j(..3..\n 00056700: 8d2f 6ea9 6e7e dcca 9602 8495 a6be 0000  ./n.n~..........\n-00056710: 00a9 0000 0071 0000 00fb 0000 00f6 a0a0  .....q..........\n+00056710: 007c 0000 0043 0000 009f 0000 009a a0a0  .|...C..........\n 00056720: 3874 7574 6f72 6961 6c5f 636f 715f 656c  8tutorial_coq_el\n 00056730: 7069 5f74 6163 7469 63a0 2d65 6c70 695f  pi_tactic.-elpi_\n 00056740: 6578 616d 706c 6573 40b0 c023 3600 8c80  examples@..#6...\n 00056750: 2104 9094 9191 9191 9191 9191 9191 9191  !...............\n 00056760: 9191 9191 9191 9191 9191 9191 9191 9191  ................\n 00056770: 9191 9191 9191 9191 9191 9191 9191 9191  ................\n 00056780: 9191 40c0 0433 8021 0490 94a1 4140 c004  ..@..3.!....A@..\n-00056790: 3880 2104 9094 a191 9191 9191 9191 9191  8.!.............\n-000567a0: 9191 9191 9191 9191 9191 9191 9191 9191  ................\n-000567b0: 9191 9191 9191 9191 9191 9191 9191 9191  ................\n-000567c0: 9191 9191 9140 4029 1415 c93e cda9 760f  .....@@)...>..v.\n-000567d0: b26e 7b47 2cfe 0f00 0000 0400 0000 076c  .n{G,..........l\n-000567e0: 6962 7261 7279 0000 0000 0000 00d9 0000  ibrary..........\n-000567f0: 0000 0005 6452 669f 46c9 e29b 7b9e 22b5  ....dRf.F...{.\".\n-00056800: c173 21fc b2fd 0000 0007 6f70 6171 7565  .s!.......opaque\n-00056810: 7300 0000 0000 0565 3b00 0000 0000 0001  s......e;.......\n-00056820: bf28 abad 3312 048d 2f6e a96e 7edc ca96  .(..3.../n.n~...\n-00056830: 0200 0000 0773 756d 6d61 7279 0000 0000  .....summary....\n-00056840: 0000 0010 0000 0000 0000 00b9 d0c2 a25b  ...............[\n-00056850: a4ba 2fa8 e201 5027 646a 7b70 0000 0009  ../...P'dj{p....\n-00056860: 766d 6c69 6272 6172 7900 0000 0000 0567  vmlibrary......g\n-00056870: 0a00 0000 0000 0000 bd29 1415 c93e cda9  .........)...>..\n-00056880: 760f b26e 7b47 2cfe 0f                   v..n{G,..\n+00056790: 3880 2104 9094 a104 3840 11f9 d551 ce3e  8.!.....8@...Q.>\n+000567a0: a396 da41 25de 04fe 571b 0000 0004 0000  ...A%...W.......\n+000567b0: 0007 6c69 6272 6172 7900 0000 0000 0000  ..library.......\n+000567c0: d900 0000 0000 0564 5266 9f46 c9e2 9b7b  .......dRf.F...{\n+000567d0: 9e22 b5c1 7321 fcb2 fd00 0000 076f 7061  .\"..s!.......opa\n+000567e0: 7175 6573 0000 0000 0005 653b 0000 0000  ques......e;....\n+000567f0: 0000 01bf 28ab ad33 1204 8d2f 6ea9 6e7e  ....(..3.../n.n~\n+00056800: dcca 9602 0000 0007 7375 6d6d 6172 7900  ........summary.\n+00056810: 0000 0000 0000 1000 0000 0000 0000 b9d0  ................\n+00056820: c2a2 5ba4 ba2f a8e2 0150 2764 6a7b 7000  ..[../...P'dj{p.\n+00056830: 0000 0976 6d6c 6962 7261 7279 0000 0000  ...vmlibrary....\n+00056840: 0005 670a 0000 0000 0000 0090 11f9 d551  ..g............Q\n+00056850: ce3e a396 da41 25de 04fe 571b            .>...A%...W.\n"}, {"source1": "./var/lib/coq/md5sums/libcoq-elpi.checksum", "source2": "./var/lib/coq/md5sums/libcoq-elpi.checksum", "unified_diff": "@@ -1 +1 @@\n-a9qg2\n+4rqn2\n"}]}]}]}]}