⊟
6.62 KB
/srv/reproducible-results/rbuild-debian/r-b-build.1TAElarV/b1/coq-elpi_2.4.0-1_arm64.changes vs.
/srv/reproducible-results/rbuild-debian/r-b-build.1TAElarV/b2/coq-elpi_2.4.0-1_arm64.changes
⊟
300 B
Files
    
Offset 1, 3 lines modifiedOffset 1, 3 lines modified
  
1 ·98d1f50c13bf87707375478c3a016189·745608·debug·optional·libcoq-elpi-dbgsym_2.4.0-1_arm64.deb1 ·98d1f50c13bf87707375478c3a016189·745608·debug·optional·libcoq-elpi-dbgsym_2.4.0-1_arm64.deb
2 ·de21b9a107186cacf64c3162c13804cf·13069644·ocaml·optional·libcoq-elpi_2.4.0-1_arm64.deb2 ·ffdb672987b6d922eab12e71fccc7b3f·13070596·ocaml·optional·libcoq-elpi_2.4.0-1_arm64.deb
⊟
6.14 KB
libcoq-elpi_2.4.0-1_arm64.deb
⊟
452 B
file list
    
Offset 1, 3 lines modifiedOffset 1, 3 lines modified
1 -rw-r--r--···0········0········0········4·2025-02-15·14:21:18.000000·debian-binary1 -rw-r--r--···0········0········0········4·2025-02-15·14:21:18.000000·debian-binary
2 -rw-r--r--···0········0········0····11260·2025-02-15·14:21:18.000000·control.tar.xz2 -rw-r--r--···0········0········0····11264·2025-02-15·14:21:18.000000·control.tar.xz
3 -rw-r--r--···0········0········0·13058192·2025-02-15·14:21:18.000000·data.tar.xz3 -rw-r--r--···0········0········0·13059140·2025-02-15·14:21:18.000000·data.tar.xz
⊟
785 B
control.tar.xz
⊟
757 B
control.tar
⊟
687 B
./control
    
Offset 1, 15 lines modifiedOffset 1, 15 lines modified
1 Package:·libcoq-elpi1 Package:·libcoq-elpi
2 Source:·coq-elpi2 Source:·coq-elpi
3 Version:·2.4.0-13 Version:·2.4.0-1
4 Architecture:·arm644 Architecture:·arm64
5 Maintainer:·Debian·OCaml·Maintainers·<debian-ocaml-maint@lists.debian.org>5 Maintainer:·Debian·OCaml·Maintainers·<debian-ocaml-maint@lists.debian.org>
6 Installed-Size:·654666 Installed-Size:·65466
7 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-f1se97 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
8 Provides:·libcoq-elpi-gxrj68 Provides:·libcoq-elpi-1g1s2
9 Section:·ocaml9 Section:·ocaml
10 Priority:·optional10 Priority:·optional
11 Homepage:·https://github.com/LPCIC/coq-elpi11 Homepage:·https://github.com/LPCIC/coq-elpi
12 Description:·Coq·plugin·embedding·Elpi12 Description:·Coq·plugin·embedding·Elpi
13 ·This·package·makes·it·possible·to·define·new·commands·and·tactics13 ·This·package·makes·it·possible·to·define·new·commands·and·tactics
14 ·for·Coq·in·Elpi.14 ·for·Coq·in·Elpi.
15 ·.15 ·.
⊟
48.0 B
./md5sums
⊟
30.0 B
./md5sums
Files differ
⊟
4.88 KB
data.tar.xz
⊟
4.86 KB
data.tar
⊟
851 B
./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/tutorial_coq_elpi_command.glob
    
