--- /srv/rebuilderd/tmp/rebuilderdFrC4E1/inputs/libcoq-elpi_3.4.0-1_arm64.deb +++ /srv/rebuilderd/tmp/rebuilderdFrC4E1/out/libcoq-elpi_3.4.0-1_arm64.deb ├── file list │ @@ -1,3 +1,3 @@ │ -rw-r--r-- 0 0 0 4 2026-07-10 10:58:14.000000 debian-binary │ --rw-r--r-- 0 0 0 11796 2026-07-10 10:58:14.000000 control.tar.xz │ --rw-r--r-- 0 0 0 13483260 2026-07-10 10:58:14.000000 data.tar.xz │ +-rw-r--r-- 0 0 0 11792 2026-07-10 10:58:14.000000 control.tar.xz │ +-rw-r--r-- 0 0 0 13479180 2026-07-10 10:58:14.000000 data.tar.xz ├── control.tar.xz │ ├── control.tar │ │ ├── ./control │ │ │ @@ -1,15 +1,15 @@ │ │ │ Package: libcoq-elpi │ │ │ Source: coq-elpi │ │ │ Version: 3.4.0-1 │ │ │ Architecture: arm64 │ │ │ Maintainer: Debian OCaml Maintainers │ │ │ Installed-Size: 80931 │ │ │ Depends: libelpi-ocaml-dev, libcoq-stdlib-t06o5, libcoq-core-ocaml-ob8s8, libelpi-ocaml-apmi5, libppx-deriving-ocaml-wjuv3, libstdlib-ocaml-1ltp0, libzarith-ocaml-igxp5, libc6 (>= 2.42) │ │ │ -Provides: libcoq-elpi-bkuw5 │ │ │ +Provides: libcoq-elpi-7fc39 │ │ │ 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 <> Module21 │ │ │ +mod 24289:24304 <> Module73 │ │ │ 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 6532 3193 d090 4190 4040 b0a2 0501 ule21...A.@@.... │ │ │ +000008a0: 756c 6537 3393 d090 4190 4040 b0a2 0501 ule73...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.. │ │ │ @@ -33509,16 +33509,16 @@ │ │ │ 00082e40: 0204 4ece b4a0 0505 5fa0 0505 5fc0 4040 ..N....._..._.@@ │ │ │ 00082e50: 4040 a096 a002 044e ceb4 a005 043c a005 @@.....N.....<.. │ │ │ 00082e60: 043c c040 4040 40a0 96a0 0204 4ece b4a0 .<.@@@@.....N... │ │ │ 00082e70: 0501 baa0 0501 bac0 4040 4040 4090 a096 ........@@@@@... │ │ │ 00082e80: a002 1b83 229d a090 a006 0002 1cb1 40a0 ....".........@. │ │ │ 00082e90: a022 7530 0600 021c a240 a096 a002 1b83 ."u0.....@...... │ │ │ 00082ea0: 229d a090 a006 0002 1bc3 40a0 a004 0906 ".........@..... │ │ │ -00082eb0: 0002 1bb8 4040 eb82 bf34 c3c3 b979 8691 ....@@...4...y.. │ │ │ -00082ec0: c473 37f7 433e 8495 a6be 0000 0001 0000 .s7.C>.......... │ │ │ +00082eb0: 0002 1bb8 4040 7230 a95e bdc9 6fb1 0e84 ....@@r0.^..o... │ │ │ +00082ec0: fcdc aaf9 e79a 8495 a6be 0000 0001 0000 ................ │ │ │ 00082ed0: 0000 0000 0000 0000 0000 8061 44c8 6cd4 ...........aD.l. │ │ │ 00082ee0: a168 cd70 495a 5cc4 22ad e984 95a6 be00 .h.pIZ\."....... │ │ │ 00082ef0: 0001 bc00 0000 5400 0001 3500 0001 16a0 ......T...5..... │ │ │ 00082f00: a039 7475 746f 7269 616c 5f63 6f71 5f65 .9tutorial_coq_e │ │ │ 00082f10: 6c70 695f 636f 6d6d 616e 64a0 2d65 6c70 lpi_command.-elp │ │ │ 00082f20: 695f 6578 616d 706c 6573 4008 0000 3700 i_examples@...7. │ │ │ 00082f30: c009 252d 0002 8c00 3dfd 0102 0a0e 0350 ..%-....=......P │ │ │ @@ -33544,16 +33544,16 @@ │ │ │ 00083070: 48c0 0409 8022 7c9c 9098 b004 0841 48c0 H...."|......AH. │ │ │ 00083080: 040e 8022 7c9c 9098 b004 0d41 48c0 0413 ..."|......AH... │ │ │ 00083090: 8022 7c9c 9098 b004 1241 48c0 0439 8021 ."|......AH..9.! │ │ │ 000830a0: 0490 9491 0439 c02b 2d00 028c 3600 0a37 .....9.+-...6..7 │ │ │ 000830b0: 0127 0380 2214 0c90 9404 3ec8 f6a7 c12c .'..".....>...., │ │ │ 000830c0: 0d79 d52c 8584 3dd8 3c76 7500 0000 0400 .y.,..=.....op │ │ │ +000830e0: 00b3 0000 0000 0008 2e03 7230 a95e bdc9 ..........r0.^.. │ │ │ +000830f0: 6fb1 0e84 fcdc aaf9 e79a 0000 0007 6f70 o.............op │ │ │ 00083100: 6171 7565 7300 0000 0000 082e c600 0000 aques........... │ │ │ 00083110: 0000 0000 1561 44c8 6cd4 a168 cd70 495a .....aD.l..h.pIZ │ │ │ 00083120: 5cc4 22ad e900 0000 0773 756d 6d61 7279 \."......summary │ │ │ 00083130: 0000 0000 0000 0010 0000 0000 0000 0093 ................ │ │ │ 00083140: 644e 6a49 dae8 37db f0b8 9737 59a6 eb30 dNjI..7....7Y..0 │ │ │ 00083150: 0000 0009 766d 6c69 6272 6172 7900 0000 ....vmlibrary... │ │ │ 00083160: 0000 082e eb00 0000 0000 0001 d0c8 f6a7 ................ │ │ ├── ./var/lib/coq/md5sums/libcoq-elpi.checksum │ │ │ @@ -1 +1 @@ │ │ │ -bkuw5 │ │ │ +7fc39