--- /srv/reproducible-results/rbuild-debian/r-b-build.vhEjciJp/b1/coq-elpi_2.2.3-1_amd64.changes +++ /srv/reproducible-results/rbuild-debian/r-b-build.vhEjciJp/b2/coq-elpi_2.2.3-1_amd64.changes ├── Files │ @@ -1,3 +1,3 @@ │ │ 63f7f139616e9236e0ba59dd72fcae28 313268 debug optional libcoq-elpi-dbgsym_2.2.3-1_amd64.deb │ - a9b82a856b657e280ac2c32a7d7a9d07 7587844 ocaml optional libcoq-elpi_2.2.3-1_amd64.deb │ + b36d85deb4d38a7a26d7ac7e28dc33bc 7593920 ocaml optional libcoq-elpi_2.2.3-1_amd64.deb ├── libcoq-elpi_2.2.3-1_amd64.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 11100 2024-11-20 09:43:12.000000 control.tar.xz │ │ --rw-r--r-- 0 0 0 7576552 2024-11-20 09:43:12.000000 data.tar.xz │ │ +-rw-r--r-- 0 0 0 7582628 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: amd64 │ │ │ │ Maintainer: Debian OCaml Maintainers │ │ │ │ Installed-Size: 28832 │ │ │ │ Depends: libelpi-ocaml-dev, libcoq-core-ocaml-dev (>= 8.17), libcoq-stdlib-p29e7, libcoq-core-ocaml-1ioh9, libelpi-ocaml-qi5w2, libstdlib-ocaml-7l663, libzarith-ocaml-mtsj7 │ │ │ │ -Provides: libcoq-elpi-3n701 │ │ │ │ +Provides: libcoq-elpi-gurw2 │ │ │ │ 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/x86_64-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 <> Module59 │ │ │ │ +mod 24495:24510 <> Module46 │ │ │ │ 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/x86_64-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 6535 @.@@.@..(Module5 │ │ │ │ -00000940: 3993 e0a2 0502 7104 0441 9040 4004 0990 9.....q..A.@@... │ │ │ │ +00000930: 40a0 4040 9040 a0a0 284d 6f64 756c 6534 @.@@.@..(Module4 │ │ │ │ +00000940: 3693 e0a2 0502 7104 0441 9040 4004 0990 6.....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 40bd e476 ....<..;.@@@@..v │ │ │ │ -00021880: 8358 cd6a 3328 a4b5 e9be 00e0 1384 95a6 .X.j3(.......... │ │ │ │ +00021870: b090 0501 3c05 013b b040 4040 4052 f70c ....<..;.@@@@R.. │ │ │ │ +00021880: 1e70 21fd 3156 b2c3 8df2 5191 7984 95a6 .p!.1V....Q.y... │ │ │ │ 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 cebd e476 8358 cd6a 3328 .........v.X.j3( │ │ │ │ -00021ac0: a4b5 e9be 00e0 1300 0000 076f 7061 7175 ...........opaqu │ │ │ │ +00021ab0: 0000 0000 0217 ce52 f70c 1e70 21fd 3156 .......R...p!.1V │ │ │ │ +00021ac0: b2c3 8df2 5191 7900 0000 076f 7061 7175 ....Q.y....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 8f0c 5b0e ..............[. │ │ │ │ 00021b10: f399 8730 ff2d a65b f6e2 83c5 f800 0000 ...0.-.[........ │ │ │ │ 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 @@ │ │ │ │ -3n701 │ │ │ │ +gurw2