⊟
6.36 KB
/srv/reproducible-results/rbuild-debian/r-b-build.WGI2xGL2/b1/coq-elpi_2.2.3-1_amd64.changes vs.
/srv/reproducible-results/rbuild-debian/r-b-build.WGI2xGL2/b2/coq-elpi_2.2.3-1_amd64.changes
⊟
298 B
Files
    
Offset 1, 3 lines modifiedOffset 1, 3 lines modified
  
1 ·0c3384bf405054898e9a69c532cadd82·312464·debug·optional·libcoq-elpi-dbgsym_2.2.3-1_amd64.deb1 ·0c3384bf405054898e9a69c532cadd82·312464·debug·optional·libcoq-elpi-dbgsym_2.2.3-1_amd64.deb
2 ·3597ce5bb0da47aca247440d70d6eac5·7592928·ocaml·optional·libcoq-elpi_2.2.3-1_amd64.deb2 ·7f4025bf2c52a3aaf259392dacef6a68·7591472·ocaml·optional·libcoq-elpi_2.2.3-1_amd64.deb
⊟
5.89 KB
libcoq-elpi_2.2.3-1_amd64.deb
⊟
367 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····11108·2024-11-20·09:43:12.000000·control.tar.xz2 -rw-r--r--···0········0········0····11108·2024-11-20·09:43:12.000000·control.tar.xz
3 -rw-r--r--···0········0········0··7581628·2024-11-20·09:43:12.000000·data.tar.xz3 -rw-r--r--···0········0········0··7580172·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:·amd644 Architecture:·amd64
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:·288326 Installed-Size:·28832
7 Depends:·libelpi-ocaml-dev,·libcoq-core-ocaml-dev·(>=·8.17),·libcoq-stdlib-p29e7,·libcoq-core-ocaml-1ioh9,·libelpi-ocaml-qi5w2,·libstdlib-ocaml-7l663,·libzarith-ocaml-mtsj77 Depends:·libelpi-ocaml-dev,·libcoq-core-ocaml-dev·(>=·8.17),·libcoq-stdlib-p29e7,·libcoq-core-ocaml-1ioh9,·libelpi-ocaml-qi5w2,·libstdlib-ocaml-7l663,·libzarith-ocaml-mtsj7
8 Provides:·libcoq-elpi-ajff68 Provides:·libcoq-elpi-vtgg4
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.74 KB
data.tar.xz
⊟
4.72 KB
data.tar
⊟
849 B
./usr/lib/x86_64-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·<>·Module3950 mod·24495:24510·<>·Module31
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.76 KB
./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi_examples/tutorial_coq_elpi_command.vo
    
Offset 142, 15 lines modifiedOffset 142, 15 lines modified
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·6533··@.@@.@..(Module300000930:·40a0·4040·9040·a0a0·284d·6f64·756c·6533··@.@@.@..(Module3
00000940:·3993·e0a2·0502·7104·0441·9040·4004·0990··9.....q..A.@@...00000940:·3193·e0a2·0502·7104·0441·9040·4004·0990··1.....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·404b·98c2··....<..;.@@@@K..00021870:·b090·0501·3c05·013b·b040·4040·4013·bef8··....<..;.@@@@...
00021880:·8224·38c1·76a1·849e·4975·8cc1·ec84·95a6··.$8.v...Iu......00021880:·816f·bc75·452f·a0d9·ca88·aeca·c284·95a6··.o.uE/..........
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·ce4b·98c2·8224·38c1·76a1··.......K...$8.v.00021ab0:·0000·0000·0217·ce13·bef8·816f·bc75·452f··...........o.uE/
00021ac0:·849e·4975·8cc1·ec00·0000·076f·7061·7175··..Iu.......opaqu00021ac0:·a0d9·ca88·aeca·c200·0000·076f·7061·7175··...........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·8f31·f4b9··.............1..00021b00:·0000·0000·1000·0000·0000·0000·8f31·f4b9··.............1..
00021b10:·ef29·135b·c5de·5d29·23ae·b34e·9d00·0000··.).[..])#..N....00021b10:·ef29·135b·c5de·5d29·23ae·b34e·9d00·0000··.).[..])#..N....
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 ajff61 vtgg4
Generated by diffoscope 283