⊟
6.58 KB
/srv/reproducible-results/rbuild-debian/r-b-build.H2AzX3Al/b1/coq-elpi_2.2.3-1_arm64.changes vs.
/srv/reproducible-results/rbuild-debian/r-b-build.H2AzX3Al/b2/coq-elpi_2.2.3-1_arm64.changes
⊟
298 B
Files
    
Offset 1, 3 lines modifiedOffset 1, 3 lines modified
  
1 ·873ce277f12413cdfcb754661cda55ea·299024·debug·optional·libcoq-elpi-dbgsym_2.2.3-1_arm64.deb1 ·873ce277f12413cdfcb754661cda55ea·299024·debug·optional·libcoq-elpi-dbgsym_2.2.3-1_arm64.deb
2 ·25544214131ce1087b90f6051fc71f80·7969836·ocaml·optional·libcoq-elpi_2.2.3-1_arm64.deb2 ·d7f2f1e6f7539ed5d03abb42a5c57e3a·7969728·ocaml·optional·libcoq-elpi_2.2.3-1_arm64.deb
⊟
6.11 KB
libcoq-elpi_2.2.3-1_arm64.deb
⊟
452 B
file list
    
Offset 1, 3 lines modifiedOffset 1, 3 lines modified
1 -rw-r--r--···0········0········0········4·2024-11-20·09:43:12.000000·debian-binary1 -rw-r--r--···0········0········0········4·2024-11-20·09:43:12.000000·debian-binary
2 -rw-r--r--···0········0········0····11120·2024-11-20·09:43:12.000000·control.tar.xz2 -rw-r--r--···0········0········0····11124·2024-11-20·09:43:12.000000·control.tar.xz
3 -rw-r--r--···0········0········0··7958524·2024-11-20·09:43:12.000000·data.tar.xz3 -rw-r--r--···0········0········0··7958412·2024-11-20·09:43:12.000000·data.tar.xz
⊟
756 B
control.tar.xz
⊟
728 B
control.tar
⊟
658 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.2.3-13 Version:·2.2.3-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:·313806 Installed-Size:·31380
7 Depends:·libelpi-ocaml-dev,·libcoq-core-ocaml-dev·(>=·8.17),·libcoq-stdlib-z3q11,·libcoq-core-ocaml-sa2u3,·libelpi-ocaml-di861,·libstdlib-ocaml-0d647,·libzarith-ocaml-mtsj77 Depends:·libelpi-ocaml-dev,·libcoq-core-ocaml-dev·(>=·8.17),·libcoq-stdlib-z3q11,·libcoq-core-ocaml-sa2u3,·libelpi-ocaml-di861,·libstdlib-ocaml-0d647,·libzarith-ocaml-mtsj7
8 Provides:·libcoq-elpi-thlp78 Provides:·libcoq-elpi-4fkt8
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.85 KB
data.tar
⊟
851 B
./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi_examples/tutorial_coq_elpi_command.glob
    
