ofs | hex dump | ascii |
---|
0000 | ed ab ee db 03 00 00 00 00 01 77 68 79 33 2d 61 6c 6c 2d 30 2e 37 31 2d 32 2e 66 63 31 37 00 00 | ..........why3-all-0.71-2.fc17.. |
0020 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
0040 | 00 00 00 00 00 00 00 00 00 00 00 00 00 01 00 05 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
0060 | 8e ad e8 01 00 00 00 00 00 00 00 07 00 00 04 84 00 00 00 3e 00 00 00 07 00 00 04 74 00 00 00 10 | ...................>.......t.... |
0080 | 00 00 01 0c 00 00 00 07 00 00 00 00 00 00 02 18 00 00 01 0d 00 00 00 06 00 00 02 18 00 00 00 01 | ................................ |
00a0 | 00 00 03 e8 00 00 00 04 00 00 02 44 00 00 00 01 00 00 03 ea 00 00 00 07 00 00 02 48 00 00 02 18 | ...........D...............H.... |
00c0 | 00 00 03 ec 00 00 00 07 00 00 04 60 00 00 00 10 00 00 03 ef 00 00 00 04 00 00 04 70 00 00 00 01 | ...........`...............p.... |
00e0 | 89 02 15 03 05 00 4f 90 e5 df 50 e9 4c 99 1a ca 34 65 01 08 5b 9b 0f ff 6d c2 fc e2 74 3d 49 d9 | ......O...P.L...4e..[...m...t=I. |
0100 | 3c 90 e3 38 7a 3a b8 b5 ad 6c 21 98 ff 4d 77 23 1e 60 35 85 90 b9 22 23 54 2c 3b 0d ab 75 61 8b | <..8z:...l!..Mw#.`5..."#T,;..ua. |
0120 | 4f bc 70 0e 4a e0 4c 2d 55 96 21 c2 04 a0 57 1d 59 a7 dc 50 25 5c 14 4a 5e fb f4 63 6f 3b 06 bf | O.p.J.L-U.!...W.Y..P%\.J^..co;.. |
0140 | 8d 19 d6 eb f7 7a 4a ce 6c 16 b5 61 ee 8a d4 b7 e2 ee 4b 6c 7f bb 9b 40 9c 62 66 7a 95 1d 5d c6 | .....zJ.l..a......Kl...@.bfz..]. |
0160 | 58 ec 93 70 60 52 24 40 c9 89 9c fd 3b 38 e0 db c4 ed 76 3e 81 6c b6 b9 da 03 00 c0 ce 26 ca 97 | X..p`R$@....;8....v>.l.......&.. |
0180 | ce 58 4e 86 25 bf de 36 73 8e 5d 02 47 a2 e5 5a 43 1d 8d a8 1b ed 28 bc 52 1f c3 4e 94 74 96 66 | .XN.%..6s.].G..ZC.....(.R..N.t.f |
01a0 | d6 6d d9 50 62 f7 8f b1 a2 ea 54 78 d7 68 49 2f 31 c4 2d 83 90 d0 9d e0 19 62 19 3e bf d8 49 97 | .m.Pb.....Tx.hI/1.-......b.>..I. |
01c0 | 69 ec 0b ab 90 6c f9 cf a0 59 97 bb 5f e0 5e 3c 4c e6 aa 12 3a 0b 77 c8 3a f7 e9 4f b3 2c dc 9a | i....l...Y.._.^<L...:.w.:..O.,.. |
01e0 | 4d c7 bf 54 5e ed 8f c9 0d 41 02 69 69 2d cf e7 ca da d9 62 46 91 a7 3a f2 51 bb 3b 12 57 fe d8 | M..T^....A.ii-.....bF..:.Q.;.W.. |
0200 | 95 cb b4 f6 0b 9f c5 9d bb 18 19 97 c5 b1 d3 ce 77 94 d1 29 16 b2 d2 f1 13 b5 cd db 73 20 b2 15 | ................w..)........s... |
0220 | 11 f3 af c5 88 25 22 0b 46 e5 47 bb 12 f5 cb c6 42 af 4b 6e 51 a9 93 ce 11 73 f7 8d 38 ed f1 ad | .....%".F.G.....B.KnQ....s..8... |
0240 | 9c 33 9a 6e 92 1b 16 5f 60 73 b3 e9 60 3b 75 f4 f1 d4 f1 08 53 c3 ed 92 be a2 26 7b 8f bb 9f 1b | .3.n..._`s..`;u.....S.....&{.... |
0260 | aa 4f 0f 9b 39 6e 40 8e 23 63 98 91 34 af 72 10 33 8c 6d ad 1e fe 78 dc db ef 4b 11 fa 02 7a 9e | .O..9n@.#c..4.r.3.m...x...K...z. |
0280 | fc 0c f4 4f 88 bb 2a 4c 4e a0 40 62 4d 3a 6c c4 21 84 d1 d7 c9 77 5a bb ae f9 4f 7b 55 4c 1b 61 | ...O..*LN.@bM:l.!....wZ...O{UL.a |
02a0 | 2a 43 60 04 28 95 7a fe 7d 7e 01 41 ba 4f b1 7a d9 85 0f e6 67 2e 2f 64 c0 fa 22 9c 41 95 1f f3 | *C`.(.z.}~.A.O.z....g./d..".A... |
02c0 | 2a 09 89 b7 1e 33 92 76 9c 95 be b4 03 3c 7e 90 28 1f 97 98 0b 2c 46 25 ba d5 2a 5d ba c0 67 aa | *....3.v.....<~.(....,F%..*]..g. |
02e0 | 46 1a 49 cd f3 48 be c8 dd 02 0c 2c 77 18 0a 27 1a 69 6e 4d 6d a2 17 ea 66 32 37 31 35 63 65 37 | F.I..H.....,w..'.inMm...f2715ce7 |
0300 | 36 36 31 38 34 61 66 63 31 65 36 34 38 61 62 36 31 62 34 36 66 35 39 66 30 34 35 39 65 35 38 36 | 66184afc1e648ab61b46f59f0459e586 |
0320 | 00 00 00 00 00 00 07 21 89 02 15 03 05 00 4f 90 e5 df 50 e9 4c 99 1a ca 34 65 01 08 07 57 10 00 | .......!......O...P.L...4e...W.. |
0340 | ca ad 2c 84 13 12 c6 08 92 7b 08 b6 90 b0 c9 3f cc c4 0d 9a 19 5a a7 4c fe b3 8d d2 75 ef 4d b8 | ..,......{.....?.....Z.L....u.M. |
0360 | e3 ca 69 58 c3 19 47 9b 26 87 de 78 30 53 57 b3 e5 71 3c 18 f4 a9 b5 ab 42 90 67 e6 9b 00 f4 da | ..iX..G.&..x0SW..q<.....B.g..... |
0380 | 66 a1 af 6c be 50 e6 45 86 a2 73 3e 8e 1a 1d 70 4c 5f 49 f2 e8 90 e6 47 ad 5f 83 94 63 e4 38 f6 | f..l.P.E..s>...pL_I....G._..c.8. |
03a0 | 61 e5 80 24 4e be 45 ac 4e 21 01 b9 ce dd da 23 0e 5d 7d f9 6b 0f 99 5a 5e 7c 1c 5c bd 61 97 a4 | a..$N.E.N!.....#.]}.k..Z^|.\.a.. |
03c0 | 32 c8 33 34 e1 ac 7e ac 44 f1 56 b1 f0 12 f5 81 b0 25 10 1e 01 94 32 68 13 e9 de d3 b8 c6 ba 71 | 2.34..~.D.V......%....2h.......q |
03e0 | 86 3d 13 0a 8d 10 3b fa b6 87 de 92 f1 6b f1 da 5b e2 40 0d 4a 7c d5 27 42 ad 0f a6 42 8a 6c ce | .=....;......k..[.@.J|.'B...B.l. |
0400 | eb 54 95 05 3b bb e0 c9 4d 46 a9 d1 91 1a ac 14 a7 1e ec 4e 19 e4 25 54 b3 8e f3 ee 07 19 5f 2e | .T..;...MF.........N..%T......_. |
0420 | d8 96 31 06 47 d7 ba 91 3c a3 dd bb 48 20 fe f6 f5 f1 41 d5 b2 e2 b2 e2 c8 b2 f9 3a ee ba 79 b7 | ..1.G...<...H.....A........:..y. |
0440 | 74 fe 11 6e 2b 8d 0b dc 46 14 7a 04 c9 bf 18 fe 66 dc 7a 00 f3 0f 21 bd 59 71 72 e3 46 c0 f8 88 | t..n+...F.z.....f.z...!.Yqr.F... |
0460 | 58 1d 6d 5c d4 b3 f1 09 a6 69 7e f0 b0 3b ea cb b4 56 dc a0 c3 ad 15 d5 7f a5 3b f1 eb 57 1a 66 | X.m\.....i~..;...V........;..W.f |
0480 | cb 54 c5 f9 59 ea 14 39 6e 9a 71 3b 9f 3b bf 3a 1a b1 d6 00 1f 89 1c 93 1d 2b d8 49 96 cb 8d 2f | .T..Y..9n.q;.;.:.........+.I.../ |
04a0 | 18 c2 23 e2 72 1c 38 43 a3 0f d9 4f bd 24 a3 69 c4 e9 39 74 f2 57 1f 83 dc 6b 40 a6 5a 31 a5 62 | ..#.r.8C...O.$.i..9t.W...k@.Z1.b |
04c0 | 61 f3 06 78 3d 96 e2 54 27 c3 6b 29 fb e9 dc 67 e0 54 ea 3c cc dc ba ab 60 dc 66 a8 43 74 1e c0 | a..x=..T'.k)...g.T.<....`.f.Ct.. |
04e0 | ad e8 bb 50 0a a6 bb 2c 22 55 73 52 c9 a2 64 69 ea d0 cb aa 76 54 d5 2f 78 0a 51 7e dd e9 44 df | ...P...,"UsR..di....vT./x.Q~..D. |
0500 | a0 f0 ad 7d 8f bd cd 7d f2 60 be 25 6e 9f 18 be 63 5b 17 4e c8 d5 bc 38 14 af 06 1f c6 55 f5 6b | ...}...}.`.%n...c[.N...8.....U.k |
0520 | db bf ee 4e c5 c2 08 48 47 85 32 8c 7f 81 bf c9 96 11 8a 9a c5 9a 1d b7 5e eb 40 8d da 14 34 96 | ...N...HG.2.............^.@...4. |
0540 | 2a 97 82 9f 6c 86 49 a6 81 d9 9b c0 17 61 f2 d8 00 00 00 7c 00 00 00 3e 00 00 00 07 ff ff ff 90 | *...l.I......a.....|...>........ |
0560 | 00 00 00 10 00 00 00 00 8e ad e8 01 00 00 00 00 00 00 00 23 00 00 04 6d 00 00 00 3f 00 00 00 07 | ...................#...m...?.... |
0580 | 00 00 04 5d 00 00 00 10 00 00 00 64 00 00 00 08 00 00 00 00 00 00 00 01 00 00 03 e8 00 00 00 06 | ...].......d.................... |
05a0 | 00 00 00 02 00 00 00 01 00 00 03 e9 00 00 00 06 00 00 00 0b 00 00 00 01 00 00 03 ea 00 00 00 06 | ................................ |
05c0 | 00 00 00 10 00 00 00 01 00 00 03 ec 00 00 00 09 00 00 00 17 00 00 00 01 00 00 03 ed 00 00 00 09 | ................................ |
05e0 | 00 00 00 4a 00 00 00 01 00 00 03 ee 00 00 00 04 00 00 00 d4 00 00 00 01 00 00 03 ef 00 00 00 06 | ...J............................ |
0600 | 00 00 00 d8 00 00 00 01 00 00 03 f1 00 00 00 04 00 00 00 f8 00 00 00 01 00 00 03 f2 00 00 00 06 | ................................ |
0620 | 00 00 00 fc 00 00 00 01 00 00 03 f3 00 00 00 06 00 00 01 0b 00 00 00 01 00 00 03 f6 00 00 00 06 | ................................ |
0640 | 00 00 01 1a 00 00 00 01 00 00 03 f7 00 00 00 06 00 00 01 31 00 00 00 01 00 00 03 f8 00 00 00 09 | ...................1............ |
0660 | 00 00 01 40 00 00 00 01 00 00 03 fc 00 00 00 06 00 00 01 4c 00 00 00 01 00 00 03 fd 00 00 00 06 | ...@...............L............ |
0680 | 00 00 01 60 00 00 00 01 00 00 03 fe 00 00 00 06 00 00 01 66 00 00 00 01 00 00 04 14 00 00 00 06 | ...`...............f............ |
06a0 | 00 00 01 6b 00 00 00 01 00 00 04 17 00 00 00 08 00 00 01 84 00 00 00 02 00 00 04 18 00 00 00 04 | ...k............................ |
06c0 | 00 00 01 a0 00 00 00 0a 00 00 04 19 00 00 00 08 00 00 01 c8 00 00 00 0a 00 00 04 1a 00 00 00 08 | ................................ |
06e0 | 00 00 02 59 00 00 00 0a 00 00 04 28 00 00 00 06 00 00 02 86 00 00 00 01 00 00 04 38 00 00 00 04 | ...Y.......(...............8.... |
0700 | 00 00 02 90 00 00 00 02 00 00 04 39 00 00 00 08 00 00 02 98 00 00 00 02 00 00 04 3a 00 00 00 08 | ...........9...............:.... |
0720 | 00 00 02 f0 00 00 00 02 00 00 04 58 00 00 00 04 00 00 03 78 00 00 00 02 00 00 04 59 00 00 00 08 | ...........X.......x.......Y.... |
0740 | 00 00 03 80 00 00 00 02 00 00 04 62 00 00 00 06 00 00 03 98 00 00 00 01 00 00 04 64 00 00 00 06 | ...........b...............d.... |
0760 | 00 00 04 37 00 00 00 01 00 00 04 6c 00 00 00 06 00 00 04 3c 00 00 00 01 00 00 13 93 00 00 00 04 | ...7.......l.......<............ |
0780 | 00 00 04 54 00 00 00 01 00 00 04 65 00 00 00 06 00 00 04 58 00 00 00 01 00 00 04 66 00 00 00 06 | ...T.......e.......X.......f.... |
07a0 | 00 00 04 5b 00 00 00 01 43 00 77 68 79 33 2d 61 6c 6c 00 30 2e 37 31 00 32 2e 66 63 31 37 00 43 | ...[....C.why3-all.0.71.2.fc17.C |
07c0 | 6f 6d 70 6c 65 74 65 20 57 68 79 33 20 73 6f 66 74 77 61 72 65 20 76 65 72 69 66 69 63 61 74 69 | omplete.Why3.software.verificati |
07e0 | 6f 6e 20 70 6c 61 74 66 6f 72 6d 20 73 75 69 74 65 00 54 68 69 73 20 70 61 63 6b 61 67 65 20 70 | on.platform.suite.This.package.p |
0800 | 72 6f 76 69 64 65 73 20 61 20 63 6f 6d 70 6c 65 74 65 20 73 6f 66 74 77 61 72 65 20 76 65 72 69 | rovides.a.complete.software.veri |
0820 | 66 69 63 61 74 69 6f 6e 20 70 6c 61 74 66 6f 72 6d 20 73 75 69 74 65 0a 62 61 73 65 64 20 6f 6e | fication.platform.suite.based.on |
0840 | 20 57 68 79 33 2c 20 69 6e 63 6c 75 64 69 6e 67 20 76 61 72 69 6f 75 73 20 61 75 74 6f 6d 61 74 | .Why3,.including.various.automat |
0860 | 65 64 20 61 6e 64 20 69 6e 74 65 72 61 63 74 69 76 65 20 70 72 6f 76 65 72 73 2e 00 4f 90 6b e5 | ed.and.interactive.provers..O.k. |
0880 | 78 38 36 2d 30 34 2e 70 68 78 32 2e 66 65 64 6f 72 61 70 72 6f 6a 65 63 74 2e 6f 72 67 00 00 00 | x86-04.phx2.fedoraproject.org... |
08a0 | 00 00 00 00 46 65 64 6f 72 61 20 50 72 6f 6a 65 63 74 00 46 65 64 6f 72 61 20 50 72 6f 6a 65 63 | ....Fedora.Project.Fedora.Projec |
08c0 | 74 00 4c 47 50 4c 76 32 20 77 69 74 68 20 65 78 63 65 70 74 69 6f 6e 73 00 46 65 64 6f 72 61 20 | t.LGPLv2.with.exceptions.Fedora. |
08e0 | 50 72 6f 6a 65 63 74 00 55 6e 73 70 65 63 69 66 69 65 64 00 68 74 74 70 3a 2f 2f 77 68 79 33 2e | Project.Unspecified.http://why3. |
0900 | 6c 72 69 2e 66 72 2f 00 6c 69 6e 75 78 00 69 36 38 36 00 77 68 79 33 2d 30 2e 37 31 2d 32 2e 66 | lri.fr/.linux.i686.why3-0.71-2.f |
0920 | 63 31 37 2e 73 72 63 2e 72 70 6d 00 77 68 79 33 2d 61 6c 6c 00 77 68 79 33 2d 61 6c 6c 28 78 38 | c17.src.rpm.why3-all.why3-all(x8 |
0940 | 36 2d 33 32 29 00 00 00 00 00 00 08 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | 6-32)........................... |
0960 | 01 00 00 0a 01 00 00 0a 01 00 00 0a 01 00 00 0a 77 68 79 33 28 78 38 36 2d 33 32 29 00 61 6c 74 | ................why3(x86-32).alt |
0980 | 2d 65 72 67 6f 00 63 6f 71 00 63 76 63 33 00 45 00 67 61 70 70 61 6c 69 62 2d 63 6f 71 00 72 70 | -ergo.coq.cvc3.E.gappalib-coq.rp |
09a0 | 6d 6c 69 62 28 46 69 6c 65 44 69 67 65 73 74 73 29 00 72 70 6d 6c 69 62 28 50 61 79 6c 6f 61 64 | mlib(FileDigests).rpmlib(Payload |
09c0 | 46 69 6c 65 73 48 61 76 65 50 72 65 66 69 78 29 00 72 70 6d 6c 69 62 28 43 6f 6d 70 72 65 73 73 | FilesHavePrefix).rpmlib(Compress |
09e0 | 65 64 46 69 6c 65 4e 61 6d 65 73 29 00 72 70 6d 6c 69 62 28 50 61 79 6c 6f 61 64 49 73 58 7a 29 | edFileNames).rpmlib(PayloadIsXz) |
0a00 | 00 30 2e 37 31 2d 32 2e 66 63 31 37 00 00 00 00 00 00 34 2e 36 2e 30 2d 31 00 34 2e 30 2d 31 00 | .0.71-2.fc17......4.6.0-1.4.0-1. |
0a20 | 33 2e 30 2e 34 2d 31 00 35 2e 32 2d 31 00 34 2e 39 2e 31 2e 33 00 00 00 4f 8f fe 40 4e eb 32 c0 | 3.0.4-1.5.2-1.4.9.1.3...O..@N.2. |
0a40 | 4a 65 72 72 79 20 4a 61 6d 65 73 20 3c 6c 6f 67 61 6e 6a 65 72 72 79 40 67 6d 61 69 6c 2e 63 6f | Jerry.James.<loganjerry@gmail.co |
0a60 | 6d 3e 20 2d 20 30 2e 37 31 2d 32 00 4a 65 72 72 79 20 4a 61 6d 65 73 20 3c 6c 6f 67 61 6e 6a 65 | m>.-.0.71-2.Jerry.James.<loganje |
0a80 | 72 72 79 40 67 6d 61 69 6c 2e 63 6f 6d 3e 20 2d 20 30 2e 37 31 2d 31 00 2d 20 41 64 64 20 6d 69 | rry@gmail.com>.-.0.71-1.-.Add.mi |
0aa0 | 73 73 69 6e 67 20 73 71 6c 69 74 65 2d 64 65 76 65 6c 20 42 52 0a 2d 20 44 6f 20 6e 6f 74 20 6d | ssing.sqlite-devel.BR.-.Do.not.m |
0ac0 | 6f 76 65 20 74 68 65 20 63 6f 71 20 70 6c 75 67 69 6e 0a 2d 20 47 65 6e 65 72 61 74 65 20 64 65 | ove.the.coq.plugin.-.Generate.de |
0ae0 | 62 75 67 69 6e 66 6f 20 66 6f 72 20 74 68 65 20 73 6f 6c 65 20 43 20 70 72 6f 67 72 61 6d 0a 2d | buginfo.for.the.sole.C.program.- |
0b00 | 20 41 64 64 20 6d 61 6e 20 70 61 67 65 73 00 2d 20 49 6e 69 74 69 61 6c 20 52 50 4d 00 00 00 00 | .Add.man.pages.-.Initial.RPM.... |
0b20 | 00 00 00 08 00 00 00 08 30 2e 37 31 2d 32 2e 66 63 31 37 00 30 2e 37 31 2d 32 2e 66 63 31 37 00 | ........0.71-2.fc17.0.71-2.fc17. |
0b40 | 2d 4f 32 20 2d 67 20 2d 70 69 70 65 20 2d 57 61 6c 6c 20 2d 57 70 2c 2d 44 5f 46 4f 52 54 49 46 | -O2.-g.-pipe.-Wall.-Wp,-D_FORTIF |
0b60 | 59 5f 53 4f 55 52 43 45 3d 32 20 2d 66 65 78 63 65 70 74 69 6f 6e 73 20 2d 66 73 74 61 63 6b 2d | Y_SOURCE=2.-fexceptions.-fstack- |
0b80 | 70 72 6f 74 65 63 74 6f 72 20 2d 2d 70 61 72 61 6d 3d 73 73 70 2d 62 75 66 66 65 72 2d 73 69 7a | protector.--param=ssp-buffer-siz |
0ba0 | 65 3d 34 20 20 2d 6d 33 32 20 2d 6d 61 72 63 68 3d 69 36 38 36 20 2d 6d 74 75 6e 65 3d 61 74 6f | e=4..-m32.-march=i686.-mtune=ato |
0bc0 | 6d 20 2d 66 61 73 79 6e 63 68 72 6f 6e 6f 75 73 2d 75 6e 77 69 6e 64 2d 74 61 62 6c 65 73 00 63 | m.-fasynchronous-unwind-tables.c |
0be0 | 70 69 6f 00 69 36 38 36 2d 72 65 64 68 61 74 2d 6c 69 6e 75 78 2d 67 6e 75 00 00 00 00 00 00 08 | pio.i686-redhat-linux-gnu....... |
0c00 | 78 7a 00 32 00 00 00 00 3f 00 00 00 07 ff ff fd d0 00 00 00 10 fd 37 7a 58 5a 00 00 0a e1 fb 0c | xz.2....?.............7zXZ...... |
0c20 | a1 02 00 21 01 12 00 00 00 23 b8 87 2c e0 00 7b 00 1d 5d 00 18 0d dd 04 62 33 02 3b 41 e5 50 07 | ...!.....#..,..{..].....b3.;A.P. |
0c40 | 74 71 42 b4 a4 a9 97 26 de c7 b1 c9 2e 1c ff 18 00 00 00 00 00 23 d0 42 2b 4f ea 28 f7 71 e8 72 | tqB....&.............#.B+O.(.q.r |
0c60 | 74 1b b3 70 79 0b 3c d0 53 8e af b4 61 23 3e 82 0b 84 b5 7a 2e 00 01 51 7c 29 e4 95 da 18 9b 4b | t..py.<.S...a#>....z...Q|).....K |
0c80 | 9a 01 00 00 00 00 0a 59 5a | .......YZ |