--- /srv/reproducible-results/rbuild-debian/r-b-build.1TAElarV/b1/coq-elpi_2.4.0-1_arm64.changes
+++ /srv/reproducible-results/rbuild-debian/r-b-build.1TAElarV/b2/coq-elpi_2.4.0-1_arm64.changes
├── Files
│ @@ -1,3 +1,3 @@
│
│ 98d1f50c13bf87707375478c3a016189 745608 debug optional libcoq-elpi-dbgsym_2.4.0-1_arm64.deb
│ - de21b9a107186cacf64c3162c13804cf 13069644 ocaml optional libcoq-elpi_2.4.0-1_arm64.deb
│ + ffdb672987b6d922eab12e71fccc7b3f 13070596 ocaml optional libcoq-elpi_2.4.0-1_arm64.deb
├── libcoq-elpi_2.4.0-1_arm64.deb
│ ├── file list
│ │ @@ -1,3 +1,3 @@
│ │ -rw-r--r-- 0 0 0 4 2025-02-15 14:21:18.000000 debian-binary
│ │ --rw-r--r-- 0 0 0 11260 2025-02-15 14:21:18.000000 control.tar.xz
│ │ --rw-r--r-- 0 0 0 13058192 2025-02-15 14:21:18.000000 data.tar.xz
│ │ +-rw-r--r-- 0 0 0 11264 2025-02-15 14:21:18.000000 control.tar.xz
│ │ +-rw-r--r-- 0 0 0 13059140 2025-02-15 14:21:18.000000 data.tar.xz
│ ├── control.tar.xz
│ │ ├── control.tar
│ │ │ ├── ./control
│ │ │ │ @@ -1,15 +1,15 @@
│ │ │ │ Package: libcoq-elpi
│ │ │ │ Source: coq-elpi
│ │ │ │ Version: 2.4.0-1
│ │ │ │ Architecture: arm64
│ │ │ │ Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
│ │ │ │ Installed-Size: 65466
│ │ │ │ Depends: libelpi-ocaml-dev, libcoq-core-ocaml-dev (>= 8.17), libcoq-stdlib-dik25, libcoq-core-ocaml-ajzi5, libelpi-ocaml-t6nk2, libppx-deriving-ocaml-ikee3, libstdlib-ocaml-fxjy5, libzarith-ocaml-f1se9
│ │ │ │ -Provides: libcoq-elpi-gxrj6
│ │ │ │ +Provides: libcoq-elpi-1g1s2
│ │ │ │ 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.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 <> Module50
│ │ │ │ +mod 24304:24319 <> Module45
│ │ │ │ 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/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/tutorial_coq_elpi_command.vo
│ │ │ │ @@ -141,16 +141,16 @@
│ │ │ │ 000008c0: d405 01d1 b605 0195 041a b605 0109 048d ................
│ │ │ │ 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 6535 @.@@.@..(Module5
│ │ │ │ -00000940: 3093 e0a2 0502 7104 0441 9040 4004 0990 0.....q..A.@@...
│ │ │ │ +00000930: 40a0 4040 9040 a0a0 284d 6f64 756c 6534 @.@@.@..(Module4
│ │ │ │ +00000940: 3593 e0a2 0502 7104 0441 9040 4004 0990 5.....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
│ │ │ │ @@ -31175,16 +31175,16 @@
│ │ │ │ 00079c60: a095 a002 044e ceb4 a005 082a b090 0508 .....N.....*....
│ │ │ │ 00079c70: 2c05 082b b040 4040 a095 a002 044e ceb4 ,..+.@@@.....N..
│ │ │ │ 00079c80: a005 0759 b090 0507 5b05 075a b040 4040 ...Y....[..Z.@@@
│ │ │ │ 00079c90: a095 a002 044e ceb4 a005 05ae b090 0505 .....N..........
│ │ │ │ 00079ca0: b005 05af b040 4040 a095 a002 044e ceb4 .....@@@.....N..
│ │ │ │ 00079cb0: a005 0526 b090 0505 2805 0527 b040 4040 ...&....(..'.@@@
│ │ │ │ 00079cc0: a095 a002 044e ceb4 a005 0393 b090 0503 .....N..........
│ │ │ │ -00079cd0: 9505 0394 b040 4040 4025 e53f 8bc0 e3af .....@@@@%.?....
│ │ │ │ -00079ce0: 22ff a20f 14fe 86ea 1084 95a6 be00 0000 "...............
│ │ │ │ +00079cd0: 9505 0394 b040 4040 400f 6d18 c4d6 e7ae .....@@@@.m.....
│ │ │ │ +00079ce0: 11f2 9d9a 1d12 d386 6784 95a6 be00 0000 ........g.......
│ │ │ │ 00079cf0: 0100 0000 0000 0000 0000 0000 0080 6144 ..............aD
│ │ │ │ 00079d00: c86c d4a1 68cd 7049 5a5c c422 ade9 8495 .l..h.pIZ\."....
│ │ │ │ 00079d10: a6be 0000 01c2 0000 0050 0000 012e 0000 .........P......
│ │ │ │ 00079d20: 010c a0a0 3974 7574 6f72 6961 6c5f 636f ....9tutorial_co
│ │ │ │ 00079d30: 715f 656c 7069 5f63 6f6d 6d61 6e64 a02d q_elpi_command.-
│ │ │ │ 00079d40: 656c 7069 5f65 7861 6d70 6c65 7340 0800 elpi_examples@..
│ │ │ │ 00079d50: 0037 00c0 0925 2d00 028c 003d fd01 020a .7...%-....=....
│ │ │ │ @@ -31211,16 +31211,16 @@
│ │ │ │ 00079ea0: 0841 48c0 2d2d 0003 8c2a 2b01 010a 3700 .AH.--...*+...7.
│ │ │ │ 00079eb0: 2704 8021 2880 c004 1180 227c 9c90 98b0 '..!(....."|....
│ │ │ │ 00079ec0: 0410 4148 c004 3580 2104 9094 9104 35c0 ..AH..5.!.....5.
│ │ │ │ 00079ed0: 2b2d 0002 8c36 000a 3701 2703 8022 140c +-...6..7.'.."..
│ │ │ │ 00079ee0: 9094 043a 5cb0 5c55 9f7b 34d6 4138 434c ...:\.\U.{4.A8CL
│ │ │ │ 00079ef0: aecb aca0 0000 0004 0000 0007 6c69 6272 ............libr
│ │ │ │ 00079f00: 6172 7900 0000 0000 0000 af00 0000 0000 ary.............
│ │ │ │ -00079f10: 079c 2a25 e53f 8bc0 e3af 22ff a20f 14fe ..*%.?....".....
│ │ │ │ -00079f20: 86ea 1000 0000 076f 7061 7175 6573 0000 .......opaques..
│ │ │ │ +00079f10: 079c 2a0f 6d18 c4d6 e7ae 11f2 9d9a 1d12 ..*.m...........
│ │ │ │ +00079f20: d386 6700 0000 076f 7061 7175 6573 0000 ..g....opaques..
│ │ │ │ 00079f30: 0000 0007 9ce9 0000 0000 0000 0015 6144 ..............aD
│ │ │ │ 00079f40: c86c d4a1 68cd 7049 5a5c c422 ade9 0000 .l..h.pIZ\."....
│ │ │ │ 00079f50: 0007 7375 6d6d 6172 7900 0000 0000 0000 ..summary.......
│ │ │ │ 00079f60: 1000 0000 0000 0000 8f09 db95 fe63 03cf .............c..
│ │ │ │ 00079f70: 9a47 289f 6f4a 2a3f 3100 0000 0976 6d6c .G(.oJ*?1....vml
│ │ │ │ 00079f80: 6962 7261 7279 0000 0000 0007 9d0e 0000 ibrary..........
│ │ │ │ 00079f90: 0000 0000 01d6 5cb0 5c55 9f7b 34d6 4138 ......\.\U.{4.A8
│ │ │ ├── ./var/lib/coq/md5sums/libcoq-elpi.checksum
│ │ │ │ @@ -1 +1 @@
│ │ │ │ -gxrj6
│ │ │ │ +1g1s2