--- /srv/rebuilderd/tmp/rebuilderd6hFwXJ/inputs/libcoq-elpi_3.2.0-3+b1_arm64.deb +++ /srv/rebuilderd/tmp/rebuilderd6hFwXJ/out/libcoq-elpi_3.2.0-3+b1_arm64.deb ├── file list │ @@ -1,3 +1,3 @@ │ -rw-r--r-- 0 0 0 4 2026-02-15 15:41:08.000000 debian-binary │ -rw-r--r-- 0 0 0 12504 2026-02-15 15:41:08.000000 control.tar.xz │ --rw-r--r-- 0 0 0 17204072 2026-02-15 15:41:08.000000 data.tar.xz │ +-rw-r--r-- 0 0 0 17202484 2026-02-15 15:41:08.000000 data.tar.xz ├── control.tar.xz │ ├── control.tar │ │ ├── ./control │ │ │ @@ -1,15 +1,15 @@ │ │ │ Package: libcoq-elpi │ │ │ Source: coq-elpi (3.2.0-3) │ │ │ Version: 3.2.0-3+b1 │ │ │ Architecture: arm64 │ │ │ Maintainer: Debian OCaml Maintainers │ │ │ Installed-Size: 110159 │ │ │ Depends: libelpi-ocaml-dev, libcoq-stdlib-8r7o9, libcoq-core-ocaml-da6q4, libelpi-ocaml-cmnv3, libppx-deriving-ocaml-gkms3, libstdlib-ocaml-kjuo1, libzarith-ocaml-0x2c5, libc6 (>= 2.42) │ │ │ -Provides: libcoq-elpi-s5593 │ │ │ +Provides: libcoq-elpi-ocg25 │ │ │ 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.0/coq/user-contrib/elpi_examples/tutorial_coq_elpi_command.glob │ │ │ @@ -43,15 +43,15 @@ │ │ │ constr 11526:11533 <> leaf' │ │ │ constr 11526:11533 <> node' │ │ │ mod 22515:22523 <> Notations │ │ │ R22551:22553 Corelib.Init.Peano <> ::nat_scope:x_'>'_x not │ │ │ not 22535:22535 Notations :::x_'>>'_x │ │ │ def 22583:22583 Notations w │ │ │ R22595:22603 elpi_examples.tutorial_coq_elpi_command Notations <> mod │ │ │ -mod 24392:24407 <> Module63 │ │ │ +mod 24392:24407 <> Module56 │ │ │ R26056:26058 Corelib.Init.Datatypes <> nat ind │ │ │ binder 26052:26052 <> n:7 │ │ │ R26065:26067 Corelib.Init.Peano <> ::nat_scope:x_'+'_x not │ │ │ R26064:26064 elpi_examples.tutorial_coq_elpi_command <> n:7 var │ │ │ R26056:26058 Corelib.Init.Datatypes <> nat ind │ │ │ mod 26023:26032 <> Box │ │ │ mod 26023:26032 <> Box.Box │ │ ├── ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi_examples/tutorial_coq_elpi_command.vo │ │ │ @@ -134,15 +134,15 @@ │ │ │ 00000850: 8ab6 0501 0004 1904 6a41 90b0 80a0 0502 ........jA...... │ │ │ 00000860: 2e4a 90a0 9240 9004 cf40 4005 01f0 a0a0 .J...@...@@..... │ │ │ 00000870: 294e 6f74 6174 696f 6e73 93d0 9041 90a0 )Notations...A.. │ │ │ 00000880: a021 7790 0800 0027 0040 0502 3291 a905 .!w....'.@..2... │ │ │ 00000890: 020f 9005 01f6 0502 1a40 90b0 80a0 0502 .........@...... │ │ │ 000008a0: 444b 9090 9240 4040 0502 0540 40b0 a205 DK...@@@...@@... │ │ │ 000008b0: 01b9 0415 4040 9040 a0a0 284d 6f64 756c ....@@.@..(Modul │ │ │ -000008c0: 6536 3393 d090 4190 4040 b0a2 0501 c304 e63...A.@@...... │ │ │ +000008c0: 6535 3693 d090 4190 4040 b0a2 0501 c304 e56...A.@@...... │ │ │ 000008d0: 0740 4090 40a0 a023 426f 7893 d090 4190 .@@.@..#Box...A. │ │ │ 000008e0: a0a0 0407 93d0 9041 90a0 a004 0d93 d090 .......A........ │ │ │ 000008f0: 4190 a0a0 0413 93d0 9041 90a0 a023 666f A........A...#fo │ │ │ 00000900: 6f90 0800 0027 0040 0502 6691 b7a0 9021 o....'.@..f....! │ │ │ 00000910: 6e40 0502 50a9 9aa0 90b0 90a0 234e 6174 n@..P.......#Nat │ │ │ 00000920: 0502 6523 6164 6402 0e51 2e11 0502 74a0 ..e#add..Q....t. │ │ │ 00000930: 0502 5405 0236 b604 0e05 025b 0502 5b40 ..T..6.....[..[@ │ │ │ @@ -59502,16 +59502,16 @@ │ │ │ 000e86d0: 4a05 0949 c040 4040 40a0 96a0 0204 4ece J..I.@@@@.....N. │ │ │ 000e86e0: b4a0 0507 ebb0 9005 07ed 0507 ecc0 4040 ..............@@ │ │ │ 000e86f0: 4040 a096 a002 044e ceb4 a005 0502 b090 @@.....N........ │ │ │ 000e8700: 0505 0405 0503 c040 4040 4040 90a0 96a0 .......@@@@@.... │ │ │ 000e8710: 021b 8322 9da0 90a0 0600 0371 7840 a0a0 ...".......qx@.. │ │ │ 000e8720: 2275 3006 0003 7169 40a0 96a0 021b 8322 "u0...qi@......" │ │ │ 000e8730: 9da0 90a0 0600 0370 8a40 a0a0 0409 0600 .......p.@...... │ │ │ -000e8740: 0370 7f40 406a abb6 1757 53fc 504a fda2 .p.@@j...WS.PJ.. │ │ │ -000e8750: 6d49 60f7 3484 95a6 be00 0000 0100 0000 mI`.4........... │ │ │ +000e8740: 0370 7f40 40d5 4fc5 7f35 47e6 6943 5090 .p.@@.O..5G.iCP. │ │ │ +000e8750: 6a86 cdff 7284 95a6 be00 0000 0100 0000 j...r........... │ │ │ 000e8760: 0000 0000 0000 0000 0080 6144 c86c d4a1 ..........aD.l.. │ │ │ 000e8770: 68cd 7049 5a5c c422 ade9 8495 a6be 0000 h.pIZ\."........ │ │ │ 000e8780: 01c2 0000 0050 0000 012e 0000 010c a0a0 .....P.......... │ │ │ 000e8790: 3974 7574 6f72 6961 6c5f 636f 715f 656c 9tutorial_coq_el │ │ │ 000e87a0: 7069 5f63 6f6d 6d61 6e64 a02d 656c 7069 pi_command.-elpi │ │ │ 000e87b0: 5f65 7861 6d70 6c65 7340 0800 0037 00c0 _examples@...7.. │ │ │ 000e87c0: 0925 2d00 028c 003d fd01 020a 0e03 500d .%-....=......P. │ │ │ @@ -59537,16 +59537,16 @@ │ │ │ 000e8900: 48c0 0409 8022 7c9c 9098 b004 0841 48c0 H...."|......AH. │ │ │ 000e8910: 2d2d 0003 8c2a 2b01 010a 3700 2704 8021 --...*+...7.'..! │ │ │ 000e8920: 2880 c004 1180 227c 9c90 98b0 0410 4148 (....."|......AH │ │ │ 000e8930: c004 3580 2104 9094 9104 35c0 2b2d 0002 ..5.!.....5.+-.. │ │ │ 000e8940: 8c36 000a 3701 2703 8022 140c 9094 043a .6..7.'..".....: │ │ │ 000e8950: 5cb0 5c55 9f7b 34d6 4138 434c aecb aca0 \.\U.{4.A8CL.... │ │ │ 000e8960: 0000 0004 0000 0007 6c69 6272 6172 7900 ........library. │ │ │ -000e8970: 0000 0000 0000 b300 0000 0000 0e86 926a ...............j │ │ │ -000e8980: abb6 1757 53fc 504a fda2 6d49 60f7 3400 ...WS.PJ..mI`.4. │ │ │ +000e8970: 0000 0000 0000 b300 0000 0000 0e86 92d5 ................ │ │ │ +000e8980: 4fc5 7f35 47e6 6943 5090 6a86 cdff 7200 O..5G.iCP.j...r. │ │ │ 000e8990: 0000 076f 7061 7175 6573 0000 0000 000e ...opaques...... │ │ │ 000e89a0: 8755 0000 0000 0000 0015 6144 c86c d4a1 .U........aD.l.. │ │ │ 000e89b0: 68cd 7049 5a5c c422 ade9 0000 0007 7375 h.pIZ\."......su │ │ │ 000e89c0: 6d6d 6172 7900 0000 0000 0000 1000 0000 mmary........... │ │ │ 000e89d0: 0000 0000 9324 ff09 e062 1322 dc40 9bc0 .....$...b.".@.. │ │ │ 000e89e0: 8eca 2fdc 6400 0000 0976 6d6c 6962 7261 ../.d....vmlibra │ │ │ 000e89f0: 7279 0000 0000 000e 877a 0000 0000 0000 ry.......z...... │ │ ├── ./var/lib/coq/md5sums/libcoq-elpi.checksum │ │ │ @@ -1 +1 @@ │ │ │ -s5593 │ │ │ +ocg25