Offset 43, 15 lines modifiedOffset 43, 15 lines modified
43 constr·11437:11444·<>·leaf'43 constr·11437:11444·<>·leaf'
44 constr·11437:11444·<>·node'44 constr·11437:11444·<>·node'
45 mod·22427:22435·<>·Notations45 mod·22427:22435·<>·Notations
46 R22463:22465·Coq.Init.Peano·<>·::nat_scope:x_'>'_x·not46 R22463:22465·Coq.Init.Peano·<>·::nat_scope:x_'>'_x·not
47 not·22447:22447·Notations·:::x_'>>'_x47 not·22447:22447·Notations·:::x_'>>'_x
48 def·22495:22495·Notations·w48 def·22495:22495·Notations·w
49 R22507:22515·elpi_examples.tutorial_coq_elpi_command·Notations·<>·mod49 R22507:22515·elpi_examples.tutorial_coq_elpi_command·Notations·<>·mod
50 mod·24304:24319·<>·Module5050 mod·24304:24319·<>·Module45
51 R25968:25970·Coq.Init.Datatypes·<>·nat·ind51 R25968:25970·Coq.Init.Datatypes·<>·nat·ind
52 binder·25964:25964·<>·n:752 binder·25964:25964·<>·n:7
53 R25977:25979·Coq.Init.Peano·<>·::nat_scope:x_'+'_x·not53 R25977:25979·Coq.Init.Peano·<>·::nat_scope:x_'+'_x·not
54 R25976:25976·elpi_examples.tutorial_coq_elpi_command·<>·n:7·var54 R25976:25976·elpi_examples.tutorial_coq_elpi_command·<>·n:7·var
55 R25968:25970·Coq.Init.Datatypes·<>·nat·ind55 R25968:25970·Coq.Init.Datatypes·<>·nat·ind
56 mod·25935:25944·<>·Box56 mod·25935:25944·<>·Box
57 mod·25935:25944·<>·Box.Box57 mod·25935:25944·<>·Box.Box
⊟
3.9 KB
./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/tutorial_coq_elpi_command.vo
    
