--- /srv/reproducible-results/rbuild-debian/r-b-build.WGI2xGL2/b1/coq-elpi_2.2.3-1_amd64.changes +++ /srv/reproducible-results/rbuild-debian/r-b-build.WGI2xGL2/b2/coq-elpi_2.2.3-1_amd64.changes ├── Files │ @@ -1,3 +1,3 @@ │ │ 0c3384bf405054898e9a69c532cadd82 312464 debug optional libcoq-elpi-dbgsym_2.2.3-1_amd64.deb │ - 3597ce5bb0da47aca247440d70d6eac5 7592928 ocaml optional libcoq-elpi_2.2.3-1_amd64.deb │ + 7f4025bf2c52a3aaf259392dacef6a68 7591472 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 11108 2024-11-20 09:43:12.000000 control.tar.xz │ │ --rw-r--r-- 0 0 0 7581628 2024-11-20 09:43:12.000000 data.tar.xz │ │ +-rw-r--r-- 0 0 0 7580172 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-ajff6 │ │ │ │ +Provides: libcoq-elpi-vtgg4 │ │ │ │ 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 <> Module39 │ │ │ │ +mod 24495:24510 <> Module31 │ │ │ │ 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 │ │ │ │ @@ -142,15 +142,15 @@ │ │ │ │ 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 6533 @.@@.@..(Module3 │ │ │ │ -00000940: 3993 e0a2 0502 7104 0441 9040 4004 0990 9.....q..A.@@... │ │ │ │ +00000940: 3193 e0a2 0502 7104 0441 9040 4004 0990 1.....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 404b 98c2 ....<..;.@@@@K.. │ │ │ │ -00021880: 8224 38c1 76a1 849e 4975 8cc1 ec84 95a6 .$8.v...Iu...... │ │ │ │ +00021870: b090 0501 3c05 013b b040 4040 4013 bef8 ....<..;.@@@@... │ │ │ │ +00021880: 816f bc75 452f a0d9 ca88 aeca c284 95a6 .o.uE/.......... │ │ │ │ 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 ce4b 98c2 8224 38c1 76a1 .......K...$8.v. │ │ │ │ -00021ac0: 849e 4975 8cc1 ec00 0000 076f 7061 7175 ..Iu.......opaqu │ │ │ │ +00021ab0: 0000 0000 0217 ce13 bef8 816f bc75 452f ...........o.uE/ │ │ │ │ +00021ac0: a0d9 ca88 aeca c200 0000 076f 7061 7175 ...........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 8f31 f4b9 .............1.. │ │ │ │ 00021b10: ef29 135b c5de 5d29 23ae b34e 9d00 0000 .).[..])#..N.... │ │ │ │ 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 @@ │ │ │ │ -ajff6 │ │ │ │ +vtgg4