⊟
6.5 KB
/srv/reproducible-results/rbuild-debian/r-b-build.QVjG84tx/b1/coq-elpi_2.5.0-1.1_arm64.changes vs.
/srv/reproducible-results/rbuild-debian/r-b-build.QVjG84tx/b2/coq-elpi_2.5.0-1.1_arm64.changes
⊟
306 B
Files
    
Offset 1, 3 lines modifiedOffset 1, 3 lines modified
  
1 ·7843d98a348fcd068d35c6e43b820e1c·754156·debug·optional·libcoq-elpi-dbgsym_2.5.0-1.1_arm64.deb1 ·7843d98a348fcd068d35c6e43b820e1c·754156·debug·optional·libcoq-elpi-dbgsym_2.5.0-1.1_arm64.deb
2 ·09c3ae202c8e155c41c42ebde5807d2c·12778520·ocaml·optional·libcoq-elpi_2.5.0-1.1_arm64.deb2 ·c6e6a46b058f603689aa7e9ef7005fbf·12779164·ocaml·optional·libcoq-elpi_2.5.0-1.1_arm64.deb
⊟
6.02 KB
libcoq-elpi_2.5.0-1.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-06-17·06:59:01.000000·debian-binary1 -rw-r--r--···0········0········0········4·2025-06-17·06:59:01.000000·debian-binary
2 -rw-r--r--···0········0········0····12120·2025-06-17·06:59:01.000000·control.tar.xz2 -rw-r--r--···0········0········0····12124·2025-06-17·06:59:01.000000·control.tar.xz
3 -rw-r--r--···0········0········0·12766208·2025-06-17·06:59:01.000000·data.tar.xz3 -rw-r--r--···0········0········0·12766848·2025-06-17·06:59:01.000000·data.tar.xz
⊟
787 B
control.tar.xz
⊟
759 B
control.tar
⊟
689 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-1.13 Version:·2.5.0-1.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:·648286 Installed-Size:·64828
7 Depends:·libelpi-ocaml-dev,·libcoq-core-ocaml-dev·(>=·8.17),·libcoq-stdlib-1ns11,·libcoq-core-ocaml-ub9d2,·libelpi-ocaml-bnh67,·libppx-deriving-ocaml-k42a0,·libstdlib-ocaml-m4xw9,·libzarith-ocaml-h79v17 Depends:·libelpi-ocaml-dev,·libcoq-core-ocaml-dev·(>=·8.17),·libcoq-stdlib-1ns11,·libcoq-core-ocaml-ub9d2,·libelpi-ocaml-bnh67,·libppx-deriving-ocaml-k42a0,·libstdlib-ocaml-m4xw9,·libzarith-ocaml-h79v1
8 Provides:·libcoq-elpi-ousz28 Provides:·libcoq-elpi-r3mr7
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.75 KB
data.tar.xz
⊟
4.72 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·<>·Module16
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/aarch64-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·3093·e0a2·0502·6404·0441·9040·4004··e50.....d..A.@@.00000900:·6531·3693·e0a2·0502·6404·0441·9040·4004··e16.....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·809b·63f4··........@@@@..c.0007a420:·9005·0395·0503·94b0·4040·4040·482d·b9c1··........@@@@H-..
0007a430:·2d97·a1e3·843a·e245·00f5·806f·8495·a6be··-....:.E...o....0007a430:·40e2·51ae·2734·5c97·582f·24f9·8495·a6be··@.Q.'4\.X/$.....
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·809b·63f4·2d97·a1e3·843a··.....}..c.-....:0007a660:·0000·0007·a37d·482d·b9c1·40e2·51ae·2734··.....}H-..@.Q.'4
0007a670:·e245·00f5·806f·0000·0007·6f70·6171·7565··.E...o....opaque0007a670:·5c97·582f·24f9·0000·0007·6f70·6171·7565··\.X/$.....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·6a59·e979··............jY.y0007a6b0:·0000·0010·0000·0000·0000·008f·6a59·e979··............jY.y
0007a6c0:·cdb7·60b4·9868·8f17·7cd2·34e0·0000·0009··..`..h..|.4.....0007a6c0:·cdb7·60b4·9868·8f17·7cd2·34e0·0000·0009··..`..h..|.4.....
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 ousz21 r3mr7
Generated by diffoscope 301