--- /srv/reproducible-results/rbuild-debian/r-b-build.8Ufe1BGH/b1/coq-elpi_2.5.0-1_arm64.changes
+++ /srv/reproducible-results/rbuild-debian/r-b-build.8Ufe1BGH/b2/coq-elpi_2.5.0-1_arm64.changes
├── Files
│ @@ -1,3 +1,3 @@
│
│ 4ea15a3863f131a141fc0671600c3fd6 750268 debug optional libcoq-elpi-dbgsym_2.5.0-1_arm64.deb
│ - bd32ecce7607cfa2751733afe59a1e6f 12770680 ocaml optional libcoq-elpi_2.5.0-1_arm64.deb
│ + 4be7e4d9202511595005551e032130a0 12769544 ocaml optional libcoq-elpi_2.5.0-1_arm64.deb
├── libcoq-elpi_2.5.0-1_arm64.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 12104 2025-03-12 07:06:26.000000 control.tar.xz
│ │ --rw-r--r-- 0 0 0 12758384 2025-03-12 07:06:26.000000 data.tar.xz
│ │ +-rw-r--r-- 0 0 0 12757248 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: arm64
│ │ │ │ Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
│ │ │ │ Installed-Size: 64828
│ │ │ │ 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-1ul17
│ │ │ │ +Provides: libcoq-elpi-79bo9
│ │ │ │ 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 <> Module97
│ │ │ │ +mod 24304:24319 <> Module12
│ │ │ │ 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
│ │ │ │ @@ -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: 6539 3793 e0a2 0502 6404 0441 9040 4004 e97.....d..A.@@.
│ │ │ │ +00000900: 6531 3293 e0a2 0502 6404 0441 9040 4004 e12.....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 7930 0533 ........@@@@y0.3
│ │ │ │ -0007a430: 87ca 9bfc fff1 6f45 c6ec 0654 8495 a6be ......oE...T....
│ │ │ │ +0007a420: 9005 0395 0503 94b0 4040 4040 0614 f9fa ........@@@@....
│ │ │ │ +0007a430: 793e 67b3 94ec 606f 0301 de8c 8495 a6be y>g...`o........
│ │ │ │ 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 7930 0533 87ca 9bfc fff1 .....}y0.3......
│ │ │ │ -0007a670: 6f45 c6ec 0654 0000 0007 6f70 6171 7565 oE...T....opaque
│ │ │ │ +0007a660: 0000 0007 a37d 0614 f9fa 793e 67b3 94ec .....}....y>g...
│ │ │ │ +0007a670: 606f 0301 de8c 0000 0007 6f70 6171 7565 `o........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 f0c6 21ca ..............!.
│ │ │ │ 0007a6c0: c9c3 fd2a 00e8 2417 8e7d 708d 0000 0009 ...*..$..}p.....
│ │ │ │ 0007a6d0: 766d 6c69 6272 6172 7900 0000 0000 07a4 vmlibrary.......
│ │ │ │ 0007a6e0: 6100 0000 0000 0001 d65c b05c 559f 7b34 a........\.\U.{4
│ │ │ ├── ./var/lib/coq/md5sums/libcoq-elpi.checksum
│ │ │ │ @@ -1 +1 @@
│ │ │ │ -1ul17
│ │ │ │ +79bo9