Offset 43, 15 lines modifiedOffset 43, 15 lines modified
43 constr·11490:11497·<>·leaf'43 constr·11490:11497·<>·leaf'
44 constr·11490:11497·<>·node'44 constr·11490:11497·<>·node'
45 mod·22573:22581·<>·Notations45 mod·22573:22581·<>·Notations
46 R22609:22611·Coq.Init.Peano·<>·::nat_scope:x_'>'_x·not46 R22609:22611·Coq.Init.Peano·<>·::nat_scope:x_'>'_x·not
47 not·22593:22593·Notations·:::x_'>>'_x47 not·22593:22593·Notations·:::x_'>>'_x
48 def·22641:22641·Notations·w48 def·22641:22641·Notations·w
49 R22653:22661·elpi_examples.tutorial_coq_elpi_command·Notations·<>·mod49 R22653:22661·elpi_examples.tutorial_coq_elpi_command·Notations·<>·mod
50 mod·24495:24510·<>·Module1850 mod·24495:24510·<>·Module20
51 R26174:26176·Coq.Init.Datatypes·<>·nat·ind51 R26174:26176·Coq.Init.Datatypes·<>·nat·ind
52 binder·26170:26170·<>·n:752 binder·26170:26170·<>·n:7
53 R26183:26185·Coq.Init.Peano·<>·::nat_scope:x_'+'_x·not53 R26183:26185·Coq.Init.Peano·<>·::nat_scope:x_'+'_x·not
54 R26182:26182·elpi_examples.tutorial_coq_elpi_command·<>·n:7·var54 R26182:26182·elpi_examples.tutorial_coq_elpi_command·<>·n:7·var
55 R26174:26176·Coq.Init.Datatypes·<>·nat·ind55 R26174:26176·Coq.Init.Datatypes·<>·nat·ind
56 mod·26141:26150·<>·Box56 mod·26141:26150·<>·Box
57 mod·26141:26150·<>·Box.Box57 mod·26141:26150·<>·Box.Box
⊟
3.9 KB
./usr/lib/aarch64-linux-gnu/ocaml/5.2.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·6531··@.@@.@..(Module100000930:·40a0·4040·9040·a0a0·284d·6f64·756c·6532··@.@@.@..(Module2
00000940:·3893·e0a2·0502·7104·0441·9040·4004·0990··8.....q..A.@@...00000940:·3093·e0a2·0502·7104·0441·9040·4004·0990··0.....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 8577, 16 lines modifiedOffset 8577, 16 lines modified
00021800:·b040·4040·a095·a002·044e·ceb4·a005·02ee··.@@@.....N......00021800:·b040·4040·a095·a002·044e·ceb4·a005·02ee··.@@@.....N......
00021810:·b090·0502·f005·02ef·b040·4040·a095·a002··.........@@@....00021810:·b090·0502·f005·02ef·b040·4040·a095·a002··.........@@@....
00021820:·044e·ceb4·a005·0270·b090·0502·7205·0271··.N.....p....r..q00021820:·044e·ceb4·a005·0270·b090·0502·7205·0271··.N.....p....r..q
00021830:·b040·4040·a095·a002·044e·ceb4·a005·020e··.@@@.....N......00021830:·b040·4040·a095·a002·044e·ceb4·a005·020e··.@@@.....N......
00021840:·b090·0502·1005·020f·b040·4040·a095·a002··.........@@@....00021840:·b090·0502·1005·020f·b040·4040·a095·a002··.........@@@....
00021850:·044e·ceb4·a005·01d0·b090·0501·d205·01d1··.N..............00021850:·044e·ceb4·a005·01d0·b090·0501·d205·01d1··.N..............
00021860:·b040·4040·a095·a002·044e·ceb4·a005·013a··.@@@.....N.....:00021860:·b040·4040·a095·a002·044e·ceb4·a005·013a··.@@@.....N.....:
00021870:·b090·0501·3c05·013b·b040·4040·4034·e785··....<..;.@@@@4..00021870:·b090·0501·3c05·013b·b040·4040·40c5·44c3··....<..;.@@@@.D.
00021880:·31ba·bd06·08eb·9cea·051c·06a9·3484·95a6··1...........4...00021880:·1fd9·5197·fe5a·714d·3e46·2b35·8f84·95a6··..Q..ZqM>F+5....
00021890:·be00·0000·0100·0000·0000·0000·0000·0000··................00021890:·be00·0000·0100·0000·0000·0000·0000·0000··................
000218a0:·0080·6144·c86c·d4a1·68cd·7049·5a5c·c422··..aD.l..h.pIZ\."000218a0:·0080·6144·c86c·d4a1·68cd·7049·5a5c·c422··..aD.l..h.pIZ\."
000218b0:·ade9·8495·a6be·0000·01c2·0000·0050·0000··.............P..000218b0:·ade9·8495·a6be·0000·01c2·0000·0050·0000··.............P..
000218c0:·012e·0000·010c·a0a0·3974·7574·6f72·6961··........9tutoria000218c0:·012e·0000·010c·a0a0·3974·7574·6f72·6961··........9tutoria
000218d0:·6c5f·636f·715f·656c·7069·5f63·6f6d·6d61··l_coq_elpi_comma000218d0:·6c5f·636f·715f·656c·7069·5f63·6f6d·6d61··l_coq_elpi_comma
000218e0:·6e64·a02d·656c·7069·5f65·7861·6d70·6c65··nd.-elpi_example000218e0:·6e64·a02d·656c·7069·5f65·7861·6d70·6c65··nd.-elpi_example
000218f0:·7340·0800·0037·00c0·0925·2d00·028c·003d··s@...7...%-....=000218f0:·7340·0800·0037·00c0·0925·2d00·028c·003d··s@...7...%-....=
Offset 8613, 16 lines modifiedOffset 8613, 16 lines modified
00021a40:·9098·b004·0841·48c0·2d2d·0003·8c2a·2b01··.....AH.--...*+.00021a40:·9098·b004·0841·48c0·2d2d·0003·8c2a·2b01··.....AH.--...*+.
00021a50:·010a·3700·2704·8021·2880·c004·1180·227c··..7.'..!(....."|00021a50:·010a·3700·2704·8021·2880·c004·1180·227c··..7.'..!(....."|
00021a60:·9c90·98b0·0410·4148·c004·3580·2104·9094··......AH..5.!...00021a60:·9c90·98b0·0410·4148·c004·3580·2104·9094··......AH..5.!...
00021a70:·9104·35c0·2b2d·0002·8c36·000a·3701·2703··..5.+-...6..7.'.00021a70:·9104·35c0·2b2d·0002·8c36·000a·3701·2703··..5.+-...6..7.'.
00021a80:·8022·140c·9094·043a·5cb0·5c55·9f7b·34d6··.".....:\.\U.{4.00021a80:·8022·140c·9094·043a·5cb0·5c55·9f7b·34d6··.".....:\.\U.{4.
00021a90:·4138·434c·aecb·aca0·0000·0004·0000·0007··A8CL............00021a90:·4138·434c·aecb·aca0·0000·0004·0000·0007··A8CL............
00021aa0:·6c69·6272·6172·7900·0000·0000·0000·af00··library.........00021aa0:·6c69·6272·6172·7900·0000·0000·0000·af00··library.........
00021ab0:·0000·0000·0217·ce34·e785·31ba·bd06·08eb··.......4..1..... 
00021ac0:·9cea·051c·06a9·3400·0000·076f·7061·7175··......4....opaqu00021ab0:·0000·0000·0217·cec5·44c3·1fd9·5197·fe5a··........D...Q..Z
 00021ac0:·714d·3e46·2b35·8f00·0000·076f·7061·7175··qM>F+5.....opaqu
00021ad0:·6573·0000·0000·0002·188d·0000·0000·0000··es..............00021ad0:·6573·0000·0000·0002·188d·0000·0000·0000··es..............
00021ae0:·0015·6144·c86c·d4a1·68cd·7049·5a5c·c422··..aD.l..h.pIZ\."00021ae0:·0015·6144·c86c·d4a1·68cd·7049·5a5c·c422··..aD.l..h.pIZ\."
00021af0:·ade9·0000·0007·7375·6d6d·6172·7900·0000··......summary...00021af0:·ade9·0000·0007·7375·6d6d·6172·7900·0000··......summary...
00021b00:·0000·0000·1000·0000·0000·0000·8f53·9b76··.............S.v00021b00:·0000·0000·1000·0000·0000·0000·8f53·9b76··.............S.v
00021b10:·852a·3ea6·a7a4·6a6c·dcc2·9804·5800·0000··.*>...jl....X...00021b10:·852a·3ea6·a7a4·6a6c·dcc2·9804·5800·0000··.*>...jl....X...
00021b20:·0976·6d6c·6962·7261·7279·0000·0000·0002··.vmlibrary......00021b20:·0976·6d6c·6962·7261·7279·0000·0000·0002··.vmlibrary......
00021b30:·18b2·0000·0000·0000·01d6·5cb0·5c55·9f7b··..........\.\U.{00021b30:·18b2·0000·0000·0000·01d6·5cb0·5c55·9f7b··..........\.\U.{
⊟
110 B
./var/lib/coq/md5sums/libcoq-elpi.checksum
    
Offset 1, 1 lines modifiedOffset 1, 1 lines modified
1 thlp71 4fkt8
Generated by diffoscope 283