--- /srv/reproducible-results/rbuild-debian/r-b-build.mvsEo2Ro/b1/coq-elpi_2.5.0-1_amd64.changes +++ /srv/reproducible-results/rbuild-debian/r-b-build.mvsEo2Ro/b2/coq-elpi_2.5.0-1_amd64.changes ├── Files │ @@ -1,3 +1,3 @@ │ │ 2e1b6d80fa58b71fb76c87cb52eee7fb 772144 debug optional libcoq-elpi-dbgsym_2.5.0-1_amd64.deb │ - d17f90a5db90efbba1e269608a986361 12305392 ocaml optional libcoq-elpi_2.5.0-1_amd64.deb │ + 497eb30a0bf2e574b6cef3e17cff0910 12304928 ocaml optional libcoq-elpi_2.5.0-1_amd64.deb ├── libcoq-elpi_2.5.0-1_amd64.deb │ ├── file list │ │ @@ -1,3 +1,3 @@ │ │ -rw-r--r-- 0 0 0 4 2025-03-12 07:06:26.000000 debian-binary │ │ -rw-r--r-- 0 0 0 12096 2025-03-12 07:06:26.000000 control.tar.xz │ │ --rw-r--r-- 0 0 0 12293104 2025-03-12 07:06:26.000000 data.tar.xz │ │ +-rw-r--r-- 0 0 0 12292640 2025-03-12 07:06:26.000000 data.tar.xz │ ├── control.tar.xz │ │ ├── control.tar │ │ │ ├── ./control │ │ │ │ @@ -1,15 +1,15 @@ │ │ │ │ Package: libcoq-elpi │ │ │ │ Source: coq-elpi │ │ │ │ Version: 2.5.0-1 │ │ │ │ Architecture: amd64 │ │ │ │ Maintainer: Debian OCaml Maintainers │ │ │ │ Installed-Size: 60986 │ │ │ │ Depends: libelpi-ocaml-dev, libcoq-core-ocaml-dev (>= 8.17), libcoq-stdlib-tgae0, libcoq-core-ocaml-at3u5, libelpi-ocaml-3aty1, libppx-deriving-ocaml-viv51, libstdlib-ocaml-fxjy5, libzarith-ocaml-f1se9 │ │ │ │ -Provides: libcoq-elpi-lhxz0 │ │ │ │ +Provides: libcoq-elpi-c0ci4 │ │ │ │ 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 │ │ │ ├── file list │ │ │ │ @@ -335,15 +335,15 @@ │ │ │ │ -rw-r--r-- 0 root (0) root (0) 21028 2025-03-12 07:06:26.000000 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/tutorial_coq_elpi_HOAS.v │ │ │ │ -rw-r--r-- 0 root (0) root (0) 342632 2025-03-12 07:06:26.000000 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/tutorial_coq_elpi_HOAS.vo │ │ │ │ -rw-r--r-- 0 root (0) root (0) 2635 2025-03-12 07:06:26.000000 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/tutorial_coq_elpi_command.glob │ │ │ │ -rw-r--r-- 0 root (0) root (0) 27518 2025-03-12 07:06:26.000000 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/tutorial_coq_elpi_command.v │ │ │ │ -rw-r--r-- 0 root (0) root (0) 501497 2025-03-12 07:06:26.000000 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/tutorial_coq_elpi_command.vo │ │ │ │ -rw-r--r-- 0 root (0) root (0) 10047 2025-03-12 07:06:26.000000 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/tutorial_coq_elpi_tactic.glob │ │ │ │ -rw-r--r-- 0 root (0) root (0) 29542 2025-03-12 07:06:26.000000 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/tutorial_coq_elpi_tactic.v │ │ │ │ --rw-r--r-- 0 root (0) root (0) 354396 2025-03-12 07:06:26.000000 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/tutorial_coq_elpi_tactic.vo │ │ │ │ +-rw-r--r-- 0 root (0) root (0) 354441 2025-03-12 07:06:26.000000 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/tutorial_coq_elpi_tactic.vo │ │ │ │ -rw-r--r-- 0 root (0) root (0) 105 2025-03-12 07:06:26.000000 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/tutorial_elpi_lang.glob │ │ │ │ -rw-r--r-- 0 root (0) root (0) 41015 2025-03-12 07:06:26.000000 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/tutorial_elpi_lang.v │ │ │ │ -rw-r--r-- 0 root (0) root (0) 85889 2025-03-12 07:06:26.000000 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/tutorial_elpi_lang.vo │ │ │ │ drwxr-xr-x 0 root (0) root (0) 0 2025-03-12 07:06:26.000000 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/ │ │ │ │ -rw-r--r-- 0 root (0) root (0) 1176 2025-03-12 07:06:26.000000 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/META │ │ │ │ drwxr-xr-x 0 root (0) root (0) 0 2025-03-12 07:06:26.000000 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/coercion/ │ │ │ │ -rw-r--r-- 0 root (0) root (0) 28310 2025-03-12 07:06:26.000000 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/coercion/elpi_coercion_plugin.a │ │ │ ├── ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/tutorial_coq_elpi_command.glob │ │ │ │ @@ -43,15 +43,15 @@ │ │ │ │ constr 11437:11444 <> leaf' │ │ │ │ constr 11437:11444 <> node' │ │ │ │ mod 22427:22435 <> Notations │ │ │ │ R22463:22465 Coq.Init.Peano <> ::nat_scope:x_'>'_x not │ │ │ │ not 22447:22447 Notations :::x_'>>'_x │ │ │ │ def 22495:22495 Notations w │ │ │ │ R22507:22515 elpi_examples.tutorial_coq_elpi_command Notations <> mod │ │ │ │ -mod 24304:24319 <> Module36 │ │ │ │ +mod 24304:24319 <> Module49 │ │ │ │ R25968:25970 Coq.Init.Datatypes <> nat ind │ │ │ │ binder 25964:25964 <> n:7 │ │ │ │ R25977:25979 Coq.Init.Peano <> ::nat_scope:x_'+'_x not │ │ │ │ R25976:25976 elpi_examples.tutorial_coq_elpi_command <> n:7 var │ │ │ │ R25968:25970 Coq.Init.Datatypes <> nat ind │ │ │ │ mod 25935:25944 <> Box │ │ │ │ mod 25935:25944 <> Box.Box │ │ │ ├── ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/tutorial_coq_elpi_command.vo │ │ │ │ @@ -138,15 +138,15 @@ │ │ │ │ 00000890: 048d b605 0108 0419 046d 4190 b080 a005 .........mA..... │ │ │ │ 000008a0: 0248 4a90 a092 4090 0457 4040 0501 ffa0 .HJ...@..W@@.... │ │ │ │ 000008b0: a029 4e6f 7461 7469 6f6e 7393 e0a2 0502 .)Notations..... │ │ │ │ 000008c0: 4d04 0441 90a0 a021 7790 0800 0027 0040 M..A...!w....'.@ │ │ │ │ 000008d0: 0502 4c91 a905 0229 9005 0205 0502 3440 ..L....)......4@ │ │ │ │ 000008e0: 90b0 80a0 0502 5e4b 9090 9240 4040 0502 ......^K...@@@.. │ │ │ │ 000008f0: 1440 40a0 4040 9040 a0a0 284d 6f64 756c .@@.@@.@..(Modul │ │ │ │ -00000900: 6533 3693 e0a2 0502 6404 0441 9040 4004 e36.....d..A.@@. │ │ │ │ +00000900: 6534 3993 e0a2 0502 6404 0441 9040 4004 e49.....d..A.@@. │ │ │ │ 00000910: 0990 40a0 a023 426f 7893 e0a2 0502 6c04 ..@..#Box.....l. │ │ │ │ 00000920: 0441 90a0 a004 0793 e0a2 0407 040a 4190 .A............A. │ │ │ │ 00000930: a0a0 040d 93e0 a204 0704 1041 90a0 a004 ...........A.... │ │ │ │ 00000940: 1393 e0a2 0407 0416 4190 a0a0 2366 6f6f ........A...#foo │ │ │ │ 00000950: 9008 0000 2700 4005 027d 91b7 a090 216e ....'.@..}....!n │ │ │ │ 00000960: 4005 0267 a99a a090 b090 a023 4e61 7405 @..g.......#Nat. │ │ │ │ 00000970: 027c 2361 6464 020c a38f 6005 028b a005 .|#add....`..... │ │ │ │ @@ -31292,16 +31292,16 @@ │ │ │ │ 0007a3b0: 4040 40a0 95a0 0204 4ece b4a0 0508 2ab0 @@@.....N.....*. │ │ │ │ 0007a3c0: 9005 082c 0508 2bb0 4040 40a0 95a0 0204 ...,..+.@@@..... │ │ │ │ 0007a3d0: 4ece b4a0 0507 59b0 9005 075b 0507 5ab0 N.....Y....[..Z. │ │ │ │ 0007a3e0: 4040 40a0 95a0 0204 4ece b4a0 0505 aeb0 @@@.....N....... │ │ │ │ 0007a3f0: 9005 05b0 0505 afb0 4040 40a0 95a0 0204 ........@@@..... │ │ │ │ 0007a400: 4ece b4a0 0505 26b0 9005 0528 0505 27b0 N.....&....(..'. │ │ │ │ 0007a410: 4040 40a0 95a0 0204 4ece b4a0 0503 93b0 @@@.....N....... │ │ │ │ -0007a420: 9005 0395 0503 94b0 4040 4040 581c 1d03 ........@@@@X... │ │ │ │ -0007a430: 2457 81c6 965e bb64 b733 146a 8495 a6be $W...^.d.3.j.... │ │ │ │ +0007a420: 9005 0395 0503 94b0 4040 4040 7841 4ef6 ........@@@@xAN. │ │ │ │ +0007a430: 7c43 664b 5b2b 8337 7289 e660 8495 a6be |CfK[+.7r..`.... │ │ │ │ 0007a440: 0000 0001 0000 0000 0000 0000 0000 0000 ................ │ │ │ │ 0007a450: 8061 44c8 6cd4 a168 cd70 495a 5cc4 22ad .aD.l..h.pIZ\.". │ │ │ │ 0007a460: e984 95a6 be00 0001 c200 0000 5000 0001 ............P... │ │ │ │ 0007a470: 2e00 0001 0ca0 a039 7475 746f 7269 616c .......9tutorial │ │ │ │ 0007a480: 5f63 6f71 5f65 6c70 695f 636f 6d6d 616e _coq_elpi_comman │ │ │ │ 0007a490: 64a0 2d65 6c70 695f 6578 616d 706c 6573 d.-elpi_examples │ │ │ │ 0007a4a0: 4008 0000 3700 c009 252d 0002 8c00 3dfd @...7...%-....=. │ │ │ │ @@ -31328,16 +31328,16 @@ │ │ │ │ 0007a5f0: 98b0 0408 4148 c02d 2d00 038c 2a2b 0101 ....AH.--...*+.. │ │ │ │ 0007a600: 0a37 0027 0480 2128 80c0 0411 8022 7c9c .7.'..!(....."|. │ │ │ │ 0007a610: 9098 b004 1041 48c0 0435 8021 0490 9491 .....AH..5.!.... │ │ │ │ 0007a620: 0435 c02b 2d00 028c 3600 0a37 0127 0380 .5.+-...6..7.'.. │ │ │ │ 0007a630: 2214 0c90 9404 3a5c b05c 559f 7b34 d641 ".....:\.\U.{4.A │ │ │ │ 0007a640: 3843 4cae cbac a000 0000 0400 0000 076c 8CL............l │ │ │ │ 0007a650: 6962 7261 7279 0000 0000 0000 00af 0000 ibrary.......... │ │ │ │ -0007a660: 0000 0007 a37d 581c 1d03 2457 81c6 965e .....}X...$W...^ │ │ │ │ -0007a670: bb64 b733 146a 0000 0007 6f70 6171 7565 .d.3.j....opaque │ │ │ │ +0007a660: 0000 0007 a37d 7841 4ef6 7c43 664b 5b2b .....}xAN.|CfK[+ │ │ │ │ +0007a670: 8337 7289 e660 0000 0007 6f70 6171 7565 .7r..`....opaque │ │ │ │ 0007a680: 7300 0000 0000 07a4 3c00 0000 0000 0000 s.......<....... │ │ │ │ 0007a690: 1561 44c8 6cd4 a168 cd70 495a 5cc4 22ad .aD.l..h.pIZ\.". │ │ │ │ 0007a6a0: e900 0000 0773 756d 6d61 7279 0000 0000 .....summary.... │ │ │ │ 0007a6b0: 0000 0010 0000 0000 0000 008f 7325 6964 ............s%id │ │ │ │ 0007a6c0: c409 af40 9f44 9764 1623 87b8 0000 0009 ...@.D.d.#...... │ │ │ │ 0007a6d0: 766d 6c69 6272 6172 7900 0000 0000 07a4 vmlibrary....... │ │ │ │ 0007a6e0: 6100 0000 0000 0001 d65c b05c 559f 7b34 a........\.\U.{4 │ │ │ ├── ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/tutorial_coq_elpi_tactic.vo │ │ │ │ @@ -1,8 +1,8 @@ │ │ │ │ -00000000: 436f 7121 0001 4050 0000 0000 0005 67aa Coq!..@P......g. │ │ │ │ +00000000: 436f 7121 0001 4050 0000 0000 0005 67d7 Coq!..@P......g. │ │ │ │ 00000010: 8495 a6be 0000 00a5 0000 0020 0000 0070 ........... ...p │ │ │ │ 00000020: 0000 005e c0a0 3874 7574 6f72 6961 6c5f ...^..8tutorial_ │ │ │ │ 00000030: 636f 715f 656c 7069 5f74 6163 7469 63a0 coq_elpi_tactic. │ │ │ │ 00000040: 2d65 6c70 695f 6578 616d 706c 6573 40b0 -elpi_examples@. │ │ │ │ 00000050: a0a0 2750 7265 6c75 6465 a024 496e 6974 ..'Prelude.$Init │ │ │ │ 00000060: a023 436f 7140 9030 6324 bee9 c426 29af .#Coq@.0c$...&). │ │ │ │ 00000070: 4a8e 60dc 9d6f 8d2b a0a0 2465 6c70 69a0 J.`..o.+..$elpi. │ │ │ │ @@ -22123,28 +22123,31 @@ │ │ │ │ 000566a0: 0437 0454 90a0 0413 0456 90a0 0453 0458 .7.T.....V...S.X │ │ │ │ 000566b0: 90a0 0455 045a 90a0 b704 3104 4fb7 042e ...U.Z....1.O... │ │ │ │ 000566c0: 0450 b704 2404 26b7 0419 0427 a904 42c0 .P..$.&....'..B. │ │ │ │ 000566d0: 0416 a904 4fa0 0426 0418 042b a904 46c0 ....O..&...+..F. │ │ │ │ 000566e0: 0428 041a 0449 042d 0466 90a0 b704 3d04 .(...I.-.f....=. │ │ │ │ 000566f0: 5bb7 0436 044d 044d 046a 28ab ad33 1204 [..6.M.M.j(..3.. │ │ │ │ 00056700: 8d2f 6ea9 6e7e dcca 9602 8495 a6be 0000 ./n.n~.......... │ │ │ │ -00056710: 007c 0000 0043 0000 009f 0000 009a a0a0 .|...C.......... │ │ │ │ +00056710: 00a9 0000 0071 0000 00fb 0000 00f6 a0a0 .....q.......... │ │ │ │ 00056720: 3874 7574 6f72 6961 6c5f 636f 715f 656c 8tutorial_coq_el │ │ │ │ 00056730: 7069 5f74 6163 7469 63a0 2d65 6c70 695f pi_tactic.-elpi_ │ │ │ │ 00056740: 6578 616d 706c 6573 40b0 c023 3600 8c80 examples@..#6... │ │ │ │ 00056750: 2104 9094 9191 9191 9191 9191 9191 9191 !............... │ │ │ │ 00056760: 9191 9191 9191 9191 9191 9191 9191 9191 ................ │ │ │ │ 00056770: 9191 9191 9191 9191 9191 9191 9191 9191 ................ │ │ │ │ 00056780: 9191 40c0 0433 8021 0490 94a1 4140 c004 ..@..3.!....A@.. │ │ │ │ -00056790: 3880 2104 9094 a104 3840 11f9 d551 ce3e 8.!.....8@...Q.> │ │ │ │ -000567a0: a396 da41 25de 04fe 571b 0000 0004 0000 ...A%...W....... │ │ │ │ -000567b0: 0007 6c69 6272 6172 7900 0000 0000 0000 ..library....... │ │ │ │ -000567c0: d900 0000 0000 0564 52d5 5516 90f9 9e50 .......dR.U....P │ │ │ │ -000567d0: 28c8 fbf8 bdab 00f6 d800 0000 076f 7061 (............opa │ │ │ │ -000567e0: 7175 6573 0000 0000 0005 653b 0000 0000 ques......e;.... │ │ │ │ -000567f0: 0000 01bf 28ab ad33 1204 8d2f 6ea9 6e7e ....(..3.../n.n~ │ │ │ │ -00056800: dcca 9602 0000 0007 7375 6d6d 6172 7900 ........summary. │ │ │ │ -00056810: 0000 0000 0000 1000 0000 0000 0000 b90d ................ │ │ │ │ -00056820: 6299 fc0f 0051 a7c4 d9b2 39b2 8c0d a500 b....Q....9..... │ │ │ │ -00056830: 0000 0976 6d6c 6962 7261 7279 0000 0000 ...vmlibrary.... │ │ │ │ -00056840: 0005 670a 0000 0000 0000 0090 11f9 d551 ..g............Q │ │ │ │ -00056850: ce3e a396 da41 25de 04fe 571b .>...A%...W. │ │ │ │ +00056790: 3880 2104 9094 a191 9191 9191 9191 9191 8.!............. │ │ │ │ +000567a0: 9191 9191 9191 9191 9191 9191 9191 9191 ................ │ │ │ │ +000567b0: 9191 9191 9191 9191 9191 9191 9191 9191 ................ │ │ │ │ +000567c0: 9191 9191 9140 4029 1415 c93e cda9 760f .....@@)...>..v. │ │ │ │ +000567d0: b26e 7b47 2cfe 0f00 0000 0400 0000 076c .n{G,..........l │ │ │ │ +000567e0: 6962 7261 7279 0000 0000 0000 00d9 0000 ibrary.......... │ │ │ │ +000567f0: 0000 0005 6452 d555 1690 f99e 5028 c8fb ....dR.U....P(.. │ │ │ │ +00056800: f8bd ab00 f6d8 0000 0007 6f70 6171 7565 ..........opaque │ │ │ │ +00056810: 7300 0000 0000 0565 3b00 0000 0000 0001 s......e;....... │ │ │ │ +00056820: bf28 abad 3312 048d 2f6e a96e 7edc ca96 .(..3.../n.n~... │ │ │ │ +00056830: 0200 0000 0773 756d 6d61 7279 0000 0000 .....summary.... │ │ │ │ +00056840: 0000 0010 0000 0000 0000 00b9 0d62 99fc .............b.. │ │ │ │ +00056850: 0f00 51a7 c4d9 b239 b28c 0da5 0000 0009 ..Q....9........ │ │ │ │ +00056860: 766d 6c69 6272 6172 7900 0000 0000 0567 vmlibrary......g │ │ │ │ +00056870: 0a00 0000 0000 0000 bd29 1415 c93e cda9 .........)...>.. │ │ │ │ +00056880: 760f b26e 7b47 2cfe 0f v..n{G,.. │ │ │ ├── ./var/lib/coq/md5sums/libcoq-elpi.checksum │ │ │ │ @@ -1 +1 @@ │ │ │ │ -lhxz0 │ │ │ │ +c0ci4