blob: 774773f5faaf2232d015e21ee046cb0ac67bb21c (plain)

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