{"diffoscope-json-version": 1, "source1": "/srv/reproducible-results/rbuild-debian/r-b-build.0fAdYEOz/b1/coq-elpi_2.2.3-1_arm64.changes", "source2": "/srv/reproducible-results/rbuild-debian/r-b-build.0fAdYEOz/b2/coq-elpi_2.2.3-1_arm64.changes", "unified_diff": null, "details": [{"source1": "Files", "source2": "Files", "unified_diff": "@@ -1,3 +1,3 @@\n \n  b8c22c73444f7279745c419035068fba 300480 debug optional libcoq-elpi-dbgsym_2.2.3-1_arm64.deb\n- a6397da788d9fd71dc0253c346012511 7973236 ocaml optional libcoq-elpi_2.2.3-1_arm64.deb\n+ a31720732e4c2a14f97de053c104033a 7969816 ocaml optional libcoq-elpi_2.2.3-1_arm64.deb\n"}, {"source1": "libcoq-elpi_2.2.3-1_arm64.deb", "source2": "libcoq-elpi_2.2.3-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 2024-11-20 09:43:12.000000 debian-binary\n--rw-r--r--   0        0        0    11128 2024-11-20 09:43:12.000000 control.tar.xz\n--rw-r--r--   0        0        0  7961916 2024-11-20 09:43:12.000000 data.tar.xz\n+-rw-r--r--   0        0        0    11124 2024-11-20 09:43:12.000000 control.tar.xz\n+-rw-r--r--   0        0        0  7958500 2024-11-20 09:43:12.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.2.3-1\n Architecture: arm64\n Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>\n Installed-Size: 31380\n Depends: libelpi-ocaml-dev, libcoq-core-ocaml-dev (>= 8.17), libcoq-stdlib-z3q11, libcoq-core-ocaml-sa2u3, libelpi-ocaml-di861, libstdlib-ocaml-0d647, libzarith-ocaml-mtsj7\n-Provides: libcoq-elpi-ei9y1\n+Provides: libcoq-elpi-izxb8\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.2.0/coq/user-contrib/elpi_examples/tutorial_coq_elpi_command.glob", "source2": "./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi_examples/tutorial_coq_elpi_command.glob", "unified_diff": "@@ -43,15 +43,15 @@\n constr 11490:11497 <> leaf'\n constr 11490:11497 <> node'\n mod 22573:22581 <> Notations\n R22609:22611 Coq.Init.Peano <> ::nat_scope:x_'>'_x not\n not 22593:22593 Notations :::x_'>>'_x\n def 22641:22641 Notations w\n R22653:22661 elpi_examples.tutorial_coq_elpi_command Notations <> mod\n-mod 24495:24510 <> Module51\n+mod 24495:24510 <> Module19\n R26174:26176 Coq.Init.Datatypes <> nat ind\n binder 26170:26170 <> n:7\n R26183:26185 Coq.Init.Peano <> ::nat_scope:x_'+'_x not\n R26182:26182 elpi_examples.tutorial_coq_elpi_command <> n:7 var\n R26174:26176 Coq.Init.Datatypes <> nat ind\n mod 26141:26150 <> Box\n mod 26141:26150 <> Box.Box\n"}, {"source1": "./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi_examples/tutorial_coq_elpi_command.vo", "source2": "./usr/lib/aarch64-linux-gnu/ocaml/5.2.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: 3193 e0a2 0502 7104 0441 9040 4004 0990  1.....q..A.@@...\n+00000930: 40a0 4040 9040 a0a0 284d 6f64 756c 6531  @.@@.@..(Module1\n+00000940: 3993 e0a2 0502 7104 0441 9040 4004 0990  9.....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@@ -8577,16 +8577,16 @@\n 00021800: b040 4040 a095 a002 044e ceb4 a005 02ee  .@@@.....N......\n 00021810: b090 0502 f005 02ef b040 4040 a095 a002  .........@@@....\n 00021820: 044e ceb4 a005 0270 b090 0502 7205 0271  .N.....p....r..q\n 00021830: b040 4040 a095 a002 044e ceb4 a005 020e  .@@@.....N......\n 00021840: b090 0502 1005 020f b040 4040 a095 a002  .........@@@....\n 00021850: 044e ceb4 a005 01d0 b090 0501 d205 01d1  .N..............\n 00021860: b040 4040 a095 a002 044e ceb4 a005 013a  .@@@.....N.....:\n-00021870: b090 0501 3c05 013b b040 4040 4025 cf85  ....<..;.@@@@%..\n-00021880: 1c82 ba8f 39e3 85a3 3108 5d98 df84 95a6  ....9...1.].....\n+00021870: b090 0501 3c05 013b b040 4040 40e9 ea22  ....<..;.@@@@..\"\n+00021880: 1fd9 7b0e c93d cb7c ee49 26b1 2384 95a6  ..{..=.|.I&.#...\n 00021890: be00 0000 0100 0000 0000 0000 0000 0000  ................\n 000218a0: 0080 6144 c86c d4a1 68cd 7049 5a5c c422  ..aD.l..h.pIZ\\.\"\n 000218b0: ade9 8495 a6be 0000 01c2 0000 0050 0000  .............P..\n 000218c0: 012e 0000 010c a0a0 3974 7574 6f72 6961  ........9tutoria\n 000218d0: 6c5f 636f 715f 656c 7069 5f63 6f6d 6d61  l_coq_elpi_comma\n 000218e0: 6e64 a02d 656c 7069 5f65 7861 6d70 6c65  nd.-elpi_example\n 000218f0: 7340 0800 0037 00c0 0925 2d00 028c 003d  s@...7...%-....=\n@@ -8613,16 +8613,16 @@\n 00021a40: 9098 b004 0841 48c0 2d2d 0003 8c2a 2b01  .....AH.--...*+.\n 00021a50: 010a 3700 2704 8021 2880 c004 1180 227c  ..7.'..!(.....\"|\n 00021a60: 9c90 98b0 0410 4148 c004 3580 2104 9094  ......AH..5.!...\n 00021a70: 9104 35c0 2b2d 0002 8c36 000a 3701 2703  ..5.+-...6..7.'.\n 00021a80: 8022 140c 9094 043a 5cb0 5c55 9f7b 34d6  .\".....:\\.\\U.{4.\n 00021a90: 4138 434c aecb aca0 0000 0004 0000 0007  A8CL............\n 00021aa0: 6c69 6272 6172 7900 0000 0000 0000 af00  library.........\n-00021ab0: 0000 0000 0217 ce25 cf85 1c82 ba8f 39e3  .......%......9.\n-00021ac0: 85a3 3108 5d98 df00 0000 076f 7061 7175  ..1.]......opaqu\n+00021ab0: 0000 0000 0217 cee9 ea22 1fd9 7b0e c93d  .........\"..{..=\n+00021ac0: cb7c ee49 26b1 2300 0000 076f 7061 7175  .|.I&.#....opaqu\n 00021ad0: 6573 0000 0000 0002 188d 0000 0000 0000  es..............\n 00021ae0: 0015 6144 c86c d4a1 68cd 7049 5a5c c422  ..aD.l..h.pIZ\\.\"\n 00021af0: ade9 0000 0007 7375 6d6d 6172 7900 0000  ......summary...\n 00021b00: 0000 0000 1000 0000 0000 0000 8fad 5b5f  ..............[_\n 00021b10: c699 4e03 2d18 bf5a 2922 0fd0 bf00 0000  ..N.-..Z)\"......\n 00021b20: 0976 6d6c 6962 7261 7279 0000 0000 0002  .vmlibrary......\n 00021b30: 18b2 0000 0000 0000 01d6 5cb0 5c55 9f7b  ..........\\.\\U.{\n"}, {"source1": "./var/lib/coq/md5sums/libcoq-elpi.checksum", "source2": "./var/lib/coq/md5sums/libcoq-elpi.checksum", "unified_diff": "@@ -1 +1 @@\n-ei9y1\n+izxb8\n"}]}]}]}]}