Offset 141, 16 lines modifiedOffset 141, 16 lines modified
000008c0:·d405·01d1·b605·0195·041a·b605·0109·048d··................000008c0:·d405·01d1·b605·0195·041a·b605·0109·048d··................
000008d0:·b605·0108·0419·046d·4190·b080·a005·0255··.......mA......U000008d0:·b605·0108·0419·046d·4190·b080·a005·0255··.......mA......U
000008e0:·4a90·a092·4090·0457·4040·0502·0ca0·a029··J...@..W@@.....)000008e0:·4a90·a092·4090·0457·4040·0502·0ca0·a029··J...@..W@@.....)
000008f0:·4e6f·7461·7469·6f6e·7393·e0a2·0502·5a04··Notations.....Z.000008f0:·4e6f·7461·7469·6f6e·7393·e0a2·0502·5a04··Notations.....Z.
00000900:·0441·90a0·a021·7790·0800·0027·0040·0502··.A...!w....'.@..00000900:·0441·90a0·a021·7790·0800·0027·0040·0502··.A...!w....'.@..
00000910:·5991·a905·0236·9005·0205·0502·4140·90b0··Y....6......A@..00000910:·5991·a905·0236·9005·0205·0502·4140·90b0··Y....6......A@..
00000920:·80a0·0502·6b4b·9090·9240·4040·0502·2140··....kK...@@@..!@00000920:·80a0·0502·6b4b·9090·9240·4040·0502·2140··....kK...@@@..!@
00000930:·40a0·4040·9040·a0a0·284d·6f64·756c·6535··@.@@.@..(Module500000930:·40a0·4040·9040·a0a0·284d·6f64·756c·6534··@.@@.@..(Module4
00000940:·3093·e0a2·0502·7104·0441·9040·4004·0990··0.....q..A.@@...00000940:·3593·e0a2·0502·7104·0441·9040·4004·0990··5.....q..A.@@...
00000950:·40a0·a023·426f·7893·e0a2·0502·7904·0441··@..#Box.....y..A00000950:·40a0·a023·426f·7893·e0a2·0502·7904·0441··@..#Box.....y..A
00000960:·90a0·a004·0793·e0a2·0407·040a·4190·a0a0··............A...00000960:·90a0·a004·0793·e0a2·0407·040a·4190·a0a0··............A...
00000970:·040d·93e0·a204·0704·1041·90a0·a004·1393··.........A......00000970:·040d·93e0·a204·0704·1041·90a0·a004·1393··.........A......
00000980:·e0a2·0407·0416·4190·a0a0·2366·6f6f·9008··......A...#foo..00000980:·e0a2·0407·0416·4190·a0a0·2366·6f6f·9008··......A...#foo..
00000990:·0000·2700·4005·028a·91b7·a090·216e·4005··..'.@.......!n@.00000990:·0000·2700·4005·028a·91b7·a090·216e·4005··..'.@.......!n@.
000009a0:·0274·a99a·a090·b090·a023·4e61·7405·0289··.t.......#Nat...000009a0:·0274·a99a·a090·b090·a023·4e61·7405·0289··.t.......#Nat...
000009b0:·2361·6464·020c·a38f·6005·0298·a005·0278··#add....`......x000009b0:·2361·6464·020c·a38f·6005·0298·a005·0278··#add....`......x
Offset 31175, 16 lines modifiedOffset 31175, 16 lines modified
00079c60:·a095·a002·044e·ceb4·a005·082a·b090·0508··.....N.....*....00079c60:·a095·a002·044e·ceb4·a005·082a·b090·0508··.....N.....*....
00079c70:·2c05·082b·b040·4040·a095·a002·044e·ceb4··,..+.@@@.....N..00079c70:·2c05·082b·b040·4040·a095·a002·044e·ceb4··,..+.@@@.....N..
00079c80:·a005·0759·b090·0507·5b05·075a·b040·4040··...Y....[..Z.@@@00079c80:·a005·0759·b090·0507·5b05·075a·b040·4040··...Y....[..Z.@@@
00079c90:·a095·a002·044e·ceb4·a005·05ae·b090·0505··.....N..........00079c90:·a095·a002·044e·ceb4·a005·05ae·b090·0505··.....N..........
00079ca0:·b005·05af·b040·4040·a095·a002·044e·ceb4··.....@@@.....N..00079ca0:·b005·05af·b040·4040·a095·a002·044e·ceb4··.....@@@.....N..
00079cb0:·a005·0526·b090·0505·2805·0527·b040·4040··...&....(..'.@@@00079cb0:·a005·0526·b090·0505·2805·0527·b040·4040··...&....(..'.@@@
00079cc0:·a095·a002·044e·ceb4·a005·0393·b090·0503··.....N..........00079cc0:·a095·a002·044e·ceb4·a005·0393·b090·0503··.....N..........
00079cd0:·9505·0394·b040·4040·4025·e53f·8bc0·e3af··.....@@@@%.?....00079cd0:·9505·0394·b040·4040·400f·6d18·c4d6·e7ae··.....@@@@.m.....
00079ce0:·22ff·a20f·14fe·86ea·1084·95a6·be00·0000··"...............00079ce0:·11f2·9d9a·1d12·d386·6784·95a6·be00·0000··........g.......
00079cf0:·0100·0000·0000·0000·0000·0000·0080·6144··..............aD00079cf0:·0100·0000·0000·0000·0000·0000·0080·6144··..............aD
00079d00:·c86c·d4a1·68cd·7049·5a5c·c422·ade9·8495··.l..h.pIZ\."....00079d00:·c86c·d4a1·68cd·7049·5a5c·c422·ade9·8495··.l..h.pIZ\."....
00079d10:·a6be·0000·01c2·0000·0050·0000·012e·0000··.........P......00079d10:·a6be·0000·01c2·0000·0050·0000·012e·0000··.........P......
00079d20:·010c·a0a0·3974·7574·6f72·6961·6c5f·636f··....9tutorial_co00079d20:·010c·a0a0·3974·7574·6f72·6961·6c5f·636f··....9tutorial_co
00079d30:·715f·656c·7069·5f63·6f6d·6d61·6e64·a02d··q_elpi_command.-00079d30:·715f·656c·7069·5f63·6f6d·6d61·6e64·a02d··q_elpi_command.-
00079d40:·656c·7069·5f65·7861·6d70·6c65·7340·0800··elpi_examples@..00079d40:·656c·7069·5f65·7861·6d70·6c65·7340·0800··elpi_examples@..
00079d50:·0037·00c0·0925·2d00·028c·003d·fd01·020a··.7...%-....=....00079d50:·0037·00c0·0925·2d00·028c·003d·fd01·020a··.7...%-....=....
Offset 31211, 16 lines modifiedOffset 31211, 16 lines modified
00079ea0:·0841·48c0·2d2d·0003·8c2a·2b01·010a·3700··.AH.--...*+...7.00079ea0:·0841·48c0·2d2d·0003·8c2a·2b01·010a·3700··.AH.--...*+...7.
00079eb0:·2704·8021·2880·c004·1180·227c·9c90·98b0··'..!(....."|....00079eb0:·2704·8021·2880·c004·1180·227c·9c90·98b0··'..!(....."|....
00079ec0:·0410·4148·c004·3580·2104·9094·9104·35c0··..AH..5.!.....5.00079ec0:·0410·4148·c004·3580·2104·9094·9104·35c0··..AH..5.!.....5.
00079ed0:·2b2d·0002·8c36·000a·3701·2703·8022·140c··+-...6..7.'.."..00079ed0:·2b2d·0002·8c36·000a·3701·2703·8022·140c··+-...6..7.'.."..
00079ee0:·9094·043a·5cb0·5c55·9f7b·34d6·4138·434c··...:\.\U.{4.A8CL00079ee0:·9094·043a·5cb0·5c55·9f7b·34d6·4138·434c··...:\.\U.{4.A8CL
00079ef0:·aecb·aca0·0000·0004·0000·0007·6c69·6272··............libr00079ef0:·aecb·aca0·0000·0004·0000·0007·6c69·6272··............libr
00079f00:·6172·7900·0000·0000·0000·af00·0000·0000··ary.............00079f00:·6172·7900·0000·0000·0000·af00·0000·0000··ary.............
00079f10:·079c·2a25·e53f·8bc0·e3af·22ff·a20f·14fe··..*%.?....".....00079f10:·079c·2a0f·6d18·c4d6·e7ae·11f2·9d9a·1d12··..*.m...........
00079f20:·86ea·1000·0000·076f·7061·7175·6573·0000··.......opaques..00079f20:·d386·6700·0000·076f·7061·7175·6573·0000··..g....opaques..
00079f30:·0000·0007·9ce9·0000·0000·0000·0015·6144··..............aD00079f30:·0000·0007·9ce9·0000·0000·0000·0015·6144··..............aD
00079f40:·c86c·d4a1·68cd·7049·5a5c·c422·ade9·0000··.l..h.pIZ\."....00079f40:·c86c·d4a1·68cd·7049·5a5c·c422·ade9·0000··.l..h.pIZ\."....
00079f50:·0007·7375·6d6d·6172·7900·0000·0000·0000··..summary.......00079f50:·0007·7375·6d6d·6172·7900·0000·0000·0000··..summary.......
00079f60:·1000·0000·0000·0000·8f09·db95·fe63·03cf··.............c..00079f60:·1000·0000·0000·0000·8f09·db95·fe63·03cf··.............c..
00079f70:·9a47·289f·6f4a·2a3f·3100·0000·0976·6d6c··.G(.oJ*?1....vml00079f70:·9a47·289f·6f4a·2a3f·3100·0000·0976·6d6c··.G(.oJ*?1....vml
00079f80:·6962·7261·7279·0000·0000·0007·9d0e·0000··ibrary..........00079f80:·6962·7261·7279·0000·0000·0007·9d0e·0000··ibrary..........
00079f90:·0000·0000·01d6·5cb0·5c55·9f7b·34d6·4138··......\.\U.{4.A800079f90:·0000·0000·01d6·5cb0·5c55·9f7b·34d6·4138··......\.\U.{4.A8
⊟
110 B
./var/lib/coq/md5sums/libcoq-elpi.checksum
    
Offset 1, 1 lines modifiedOffset 1, 1 lines modified
1 gxrj61 1g1s2
Generated by diffoscope 288