--- /srv/reproducible-results/rbuild-debian/r-b-build.H2AzX3Al/b1/coq-elpi_2.2.3-1_arm64.changes +++ /srv/reproducible-results/rbuild-debian/r-b-build.H2AzX3Al/b2/coq-elpi_2.2.3-1_arm64.changes ├── Files │ @@ -1,3 +1,3 @@ │ │ 873ce277f12413cdfcb754661cda55ea 299024 debug optional libcoq-elpi-dbgsym_2.2.3-1_arm64.deb │ - 25544214131ce1087b90f6051fc71f80 7969836 ocaml optional libcoq-elpi_2.2.3-1_arm64.deb │ + d7f2f1e6f7539ed5d03abb42a5c57e3a 7969728 ocaml optional libcoq-elpi_2.2.3-1_arm64.deb ├── libcoq-elpi_2.2.3-1_arm64.deb │ ├── file list │ │ @@ -1,3 +1,3 @@ │ │ -rw-r--r-- 0 0 0 4 2024-11-20 09:43:12.000000 debian-binary │ │ --rw-r--r-- 0 0 0 11120 2024-11-20 09:43:12.000000 control.tar.xz │ │ --rw-r--r-- 0 0 0 7958524 2024-11-20 09:43:12.000000 data.tar.xz │ │ +-rw-r--r-- 0 0 0 11124 2024-11-20 09:43:12.000000 control.tar.xz │ │ +-rw-r--r-- 0 0 0 7958412 2024-11-20 09:43:12.000000 data.tar.xz │ ├── control.tar.xz │ │ ├── control.tar │ │ │ ├── ./control │ │ │ │ @@ -1,15 +1,15 @@ │ │ │ │ Package: libcoq-elpi │ │ │ │ Source: coq-elpi │ │ │ │ Version: 2.2.3-1 │ │ │ │ Architecture: arm64 │ │ │ │ Maintainer: Debian OCaml Maintainers │ │ │ │ Installed-Size: 31380 │ │ │ │ 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 │ │ │ │ -Provides: libcoq-elpi-thlp7 │ │ │ │ +Provides: libcoq-elpi-4fkt8 │ │ │ │ Section: ocaml │ │ │ │ Priority: optional │ │ │ │ Homepage: https://github.com/LPCIC/coq-elpi │ │ │ │ Description: Coq plugin embedding Elpi │ │ │ │ This package makes it possible to define new commands and tactics │ │ │ │ for Coq in Elpi. │ │ │ │ . │ │ │ ├── ./md5sums │ │ │ │ ├── ./md5sums │ │ │ │ │┄ Files differ │ ├── data.tar.xz │ │ ├── data.tar │ │ │ ├── ./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi_examples/tutorial_coq_elpi_command.glob │ │ │ │ @@ -43,15 +43,15 @@ │ │ │ │ constr 11490:11497 <> leaf' │ │ │ │ constr 11490:11497 <> node' │ │ │ │ mod 22573:22581 <> Notations │ │ │ │ R22609:22611 Coq.Init.Peano <> ::nat_scope:x_'>'_x not │ │ │ │ not 22593:22593 Notations :::x_'>>'_x │ │ │ │ def 22641:22641 Notations w │ │ │ │ R22653:22661 elpi_examples.tutorial_coq_elpi_command Notations <> mod │ │ │ │ -mod 24495:24510 <> Module18 │ │ │ │ +mod 24495:24510 <> Module20 │ │ │ │ R26174:26176 Coq.Init.Datatypes <> nat ind │ │ │ │ binder 26170:26170 <> n:7 │ │ │ │ R26183:26185 Coq.Init.Peano <> ::nat_scope:x_'+'_x not │ │ │ │ R26182:26182 elpi_examples.tutorial_coq_elpi_command <> n:7 var │ │ │ │ R26174:26176 Coq.Init.Datatypes <> nat ind │ │ │ │ mod 26141:26150 <> Box │ │ │ │ mod 26141:26150 <> Box.Box │ │ │ ├── ./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi_examples/tutorial_coq_elpi_command.vo │ │ │ │ @@ -141,16 +141,16 @@ │ │ │ │ 000008c0: d405 01d1 b605 0195 041a b605 0109 048d ................ │ │ │ │ 000008d0: b605 0108 0419 046d 4190 b080 a005 0255 .......mA......U │ │ │ │ 000008e0: 4a90 a092 4090 0457 4040 0502 0ca0 a029 J...@..W@@.....) │ │ │ │ 000008f0: 4e6f 7461 7469 6f6e 7393 e0a2 0502 5a04 Notations.....Z. │ │ │ │ 00000900: 0441 90a0 a021 7790 0800 0027 0040 0502 .A...!w....'.@.. │ │ │ │ 00000910: 5991 a905 0236 9005 0205 0502 4140 90b0 Y....6......A@.. │ │ │ │ 00000920: 80a0 0502 6b4b 9090 9240 4040 0502 2140 ....kK...@@@..!@ │ │ │ │ -00000930: 40a0 4040 9040 a0a0 284d 6f64 756c 6531 @.@@.@..(Module1 │ │ │ │ -00000940: 3893 e0a2 0502 7104 0441 9040 4004 0990 8.....q..A.@@... │ │ │ │ +00000930: 40a0 4040 9040 a0a0 284d 6f64 756c 6532 @.@@.@..(Module2 │ │ │ │ +00000940: 3093 e0a2 0502 7104 0441 9040 4004 0990 0.....q..A.@@... │ │ │ │ 00000950: 40a0 a023 426f 7893 e0a2 0502 7904 0441 @..#Box.....y..A │ │ │ │ 00000960: 90a0 a004 0793 e0a2 0407 040a 4190 a0a0 ............A... │ │ │ │ 00000970: 040d 93e0 a204 0704 1041 90a0 a004 1393 .........A...... │ │ │ │ 00000980: e0a2 0407 0416 4190 a0a0 2366 6f6f 9008 ......A...#foo.. │ │ │ │ 00000990: 0000 2700 4005 028a 91b7 a090 216e 4005 ..'.@.......!n@. │ │ │ │ 000009a0: 0274 a99a a090 b090 a023 4e61 7405 0289 .t.......#Nat... │ │ │ │ 000009b0: 2361 6464 020c a38f 6005 0298 a005 0278 #add....`......x │ │ │ │ @@ -8577,16 +8577,16 @@ │ │ │ │ 00021800: b040 4040 a095 a002 044e ceb4 a005 02ee .@@@.....N...... │ │ │ │ 00021810: b090 0502 f005 02ef b040 4040 a095 a002 .........@@@.... │ │ │ │ 00021820: 044e ceb4 a005 0270 b090 0502 7205 0271 .N.....p....r..q │ │ │ │ 00021830: b040 4040 a095 a002 044e ceb4 a005 020e .@@@.....N...... │ │ │ │ 00021840: b090 0502 1005 020f b040 4040 a095 a002 .........@@@.... │ │ │ │ 00021850: 044e ceb4 a005 01d0 b090 0501 d205 01d1 .N.............. │ │ │ │ 00021860: b040 4040 a095 a002 044e ceb4 a005 013a .@@@.....N.....: │ │ │ │ -00021870: b090 0501 3c05 013b b040 4040 4034 e785 ....<..;.@@@@4.. │ │ │ │ -00021880: 31ba bd06 08eb 9cea 051c 06a9 3484 95a6 1...........4... │ │ │ │ +00021870: b090 0501 3c05 013b b040 4040 40c5 44c3 ....<..;.@@@@.D. │ │ │ │ +00021880: 1fd9 5197 fe5a 714d 3e46 2b35 8f84 95a6 ..Q..ZqM>F+5.... │ │ │ │ 00021890: be00 0000 0100 0000 0000 0000 0000 0000 ................ │ │ │ │ 000218a0: 0080 6144 c86c d4a1 68cd 7049 5a5c c422 ..aD.l..h.pIZ\." │ │ │ │ 000218b0: ade9 8495 a6be 0000 01c2 0000 0050 0000 .............P.. │ │ │ │ 000218c0: 012e 0000 010c a0a0 3974 7574 6f72 6961 ........9tutoria │ │ │ │ 000218d0: 6c5f 636f 715f 656c 7069 5f63 6f6d 6d61 l_coq_elpi_comma │ │ │ │ 000218e0: 6e64 a02d 656c 7069 5f65 7861 6d70 6c65 nd.-elpi_example │ │ │ │ 000218f0: 7340 0800 0037 00c0 0925 2d00 028c 003d s@...7...%-....= │ │ │ │ @@ -8613,16 +8613,16 @@ │ │ │ │ 00021a40: 9098 b004 0841 48c0 2d2d 0003 8c2a 2b01 .....AH.--...*+. │ │ │ │ 00021a50: 010a 3700 2704 8021 2880 c004 1180 227c ..7.'..!(....."| │ │ │ │ 00021a60: 9c90 98b0 0410 4148 c004 3580 2104 9094 ......AH..5.!... │ │ │ │ 00021a70: 9104 35c0 2b2d 0002 8c36 000a 3701 2703 ..5.+-...6..7.'. │ │ │ │ 00021a80: 8022 140c 9094 043a 5cb0 5c55 9f7b 34d6 .".....:\.\U.{4. │ │ │ │ 00021a90: 4138 434c aecb aca0 0000 0004 0000 0007 A8CL............ │ │ │ │ 00021aa0: 6c69 6272 6172 7900 0000 0000 0000 af00 library......... │ │ │ │ -00021ab0: 0000 0000 0217 ce34 e785 31ba bd06 08eb .......4..1..... │ │ │ │ -00021ac0: 9cea 051c 06a9 3400 0000 076f 7061 7175 ......4....opaqu │ │ │ │ +00021ab0: 0000 0000 0217 cec5 44c3 1fd9 5197 fe5a ........D...Q..Z │ │ │ │ +00021ac0: 714d 3e46 2b35 8f00 0000 076f 7061 7175 qM>F+5.....opaqu │ │ │ │ 00021ad0: 6573 0000 0000 0002 188d 0000 0000 0000 es.............. │ │ │ │ 00021ae0: 0015 6144 c86c d4a1 68cd 7049 5a5c c422 ..aD.l..h.pIZ\." │ │ │ │ 00021af0: ade9 0000 0007 7375 6d6d 6172 7900 0000 ......summary... │ │ │ │ 00021b00: 0000 0000 1000 0000 0000 0000 8f53 9b76 .............S.v │ │ │ │ 00021b10: 852a 3ea6 a7a4 6a6c dcc2 9804 5800 0000 .*>...jl....X... │ │ │ │ 00021b20: 0976 6d6c 6962 7261 7279 0000 0000 0002 .vmlibrary...... │ │ │ │ 00021b30: 18b2 0000 0000 0000 01d6 5cb0 5c55 9f7b ..........\.\U.{ │ │ │ ├── ./var/lib/coq/md5sums/libcoq-elpi.checksum │ │ │ │ @@ -1 +1 @@ │ │ │ │ -thlp7 │ │ │ │ +4fkt8