⊟
6.48 KB
/srv/reproducible-results/rbuild-debian/r-b-build.rh1Ywgtl/b1/coq-elpi_2.5.0-1_amd64.changes vs.
/srv/reproducible-results/rbuild-debian/r-b-build.rh1Ywgtl/b2/coq-elpi_2.5.0-1_amd64.changes
⊟
300 B
Files
    
Offset 1, 3 lines modifiedOffset 1, 3 lines modified
  
1 ·2e1b6d80fa58b71fb76c87cb52eee7fb·772144·debug·optional·libcoq-elpi-dbgsym_2.5.0-1_amd64.deb1 ·2e1b6d80fa58b71fb76c87cb52eee7fb·772144·debug·optional·libcoq-elpi-dbgsym_2.5.0-1_amd64.deb
2 ·bfaffdfe7609d56271f7452c1cf7110f·12306692·ocaml·optional·libcoq-elpi_2.5.0-1_amd64.deb2 ·3d6506f7d3d838b41f912a52255d521c·12305896·ocaml·optional·libcoq-elpi_2.5.0-1_amd64.deb
⊟
6.01 KB
libcoq-elpi_2.5.0-1_amd64.deb
⊟
452 B
file list
    
Offset 1, 3 lines modifiedOffset 1, 3 lines modified
1 -rw-r--r--···0········0········0········4·2025-03-12·07:06:26.000000·debian-binary1 -rw-r--r--···0········0········0········4·2025-03-12·07:06:26.000000·debian-binary
2 -rw-r--r--···0········0········0····12096·2025-03-12·07:06:26.000000·control.tar.xz2 -rw-r--r--···0········0········0····12088·2025-03-12·07:06:26.000000·control.tar.xz
3 -rw-r--r--···0········0········0·12294404·2025-03-12·07:06:26.000000·data.tar.xz3 -rw-r--r--···0········0········0·12293616·2025-03-12·07:06:26.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.5.0-13 Version:·2.5.0-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:·609866 Installed-Size:·60986
7 Depends:·libelpi-ocaml-dev,·libcoq-core-ocaml-dev·(>=·8.17),·libcoq-stdlib-tgae0,·libcoq-core-ocaml-at3u5,·libelpi-ocaml-3aty1,·libppx-deriving-ocaml-viv51,·libstdlib-ocaml-fxjy5,·libzarith-ocaml-f1se97 Depends:·libelpi-ocaml-dev,·libcoq-core-ocaml-dev·(>=·8.17),·libcoq-stdlib-tgae0,·libcoq-core-ocaml-at3u5,·libelpi-ocaml-3aty1,·libppx-deriving-ocaml-viv51,·libstdlib-ocaml-fxjy5,·libzarith-ocaml-f1se9
8 Provides:·libcoq-elpi-ybic28 Provides:·libcoq-elpi-og1p6
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.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·<>·Module5450 mod·24304:24319·<>·Module32
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.77 KB
./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/tutorial_coq_elpi_command.vo
    
