--- /srv/rebuilderd/tmp/rebuilderdFmK7uB/inputs/libcoq-elpi_3.5.0-1_arm64.deb +++ /srv/rebuilderd/tmp/rebuilderdFmK7uB/out/libcoq-elpi_3.5.0-1_arm64.deb ├── file list │ @@ -1,3 +1,3 @@ │ -rw-r--r-- 0 0 0 4 2026-07-27 18:06:15.000000 debian-binary │ -rw-r--r-- 0 0 0 11784 2026-07-27 18:06:15.000000 control.tar.xz │ --rw-r--r-- 0 0 0 13156580 2026-07-27 18:06:15.000000 data.tar.xz │ +-rw-r--r-- 0 0 0 13156108 2026-07-27 18:06:15.000000 data.tar.xz ├── control.tar.xz │ ├── control.tar │ │ ├── ./control │ │ │ @@ -1,15 +1,15 @@ │ │ │ Package: libcoq-elpi │ │ │ Source: coq-elpi │ │ │ Version: 3.5.0-1 │ │ │ Architecture: arm64 │ │ │ Maintainer: Debian OCaml Maintainers │ │ │ Installed-Size: 81014 │ │ │ Depends: libelpi-ocaml-dev, libcoq-stdlib-obyt6, libcoq-core-ocaml-ouss7, libelpi-ocaml-68aq1, libppx-deriving-ocaml-hoz23, libstdlib-ocaml-1ltp0, libzarith-ocaml-igxp5, libc6 (>= 2.42) │ │ │ -Provides: libcoq-elpi-wqcp9 │ │ │ +Provides: libcoq-elpi-ys2c8 │ │ │ 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.4.1/coq/user-contrib/elpi_examples/tutorial_coq_elpi_command.glob │ │ │ @@ -43,15 +43,15 @@ │ │ │ constr 11526:11533 <> leaf' │ │ │ constr 11526:11533 <> node' │ │ │ mod 22518:22526 <> Notations │ │ │ R22554:22556 Corelib.Init.Peano <> ::nat_scope:x_'>'_x not │ │ │ not 22538:22538 Notations :::x_'>>'_x │ │ │ def 22586:22586 Notations w │ │ │ R22598:22606 elpi_examples.tutorial_coq_elpi_command Notations <> mod │ │ │ -mod 24289:24304 <> Module80 │ │ │ +mod 24289:24304 <> Module34 │ │ │ R25953:25955 Corelib.Init.Datatypes <> nat ind │ │ │ binder 25949:25949 <> n:7 │ │ │ R25962:25964 Corelib.Init.Peano <> ::nat_scope:x_'+'_x not │ │ │ R25961:25961 elpi_examples.tutorial_coq_elpi_command <> n:7 var │ │ │ mod 25920:25929 <> Box │ │ │ mod 25920:25929 <> Box.Box │ │ │ mod 25920:25929 <> Box.Box.Box │ │ ├── ./usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/elpi_examples/tutorial_coq_elpi_command.vo │ │ │ @@ -132,15 +132,15 @@ │ │ │ 00000830: 041b 0486 b604 1a04 1904 6441 90b0 80a0 ..........dA.... │ │ │ 00000840: 0502 2c4a 90a0 9240 9004 cd40 4005 01ee ..,J...@...@@... │ │ │ 00000850: a0a0 294e 6f74 6174 696f 6e73 93d0 9041 ..)Notations...A │ │ │ 00000860: 90a0 a021 7790 0800 0027 0040 0502 3091 ...!w....'.@..0. │ │ │ 00000870: a905 020d 9005 01f4 0502 1840 90b0 80a0 ...........@.... │ │ │ 00000880: 0502 424b 9090 9240 4040 0502 0340 40b0 ..BK...@@@...@@. │ │ │ 00000890: a205 01b7 0415 4040 9040 a0a0 284d 6f64 ......@@.@..(Mod │ │ │ -000008a0: 756c 6538 3093 d090 4190 4040 b0a2 0501 ule80...A.@@.... │ │ │ +000008a0: 756c 6533 3493 d090 4190 4040 b0a2 0501 ule34...A.@@.... │ │ │ 000008b0: c104 0740 4090 40a0 a023 426f 7893 d090 ...@@.@..#Box... │ │ │ 000008c0: 4190 a0a0 0407 93d0 9041 90a0 a004 0d93 A........A...... │ │ │ 000008d0: d090 4190 a0a0 0413 93d0 9041 90a0 a023 ..A........A...# │ │ │ 000008e0: 666f 6f90 0800 0027 0040 0502 6491 b7a0 foo....'.@..d... │ │ │ 000008f0: 9021 6e40 0502 4ea9 9aa0 90b0 90a0 234e .!n@..N.......#N │ │ │ 00000900: 6174 0502 6323 6164 6402 0e51 2e11 0502 at..c#add..Q.... │ │ │ 00000910: 72a0 0502 5205 0234 b604 0e05 0259 0502 r...R..4.....Y.. │ │ │ @@ -39465,16 +39465,16 @@ │ │ │ 0009a280: b4a0 0505 5fa0 0505 5fc0 4040 4040 a096 ...._..._.@@@@.. │ │ │ 0009a290: a002 044e ceb4 a005 043c a005 043c c040 ...N.....<...<.@ │ │ │ 0009a2a0: 4040 40a0 96a0 0204 4ece b4a0 0501 baa0 @@@.....N....... │ │ │ 0009a2b0: 0501 bac0 4040 4040 4090 a096 a002 1b83 ....@@@@@....... │ │ │ 0009a2c0: 229d a090 a006 0002 6dcd 40a0 a022 7530 ".......m.@.."u0 │ │ │ 0009a2d0: 0600 026d be40 a096 a002 1b83 229d a090 ...m.@......"... │ │ │ 0009a2e0: a006 0002 6cdf 40a0 a004 0906 0002 6cd4 ....l.@.......l. │ │ │ -0009a2f0: 4040 7066 ed69 4ad9 d5e2 6780 e218 07ca @@pf.iJ...g..... │ │ │ -0009a300: 9ce2 8495 a6be 0000 0001 0000 0000 0000 ................ │ │ │ +0009a2f0: 4040 463a cd77 b043 db5b c48c 3ffa 7329 @@F:.w.C.[..?.s) │ │ │ +0009a300: a975 8495 a6be 0000 0001 0000 0000 0000 .u.............. │ │ │ 0009a310: 0000 0000 0000 8061 44c8 6cd4 a168 cd70 .......aD.l..h.p │ │ │ 0009a320: 495a 5cc4 22ad e984 95a6 be00 0001 bc00 IZ\."........... │ │ │ 0009a330: 0000 5400 0001 3500 0001 16a0 a039 7475 ..T...5......9tu │ │ │ 0009a340: 746f 7269 616c 5f63 6f71 5f65 6c70 695f torial_coq_elpi_ │ │ │ 0009a350: 636f 6d6d 616e 64a0 2d65 6c70 695f 6578 command.-elpi_ex │ │ │ 0009a360: 616d 706c 6573 4008 0000 3700 c009 252d amples@...7...%- │ │ │ 0009a370: 0002 8c00 3dfd 0102 0a0e 0350 0dfc f900 ....=......P.... │ │ │ @@ -39500,16 +39500,16 @@ │ │ │ 0009a4b0: 8022 7c9c 9098 b004 0841 48c0 040e 8022 ."|......AH...." │ │ │ 0009a4c0: 7c9c 9098 b004 0d41 48c0 0413 8022 7c9c |......AH...."|. │ │ │ 0009a4d0: 9098 b004 1241 48c0 0439 8021 0490 9491 .....AH..9.!.... │ │ │ 0009a4e0: 0439 c02b 2d00 028c 3600 0a37 0127 0380 .9.+-...6..7.'.. │ │ │ 0009a4f0: 2214 0c90 9404 3ec8 f6a7 c12c 0d79 d52c ".....>....,.y., │ │ │ 0009a500: 8584 3dd8 3c76 7500 0000 0400 0000 076c ..=.