--- /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 │ │ │ │ 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