Offset 138, 15 lines modifiedOffset 138, 15 lines modified
00000890:·048d·b605·0108·0419·046d·4190·b080·a005··.........mA.....00000890:·048d·b605·0108·0419·046d·4190·b080·a005··.........mA.....
000008a0:·0248·4a90·a092·4090·0457·4040·0501·ffa0··.HJ...@..W@@....000008a0:·0248·4a90·a092·4090·0457·4040·0501·ffa0··.HJ...@..W@@....
000008b0:·a029·4e6f·7461·7469·6f6e·7393·e0a2·0502··.)Notations.....000008b0:·a029·4e6f·7461·7469·6f6e·7393·e0a2·0502··.)Notations.....
000008c0:·4d04·0441·90a0·a021·7790·0800·0027·0040··M..A...!w....'.@000008c0:·4d04·0441·90a0·a021·7790·0800·0027·0040··M..A...!w....'.@
000008d0:·0502·4c91·a905·0229·9005·0205·0502·3440··..L....)......4@000008d0:·0502·4c91·a905·0229·9005·0205·0502·3440··..L....)......4@
000008e0:·90b0·80a0·0502·5e4b·9090·9240·4040·0502··......^K...@@@..000008e0:·90b0·80a0·0502·5e4b·9090·9240·4040·0502··......^K...@@@..
000008f0:·1440·40a0·4040·9040·a0a0·284d·6f64·756c··.@@.@@.@..(Modul000008f0:·1440·40a0·4040·9040·a0a0·284d·6f64·756c··.@@.@@.@..(Modul
00000900:·6535·3493·e0a2·0502·6404·0441·9040·4004··e54.....d..A.@@.00000900:·6533·3293·e0a2·0502·6404·0441·9040·4004··e32.....d..A.@@.
00000910:·0990·40a0·a023·426f·7893·e0a2·0502·6c04··..@..#Box.....l.00000910:·0990·40a0·a023·426f·7893·e0a2·0502·6c04··..@..#Box.....l.
00000920:·0441·90a0·a004·0793·e0a2·0407·040a·4190··.A............A.00000920:·0441·90a0·a004·0793·e0a2·0407·040a·4190··.A............A.
00000930:·a0a0·040d·93e0·a204·0704·1041·90a0·a004··...........A....00000930:·a0a0·040d·93e0·a204·0704·1041·90a0·a004··...........A....
00000940:·1393·e0a2·0407·0416·4190·a0a0·2366·6f6f··........A...#foo00000940:·1393·e0a2·0407·0416·4190·a0a0·2366·6f6f··........A...#foo
00000950:·9008·0000·2700·4005·027d·91b7·a090·216e··....'.@..}....!n00000950:·9008·0000·2700·4005·027d·91b7·a090·216e··....'.@..}....!n
00000960:·4005·0267·a99a·a090·b090·a023·4e61·7405··@..g.......#Nat.00000960:·4005·0267·a99a·a090·b090·a023·4e61·7405··@..g.......#Nat.
00000970:·027c·2361·6464·020c·a38f·6005·028b·a005··.|#add....`.....00000970:·027c·2361·6464·020c·a38f·6005·028b·a005··.|#add....`.....
Offset 31292, 16 lines modifiedOffset 31292, 16 lines modified
0007a3b0:·4040·40a0·95a0·0204·4ece·b4a0·0508·2ab0··@@@.....N.....*.0007a3b0:·4040·40a0·95a0·0204·4ece·b4a0·0508·2ab0··@@@.....N.....*.
0007a3c0:·9005·082c·0508·2bb0·4040·40a0·95a0·0204··...,..+.@@@.....0007a3c0:·9005·082c·0508·2bb0·4040·40a0·95a0·0204··...,..+.@@@.....
0007a3d0:·4ece·b4a0·0507·59b0·9005·075b·0507·5ab0··N.....Y....[..Z.0007a3d0:·4ece·b4a0·0507·59b0·9005·075b·0507·5ab0··N.....Y....[..Z.
0007a3e0:·4040·40a0·95a0·0204·4ece·b4a0·0505·aeb0··@@@.....N.......0007a3e0:·4040·40a0·95a0·0204·4ece·b4a0·0505·aeb0··@@@.....N.......
0007a3f0:·9005·05b0·0505·afb0·4040·40a0·95a0·0204··........@@@.....0007a3f0:·9005·05b0·0505·afb0·4040·40a0·95a0·0204··........@@@.....
0007a400:·4ece·b4a0·0505·26b0·9005·0528·0505·27b0··N.....&....(..'.0007a400:·4ece·b4a0·0505·26b0·9005·0528·0505·27b0··N.....&....(..'.
0007a410:·4040·40a0·95a0·0204·4ece·b4a0·0503·93b0··@@@.....N.......0007a410:·4040·40a0·95a0·0204·4ece·b4a0·0503·93b0··@@@.....N.......
0007a420:·9005·0395·0503·94b0·4040·4040·1ce9·5cce··........@@@@..\.0007a420:·9005·0395·0503·94b0·4040·4040·cc6d·e3dd··........@@@@.m..
0007a430:·70b7·1dfd·4a8f·093a·6f9a·5c06·8495·a6be··p...J..:o.\.....0007a430:·41aa·1319·ab57·86b8·ee4d·4b4d·8495·a6be··A....W...MKM....
0007a440:·0000·0001·0000·0000·0000·0000·0000·0000··................0007a440:·0000·0001·0000·0000·0000·0000·0000·0000··................
0007a450:·8061·44c8·6cd4·a168·cd70·495a·5cc4·22ad··.aD.l..h.pIZ\.".0007a450:·8061·44c8·6cd4·a168·cd70·495a·5cc4·22ad··.aD.l..h.pIZ\.".
0007a460:·e984·95a6·be00·0001·c200·0000·5000·0001··............P...0007a460:·e984·95a6·be00·0001·c200·0000·5000·0001··............P...
0007a470:·2e00·0001·0ca0·a039·7475·746f·7269·616c··.......9tutorial0007a470:·2e00·0001·0ca0·a039·7475·746f·7269·616c··.......9tutorial
0007a480:·5f63·6f71·5f65·6c70·695f·636f·6d6d·616e··_coq_elpi_comman0007a480:·5f63·6f71·5f65·6c70·695f·636f·6d6d·616e··_coq_elpi_comman
0007a490:·64a0·2d65·6c70·695f·6578·616d·706c·6573··d.-elpi_examples0007a490:·64a0·2d65·6c70·695f·6578·616d·706c·6573··d.-elpi_examples
0007a4a0:·4008·0000·3700·c009·252d·0002·8c00·3dfd··@...7...%-....=.0007a4a0:·4008·0000·3700·c009·252d·0002·8c00·3dfd··@...7...%-....=.
Offset 31328, 16 lines modifiedOffset 31328, 16 lines modified
0007a5f0:·98b0·0408·4148·c02d·2d00·038c·2a2b·0101··....AH.--...*+..0007a5f0:·98b0·0408·4148·c02d·2d00·038c·2a2b·0101··....AH.--...*+..
0007a600:·0a37·0027·0480·2128·80c0·0411·8022·7c9c··.7.'..!(....."|.0007a600:·0a37·0027·0480·2128·80c0·0411·8022·7c9c··.7.'..!(....."|.
0007a610:·9098·b004·1041·48c0·0435·8021·0490·9491··.....AH..5.!....0007a610:·9098·b004·1041·48c0·0435·8021·0490·9491··.....AH..5.!....
0007a620:·0435·c02b·2d00·028c·3600·0a37·0127·0380··.5.+-...6..7.'..0007a620:·0435·c02b·2d00·028c·3600·0a37·0127·0380··.5.+-...6..7.'..
0007a630:·2214·0c90·9404·3a5c·b05c·559f·7b34·d641··".....:\.\U.{4.A0007a630:·2214·0c90·9404·3a5c·b05c·559f·7b34·d641··".....:\.\U.{4.A
0007a640:·3843·4cae·cbac·a000·0000·0400·0000·076c··8CL............l0007a640:·3843·4cae·cbac·a000·0000·0400·0000·076c··8CL............l
0007a650:·6962·7261·7279·0000·0000·0000·00af·0000··ibrary..........0007a650:·6962·7261·7279·0000·0000·0000·00af·0000··ibrary..........
0007a660:·0000·0007·a37d·1ce9·5cce·70b7·1dfd·4a8f··.....}..\.p...J.0007a660:·0000·0007·a37d·cc6d·e3dd·41aa·1319·ab57··.....}.m..A....W
0007a670:·093a·6f9a·5c06·0000·0007·6f70·6171·7565··.:o.\.....opaque0007a670:·86b8·ee4d·4b4d·0000·0007·6f70·6171·7565··...MKM....opaque
0007a680:·7300·0000·0000·07a4·3c00·0000·0000·0000··s.......<.......0007a680:·7300·0000·0000·07a4·3c00·0000·0000·0000··s.......<.......
0007a690:·1561·44c8·6cd4·a168·cd70·495a·5cc4·22ad··.aD.l..h.pIZ\.".0007a690:·1561·44c8·6cd4·a168·cd70·495a·5cc4·22ad··.aD.l..h.pIZ\.".
0007a6a0:·e900·0000·0773·756d·6d61·7279·0000·0000··.....summary....0007a6a0:·e900·0000·0773·756d·6d61·7279·0000·0000··.....summary....
0007a6b0:·0000·0010·0000·0000·0000·008f·7325·6964··............s%id0007a6b0:·0000·0010·0000·0000·0000·008f·7325·6964··............s%id
0007a6c0:·c409·af40·9f44·9764·1623·87b8·0000·0009··...@.D.d.#......0007a6c0:·c409·af40·9f44·9764·1623·87b8·0000·0009··...@.D.d.#......
0007a6d0:·766d·6c69·6272·6172·7900·0000·0000·07a4··vmlibrary.......0007a6d0:·766d·6c69·6272·6172·7900·0000·0000·07a4··vmlibrary.......
0007a6e0:·6100·0000·0000·0001·d65c·b05c·559f·7b34··a........\.\U.{40007a6e0:·6100·0000·0000·0001·d65c·b05c·559f·7b34··a........\.\U.{4
⊟
110 B
./var/lib/coq/md5sums/libcoq-elpi.checksum
    
Offset 1, 1 lines modifiedOffset 1, 1 lines modified
1 ybic21 og1p6
Generated by diffoscope 296