--- /tmp/why3-1.4.0-1wy5rf009/debian/why3-doc-pdf_1.4.0-1_all.deb +++ why3-doc-pdf_1.4.0-1_all.deb ├── file list │ @@ -1,3 +1,3 @@ │ -rw-r--r-- 0 0 0 4 2021-11-23 13:26:23.000000 debian-binary │ --rw-r--r-- 0 0 0 1268 2021-11-23 13:26:23.000000 control.tar.xz │ +-rw-r--r-- 0 0 0 1272 2021-11-23 13:26:23.000000 control.tar.xz │ -rw-r--r-- 0 0 0 1263624 2021-11-23 13:26:23.000000 data.tar.xz ├── control.tar.xz │ ├── control.tar │ │ ├── ./md5sums │ │ │ ├── ./md5sums │ │ │ │┄ Files differ ├── data.tar.xz │ ├── data.tar │ │ ├── ./usr/share/doc/why3-doc-pdf/manual.pdf │ │ │┄ Command `'dumppdf -adt {}'` failed with exit code 1. Standard output: │ │ │┄ DEBUG:pdfminer.psparser:seek: 0 │ │ │┄ DEBUG:pdfminer.pdfdocument:find_xref: b'' │ │ │┄ DEBUG:pdfminer.pdfdocument:find_xref: b'%%EOF' │ │ │┄ DEBUG:pdfminer.pdfdocument:find_xref: b'1273121' │ │ │┄ DEBUG:pdfminer.pdfdocument:find_xref: b'st [...] │ │ │ @@ -50013,37 +50013,37 @@ │ │ │ 000c35c0: fcbd 3dbd 5c35 ba68 bb43 1c62 989d 7680 ..=.\5.h.C.b..v. │ │ │ 000c35d0: a306 8f90 4766 8a2d 412c 3167 1e11 5db6 ....Gf.-A,1g..]. │ │ │ 000c35e0: 7767 8447 f676 0479 7494 88e9 7694 88e1 wg.G.v.yt...v... │ │ │ 000c35f0: 1ba3 c4db d5f2 f2a2 7b9b 7963 270d 784e ........{.yc'.xN │ │ │ 000c3600: 2ee7 cd0a 549b b5ab a542 e446 b9af 7e7b ....T....B.F..~{ │ │ │ 000c3610: 76b6 d95c ac5f 4ea7 f574 655e 3b5f ebe5 v..\._N..te^;_.. │ │ │ 000c3620: eaf4 b7e7 cf01 6ed5 cc98 a6f7 679b 463d ......n.....g.F= │ │ │ -000c3630: db7f e930 612c 7db1 3e04 2fbf 3edf 9e10 ...0a,}.>./.>... │ │ │ -000c3640: 6d78 8312 47ab cb86 1740 8bd9 baa9 069e mx..G....@...... │ │ │ -000c3650: ee1d 1efe b277 f0e7 fde6 9fb3 9f2f 0f9b .....w......./.. │ │ │ -000c3660: 55fb 3b4c dfae d69b 3767 b315 b2d5 64fa U.;L....7g....d. │ │ │ -000c3670: c3ec eac0 3adb b965 bf59 cf57 edc5 66b9 ....:..e.Y.W..f. │ │ │ -000c3680: ea5e e1d6 69fe 6531 5f9e b48b 5335 fda5 .^..i.e1_...S5.. │ │ │ -000c3690: 5dbc 5eac dbfe c404 274e 3667 8c93 523d ].^.....'N6g..R= │ │ │ -000c36a0: 77fb 936b 8610 e9ae d6d7 d275 13ec 6ec9 w..k.......u..n. │ │ │ -000c36b0: fecf dcfb 89d1 3f70 d570 cbf7 fa9b 1fee ......?p.p...... │ │ │ -000c36c0: 0ae0 3be2 4ebe 802f b697 abbb 68fc 14e4 ..;.N../....h... │ │ │ -000c36d0: 79be 01e7 bf48 f098 fb0a f836 b6de e7eb y....H.....6.... │ │ │ -000c36e0: 375f ceb3 b63a 5afe 6dd1 62ee 0dad b3b5 7_...:Z.m.b..... │ │ │ -000c36f0: 7dfa c52b 5f4c d899 f4af b34f cd3d cec0 }..+_L.....O.=.. │ │ │ -000c3700: d583 d9a7 f6fc 33fc 5d2f a87a 0564 3838 ......3.]/.z.d88 │ │ │ -000c3710: 9f9d aeab 8f28 b457 c9a8 5e24 10ed 85b0 .....(.W..^$.... │ │ │ -000c3720: eae3 bf90 586b 5879 7ebf 999d b7f3 d78b ....XkXy~....... │ │ │ -000c3730: d3f3 4619 2ce9 f59c 242d 2e63 3536 ddc1 ..F.,...$-.c56.. │ │ │ -000c3740: 0b54 8920 d8ec e25d d39e 9e6d ea9d 20cf .T. ...]...m.. . │ │ │ -000c3750: a6f9 f4b3 caa6 1bbd aba3 0aa9 3d6f eadb ............=o.. │ │ │ -000c3760: 7adf 4f10 ee9b 20c6 9b1b 33ad d49f 3074 z.O... ...3...0t │ │ │ -000c3770: 1cad 668b f505 97c6 fc33 d0a8 0da8 8887 ..f......3...... │ │ │ -000c3780: e1ca 7ef3 ef76 debc 7fbb b715 1d62 7c38 ..~..v.......b|8 │ │ │ -000c3790: 8cfc 172a 0874 bf0a 656e 6473 7472 6561 ...*.t..endstrea │ │ │ +000c3630: db7f e930 612c 7d58 cf1a 5b7e 7dbe 3d21 ...0a,}X..[~}.=! │ │ │ +000c3640: daf0 0625 8e56 970d 2f80 16b3 7553 0d3c ...%.V../...uS.< │ │ │ +000c3650: dd3b 3cfc 65ef e0cf fbcd 3f67 3f5f 1e36 .;<.e.....?g?_.6 │ │ │ +000c3660: abf6 7798 be5d ad37 6fce 662b 64ab c9f4 ..w..].7o.f+d... │ │ │ +000c3670: 87d9 d581 75b6 73cb 7eb3 9eaf da8b cd72 ....u.s.~......r │ │ │ +000c3680: d5bd c2ad d3fc cb62 be3c 6917 a76a fa4b .......b.;]W.Qh..Q.H ..a │ │ │ +000c3720: d5c7 7f21 b1d6 b0f2 fc7e 333b 6fe7 af17 ...!.....~3;o... │ │ │ +000c3730: a7e7 8d32 58d2 eb39 495a 5cc6 6a6c ba83 ...2X..9IZ\.jl.. │ │ │ +000c3740: 17a8 1241 b0d9 c5bb a63d 3ddb d43b 419e ...A.....==..;A. │ │ │ +000c3750: 4df3 e967 954d 377a 5747 1552 7bde d4b7 M..g.M7zWG.R{... │ │ │ +000c3760: f5be 9f20 dc37 418c 3737 665a a93f 61e8 ... .7A.77fZ.?a. │ │ │ +000c3770: 385a cd16 eb0b 2e8d f967 a051 1b50 110f 8Z.......g.Q.P.. │ │ │ +000c3780: c395 fde6 dfed bc79 ff76 6f2b 3ac4 f870 .......y.vo+:..p │ │ │ +000c3790: 18f9 2f1b 6574 ba0a 656e 6473 7472 6561 ../.et..endstrea │ │ │ 000c37a0: 6d0a 656e 646f 626a 0a32 3638 3020 3020 m.endobj.2680 0 │ │ │ 000c37b0: 6f62 6a0a 3c3c 0a2f 4c65 6e67 7468 2032 obj.<<./Length 2 │ │ │ 000c37c0: 3230 3220 2020 2020 200a 2f46 696c 7465 202 ./Filte │ │ │ 000c37d0: 7220 2f46 6c61 7465 4465 636f 6465 0a3e r /FlateDecode.> │ │ │ 000c37e0: 3e0a 7374 7265 616d 0a78 dadd 594b 6fdc >.stream.x..YKo. │ │ │ 000c37f0: c811 beeb 57f0 c801 3c9d 7e93 dcc3 02bb ....W...<.~..... │ │ │ 000c3800: cada d885 9320 8e90 1c6c 1fa8 9996 4498 ..... ...l....D. │ │ │ @@ -55369,60 +55369,60 @@ │ │ │ 000d8480: 6f44 bfb2 1f6f 55c4 7e0a 2942 6a57 f494 oD...oU.~.)BjW.. │ │ │ 000d8490: b543 4279 f384 7a39 855e 4e93 2fe6 dab7 .CBy..z9.^N./... │ │ │ 000d84a0: 4d9a d9f0 95a4 59f6 be37 4b9a 5f4c 2767 M.....Y..7K._L'g │ │ │ 000d84b0: a7aa 6ca9 e579 d123 f01c 9d0d aba9 7a34 ..l..y.#......z4 │ │ │ 000d84c0: 1c8c a613 25f1 ae8d faeb d1c7 f9fc 74f6 ....%.........t. │ │ │ 000d84d0: 63bf 5f5e 1f4f 07a7 1f47 c399 9e4c 8fff c._^.O...G...L.. │ │ │ 000d84e0: 7afc 18e0 a6d5 4016 cbad c1bc 528f b67e z.....@.....R..~ │ │ │ -000d84f0: b418 2321 4b24 ac26 debd 7d7c 7140 3287 ..#!K$.&..}|q@2. │ │ │ -000d8500: 4b9e b63f 3dab a400 de36 9855 6582 fbaf K..?=....6.Ue... │ │ │ -000d8510: 5e1c bcdd 7ff9 9fad eaef c1c1 d95e 351d ^............^5. │ │ │ -000d8520: 7dc0 d48f a6b3 f9e6 c7c1 1451 d7eb ff32 }..........Q...2 │ │ │ -000d8530: 583c 90b5 b559 b6aa d970 3a3a 9d4f a6f5 X<...Y...p::.O.. │ │ │ -000d8540: 7943 19e6 f3f1 7072 341a 1fab fe9b d178 yC....pr4......x │ │ │ -000d8550: 633c 1b35 2f7a 7871 34ff 28db 0673 ed8f c<.5/zxq4.(..s.. │ │ │ -000d8560: 7372 d021 768d 2e7e f5d7 74fa 134c f98b sr.!v..~..t..L.. │ │ │ -000d8570: dd43 c4e6 3d44 53ff c7d6 43b6 bc22 031b .C..=DS...C..".. │ │ │ -000d8580: 65d5 fccf 72b4 2047 0e08 c0ba d463 bb53 e...r. G.....c.S │ │ │ -000d8590: 8809 7b72 2909 c5ee b279 1029 d808 9fd8 ..{r)....y.).... │ │ │ -000d85a0: 9fbc 1e8f 301b 95cc 5758 7683 d576 c25f ....0...WXv..v._ │ │ │ -000d85b0: b36c a4bd 83dd 9d83 4b46 3a9f ef9d 2338 .l......KF:...#8 │ │ │ -000d85c0: dc68 fef9 c94b 8417 4c53 8d8f 06e3 b9d4 .h...K..LS...... │ │ │ -000d85d0: 2c5b 35c9 dad1 e365 1869 358c 73db d6b6 ,[5....e.i5.s... │ │ │ -000d85e0: fe6d f0a9 bac6 4b50 ba3d f834 3af9 0c47 .m....KP.=.4:..G │ │ │ -000d85f0: 2c05 aa94 c04b b74f 06c7 b3e2 3ca2 f4ac ,....K.O....<... │ │ │ -000d8600: 4489 7a92 6256 4f9c 8fca 225f 5544 2603 D.z.bVO..."_UD&. │ │ │ -000d8610: d3ce 7c70 321a 6e8c 8f4f 2a85 316f 08fc ..|p2.n..O*.1o.. │ │ │ -000d8620: b9ca 969b b1cc d513 6c85 e1f9 83d3 97d5 ........l....... │ │ │ -000d8630: e8f8 e3bc d4c4 6ccd ab4f 078a 4d2d bd2c ......l..O..M-., │ │ │ -000d8640: 5281 343a a9e4 5882 b875 9e37 77b6 e48d R.4:..X..u.7w... │ │ │ -000d8650: 94d9 b6e9 86ee dee7 197a da19 7f98 2869 .........z....(i │ │ │ -000d8660: f255 753c 9acd a718 fdc6 d1e4 7d85 61ef .Uu<........}.a. │ │ │ -000d8670: 0a85 8b49 1e35 2679 2cbd 9d9e 9e54 9f64 ...I.5&y,....T.d │ │ │ -000d8680: 2046 d05c 8d20 5b13 43ff 4d89 9043 25e7 F.\. [.C.M..C%. │ │ │ -000d8690: 4131 c677 859d 5ccc 6b59 6815 e656 0bf9 A1.w..\.kYh..V.. │ │ │ -000d86a0: fb34 504d d532 466b 5d2f 62df dfa3 c471 .4PM.2Fk]/b....q │ │ │ -000d86b0: 69b4 8539 7bb2 a0ed 4f07 e3d9 a930 ebf0 i..9{...O....0.. │ │ │ -000d86c0: 3320 a939 980c 3da2 64ab fadf 6858 bd7a 3 .9..=.d...hX.z │ │ │ -000d86d0: f16c 7981 91c3 d2b5 d6b6 8b8a 0869 1b74 .ly..........i.t │ │ │ -000d86e0: f4ee a62b 9198 f58f ddf7 7fcb 3a2d 8a3b ...+........:-.; │ │ │ -000d86f0: 9fa8 9c27 dbbb 2d3f 365d 5d7e 6cb8 e5f2 ...'..-?6]]~l... │ │ │ -000d8700: 63f3 435c 7e7e db7d fdfc e0e7 f596 1fe2 c.C\~~.}........ │ │ │ -000d8710: 15c1 e36c 17cb 8f59 2c3e dffe 27e4 7a09 ...l...Y,>..'.z. │ │ │ -000d8720: bb7e 9931 2d8b 8c2c 2efe 129b 3b77 1336 .~.1-..,....;w.6 │ │ │ -000d8730: 5f39 e90f 9bcd eba3 d142 16d9 f7bc 4da1 _9.......B....M. │ │ │ -000d8740: 139e b071 4d9e b8a0 08ab 38ec 46ac ed80 ...qM.....8.F... │ │ │ -000d8750: 27e4 5b16 dfed 6c97 ddd5 b35d f9c4 703b '.[...l....]..p; │ │ │ -000d8760: 9ef0 f410 7962 6bf3 f9ce eeeb 3ba4 a9be ....ybk.....;... │ │ │ -000d8770: e334 f57b 31c5 724a da96 90d6 e5d7 27a4 .4.{1.rJ......'. │ │ │ -000d8780: 6645 3aea c34d 9863 a519 1e36 73f8 d80c fE:..M.c...6s... │ │ │ -000d8790: 10d3 d5f3 3999 bb32 c783 8989 dd37 db7b ....9..2.....7.{ │ │ │ -000d87a0: 9b77 8889 40df 6eeb 765e fe8d 366e 2bb6 .w..@.n.v^..6n+. │ │ │ -000d87b0: 6ced f171 d3e8 08f6 46d1 b1ca 200f 3b3a l..q....F... .;: │ │ │ -000d87c0: c297 c4c1 79ea 85e4 e89b b9b8 bf85 8bff ....y........... │ │ │ +000d84f0: b418 2391 4dd6 c8d6 eded e38b 0392 395c ..#.M.........9\ │ │ │ +000d8500: f2b4 fde9 5925 05f0 b6c1 ac2a 13dc 7ff5 ....Y%.....*.... │ │ │ +000d8510: e2e0 edfe cbff 6c55 7f0f 0ece f6aa e9e8 ......lU........ │ │ │ +000d8520: 03a6 7e34 9dcd 373f 0ea6 88ba 5eff 97c1 ..~4..7?....^... │ │ │ +000d8530: e281 acad cdb2 55cd 86d3 d1e9 7c32 adcf ......U.....|2.. │ │ │ +000d8540: 1bca 309f 8f87 93a3 d1f8 58f5 df8c c61b ..0.......X..... │ │ │ +000d8550: e3d9 a879 d1c3 8ba3 f947 d936 986b 7f9c ...y.....G.6.k.. │ │ │ +000d8560: 9383 0eb1 6b74 f1ab bfa6 d39f 60ca 5fec ....kt......`._. │ │ │ +000d8570: 1e22 36ef 219a fa3f b61e b2e5 1519 d828 ."6.!..?.......( │ │ │ +000d8580: abe6 7f96 a305 3972 4000 d6a5 1edb 9d42 ......9r@......B │ │ │ +000d8590: 4cd8 934b 4928 7697 cd83 48c1 46f8 c4fe L..KI(v...H.F... │ │ │ +000d85a0: e4f5 7884 d9a8 64be c2b2 1bac b613 fe9a ..x...d......... │ │ │ +000d85b0: 6523 ed1d ecee 1c5c 32d2 f97c ef1c c1e1 e#.....\2..|.... │ │ │ +000d85c0: 46f3 cf4f 5e22 bc60 9a6a 7c34 18cf a566 F..O^".`.j|4...f │ │ │ +000d85d0: d9aa 49d6 8e1e 2fc3 48ab 619c dbb6 b6f5 ..I.../.H.a..... │ │ │ +000d85e0: 6f83 4fd5 355e 82d2 edc1 a7d1 c967 3862 o.O.5^.......g8b │ │ │ +000d85f0: 2950 a504 5eba 7d32 389e 15e7 11a5 6725 )P..^.}28.....g% │ │ │ +000d8600: 4ad4 9314 b37a e27c 5416 f9aa 2232 1998 J....z.|T..."2.. │ │ │ +000d8610: 76e6 8393 d170 637c 7c52 298c 7943 e0cf v....pc||R).yC.. │ │ │ +000d8620: 55b6 dc8c 65ae 9e60 2b0c cf1f 9cbe ac46 U...e..`+......F │ │ │ +000d8630: c71f e7a5 2666 6b5e 7d3a 506c 6ae9 6591 ....&fk^}:Plj.e. │ │ │ +000d8640: 0aa4 d149 25c7 12c4 adf3 bcb9 b325 6fa4 ...I%........%o. │ │ │ +000d8650: ccb6 4d37 74f7 3ecf d0d3 cef8 c344 4993 ..M7t.>......DI. │ │ │ +000d8660: afaa e3d1 6c3e c5e8 378e 26ef 2b0c 7b57 ....l>..7.&.+.{W │ │ │ +000d8670: 285c 4cf2 a831 c963 e9ed f4f4 a4fa 2403 (\L..1.c......$. │ │ │ +000d8680: 3182 e66a 04d9 9a18 fa6f 4a84 1c2a 390f 1..j.....oJ..*9. │ │ │ +000d8690: 8a31 be2b ece4 625e cb42 ab30 b75a c8df .1.+..b^.B.0.Z.. │ │ │ +000d86a0: a781 6aaa 9631 5aeb 7a11 fbfe 1e25 8e4b ..j..1Z.z....%.K │ │ │ +000d86b0: a32d ccd9 9305 6d7f 3a18 cf4e 8559 879f .-....m.:..N.Y.. │ │ │ +000d86c0: 0149 cdc1 64e8 1125 5bd5 ff46 c3ea d58b .I..d..%[..F.... │ │ │ +000d86d0: 67cb 0b8c 1c96 aeb5 b65d 5444 48db a0a3 g........]TDH... │ │ │ +000d86e0: 7737 5d89 c4ac 7fec beff 5bd6 6951 dcf9 w7].......[.iQ.. │ │ │ +000d86f0: 44e5 3cd9 de6d f9b1 e9ea f263 c32d 971f D.<..m.....c.-.. │ │ │ +000d8700: 9b1f e2f2 f3db eeeb e707 3faf b7fc 10af ..........?..... │ │ │ +000d8710: 081e 67bb 587e cc62 f1f9 f63f 21d7 4bd8 ..g.X~.b...?!.K. │ │ │ +000d8720: f5cb 8c69 5964 6471 f197 d8dc b99b b0f9 ...iYddq........ │ │ │ +000d8730: ca49 7fd8 6c5e 1f8d 16b2 c8be e76d 0a9d .I..l^.......m.. │ │ │ +000d8740: f084 8d6b f2c4 0545 58c5 6137 626d 073c ...k...EX.a7bm.< │ │ │ +000d8750: 21df b2f8 6e67 bbec ae9e edca 2786 dbf1 !...ng......'... │ │ │ +000d8760: 84a7 87c8 135b 9bcf 7776 5fdf 214d f51d .....[..wv_.!M.. │ │ │ +000d8770: a7a9 df8b 2996 53d2 b684 b42e bf3e 2135 ....).S......>!5 │ │ │ +000d8780: 2bd2 511f 6ec2 1c2b cdf0 b099 c3c7 6680 +.Q.n..+......f. │ │ │ +000d8790: 98ae 9ecf c9dc 9539 be41 4c58 739b 98d8 .......9.ALXs... │ │ │ +000d87a0: 7db3 bdb7 7987 9808 f4ed b66e e7e5 df68 }...y......n...h │ │ │ +000d87b0: e3b6 62cb d61e 1f37 8d8e 606f 141d ab0c ..b....7..`o.... │ │ │ +000d87c0: f2b0 a323 7c49 1c9c a75e 488e 1e94 8bff ...#|I...^H..... │ │ │ 000d87d0: b9bd f7eb eec1 5d5c 9cff fdb4 df76 0eb1 ......]\.....v.. │ │ │ 000d87e0: d2b1 f34d 1c7b a519 1eb6 6347 734e fbb1 ...M.{....cGsN.. │ │ │ 000d87f0: 178c 3dbf 7320 174a d6cb fadc c573 ca44 ..=.s .J.....s.D │ │ │ 000d8800: acfd 3a8a c11a 4d26 b52b da68 345f 3e22 ..:...M&.+.h4_>" │ │ │ 000d8810: bd55 1e29 778b 7871 7f00 8fe5 c252 f8f2 .U.)w.xq.....R.. │ │ │ 000d8820: 2837 9438 de2d cb8c 2bb2 ccb8 6696 2957 (7.8.-..+...f.)W │ │ │ 000d8830: 842e dd20 e0b8 f898 2ff7 5d6a 21fa 4608 ... ..../.]j!.F. │ │ │ @@ -55443,15 +55443,15 @@ │ │ │ 000d8920: ce5e aebd 7aed 4146 141d 22a0 0d49 972c .^..z.AF.."..I., │ │ │ 000d8930: 4099 75c4 bc23 e86d 7da5 5607 aca1 195c @.u..#.m}.V....\ │ │ │ 000d8940: 4d6d 9147 573e 6ff2 e2ce 597b e45d 5094 Mm.GW>o...Y{.]P. │ │ │ 000d8950: af96 201d 8e6b 281a 98ca 8776 45a1 350a .. ..k(....vE.5. │ │ │ 000d8960: a95d 9118 73ee 680d c5e0 602c b786 a2dc .]..s.h...`,.... │ │ │ 000d8970: 2069 5763 8b29 5c8f 1b2e de5a bcfe 76e3 iWc.)\....Z..v. │ │ │ 000d8980: a5f8 5f8a f1cb 6c70 8953 9658 e4eb 6cf0 .._...lp.S.X..l. │ │ │ -000d8990: 7f04 b656 640a 656e 6473 7472 6561 6d0a ...Vd.endstream. │ │ │ +000d8990: 7f36 2456 3a0a 656e 6473 7472 6561 6d0a .6$V:.endstream. │ │ │ 000d89a0: 656e 646f 626a 0a32 3930 3120 3020 6f62 endobj.2901 0 ob │ │ │ 000d89b0: 6a0a 3c3c 0a2f 4c65 6e67 7468 2032 3936 j.<<./Length 296 │ │ │ 000d89c0: 3320 2020 2020 200a 2f46 696c 7465 7220 3 ./Filter │ │ │ 000d89d0: 2f46 6c61 7465 4465 636f 6465 0a3e 3e0a /FlateDecode.>>. │ │ │ 000d89e0: 7374 7265 616d 0a78 daed 1b6b 8fdb b8f1 stream.x...k.... │ │ │ 000d89f0: fbfe 0aa3 9fe4 c399 115f 7a04 4dd1 a6ed ........._z.M... │ │ │ 000d8a00: 15bd 6f4d b7b8 0f49 10c8 16bd 1622 4b3e ..oM...I....."K>