ofs | hex dump | ascii |
---|
0000 | ed ab ee db 03 00 00 00 00 01 77 68 79 2d 61 6c 6c 2d 32 2e 32 36 2d 31 2e 66 63 31 34 00 00 00 | ..........why-all-2.26-1.fc14... |
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 4c b3 6f c4 42 1c ad db 97 a1 07 1f 01 08 36 eb 0f fe 3f a1 92 fa 66 6d dd 8c | ......L.o.B.........6...?...fm.. |
0100 | 4e 53 68 76 59 7a f7 52 9f 2d ef 62 b6 5b 1e ef b1 e6 8b fc 2f 56 b0 18 44 fa 89 c8 6a ba bd ac | NShvYz.R.-.b.[....../V..D...j... |
0120 | fa 2c 2d 25 9c f2 16 d0 d8 66 13 4d 94 95 f9 9d f1 ba 0f 88 29 19 7c bb c7 19 4d f9 3d a1 5b b6 | .,-%.....f.M........).|...M.=.[. |
0140 | 09 e9 92 ac ba f2 40 d1 92 3a 54 59 3e b4 ad 76 6b 5f d8 94 c8 be 14 57 a2 78 06 11 ef 37 a4 ce | ......@..:TY>..vk_.....W.x...7.. |
0160 | 2d fa c9 f8 90 cd 12 65 fe 9c ad ed 66 fb a0 96 c7 e7 03 ed 68 08 14 87 b0 3c 04 8c 64 93 67 04 | -......e....f.......h....<..d.g. |
0180 | f9 dd db 7d 7d c9 49 ba 1d cc b5 60 a7 75 29 8a c7 9f 90 a8 53 9d 92 04 6a de d8 48 06 22 7f 83 | ...}}.I....`.u).....S...j..H.".. |
01a0 | eb 90 77 19 bc 7e 41 63 7c 7a 4a 1e 5c e3 7b 33 2c bd aa c3 3f 9f 96 80 a4 7d 82 ff 0d 83 e6 17 | ..w..~Ac|zJ.\.{3,...?....}...... |
01c0 | 85 05 dc ec 74 59 ba 26 9c 1d 2f cf 98 f0 33 d5 45 cb 9e e9 f5 85 a4 3d fd 94 6d 65 c8 11 33 85 | ....tY.&../...3.E......=..me..3. |
01e0 | 01 89 f2 48 1c ef 78 f9 aa d9 9c 4a 46 99 44 84 52 14 bb 79 e6 d1 ed 1b 6b 2d a3 12 99 5d d9 56 | ...H..x....JF.D.R..y....k-...].V |
0200 | be e4 33 56 b8 da 5d 1b 80 75 00 c2 62 0f d4 10 94 d7 d0 37 7d b8 63 d5 e6 ff 92 95 3a c0 3d b7 | ..3V..]..u..b......7}.c.....:.=. |
0220 | fc ea a5 20 84 57 a2 07 0e 50 ce 62 39 43 17 e5 c4 d7 81 f9 dd 42 8c c1 98 c9 12 d0 b9 7a ba 9f | .....W...P.b9C.......B.......z.. |
0240 | 03 84 32 26 e8 00 6d 35 38 bc 71 8d 58 97 61 dd 3d 46 35 16 b2 1c 58 0e fb c9 16 78 cf 7c a2 31 | ..2&..m58.q.X.a.=F5...X....x.|.1 |
0260 | f7 3d 6e 63 93 02 e2 23 18 29 bb 59 b9 0e 00 5d 1a d7 14 09 94 72 0c e8 b8 96 5c 0d ed 88 48 c6 | .=nc...#.).Y...].....r....\...H. |
0280 | 20 8f ff ae 0b 59 dd cc bf 89 3c de 4e 13 3d 2d d6 70 1a 46 d3 03 6b 13 67 b2 f3 5b f7 9f 4e 5d | .....Y....<.N.=-.p.F..k.g..[..N] |
02a0 | 93 6c 2e 0e 57 4f 21 c0 50 80 cb 95 7b 6c 2d eb 5d 69 bc 72 d0 a1 13 9c 13 3e 86 6c 3e 70 f1 d9 | .l..WO!.P...{l-.]i.r.....>.l>p.. |
02c0 | 99 f6 1b af 19 35 12 4b 20 a5 0b ce 51 11 27 70 d3 80 19 a0 0a ac 44 a6 16 96 97 28 62 8c 65 bf | .....5.K....Q.'p......D....(b.e. |
02e0 | 95 45 b5 49 fd 42 4e 3c b5 52 26 c0 a5 c8 1f 81 fa 14 24 a3 f1 90 fd 89 31 32 64 32 39 39 36 39 | .E.I.BN<.R&.......$.....12d29969 |
0300 | 65 34 62 32 36 64 62 34 33 38 33 32 34 33 36 64 64 64 30 31 64 62 33 38 63 33 66 36 34 66 66 64 | e4b26db43832436ddd01db38c3f64ffd |
0320 | 00 00 00 00 00 00 11 f4 89 02 15 03 05 00 4c b3 6f c4 42 1c ad db 97 a1 07 1f 01 08 47 9d 0f ff | ..............L.o.B.........G... |
0340 | 5f ed 33 80 54 26 77 4a 0a 56 5c 39 04 36 1d 53 c5 d1 e8 54 53 87 bd 26 28 29 40 48 59 22 14 b0 | _.3.T&wJ.V\9.6.S...TS..&()@HY".. |
0360 | 6b 5e d4 71 5e cf 32 16 26 14 c1 4d e3 fd 18 f8 3d 50 03 3f 87 ea b1 c7 8f 14 e4 53 4c 67 77 81 | k^.q^.2.&..M....=P.?.......SLgw. |
0380 | 94 ce 3c 47 f6 32 dc 0c 63 b6 53 e2 8b 90 3b 50 54 fc 65 d6 d9 11 d7 d1 f3 66 6f 21 65 3b 84 60 | ..<G.2..c.S...;PT.e......fo!e;.` |
03a0 | fc be ee fa d6 9d 75 69 13 e8 07 ef d4 b3 2d 3d 04 8a 30 89 d0 6c 34 fa 1b 98 c6 03 01 f3 42 1f | ......ui......-=..0..l4.......B. |
03c0 | 31 af 80 a8 1a 5f 63 11 72 99 6f cf 2a 6e 9c a3 5a 26 a8 d9 ad 2e c4 e3 04 2e 62 42 5c 25 3f 72 | 1...._c.r.o.*n..Z&........bB\%?r |
03e0 | bc 30 91 27 ad fa 32 9a 63 a4 31 57 06 2b 20 ac 9d c3 fa cc cb 1e bc 50 db 82 eb 73 97 03 77 2e | .0.'..2.c.1W.+.........P...s..w. |
0400 | 43 75 ac d7 b6 8a b4 dc a1 0d e3 d1 18 fe 08 fd 8d 98 62 8d 63 c9 f4 03 ed 46 91 79 37 22 15 e9 | Cu................b.c....F.y7".. |
0420 | 82 92 52 08 96 9f 31 8e 6d 0f 50 c7 87 ca 8d b4 eb 7c b6 b7 47 90 7a 81 82 60 b8 6e d7 73 c3 21 | ..R...1.m.P......|..G.z..`.n.s.! |
0440 | bc aa b6 c4 dd fc 8d f2 16 91 a6 f0 c9 9f 86 f0 d4 0f 3d e9 38 bf 82 21 ab 42 d8 fa f5 9f ab fd | ..................=.8..!.B...... |
0460 | 2a 4e 7a f1 84 cf 81 37 ec 7e 3a 67 44 47 16 4d e0 27 73 28 8a 7b 0f bc a6 ab e3 b1 37 e5 4f d5 | *Nz....7.~:gDG.M.'s(.{......7.O. |
0480 | e3 dc 25 72 60 9b c2 74 e1 bd ec 51 71 09 3f e6 c9 13 48 7d 42 66 8c e4 82 3a 55 86 45 17 ff 28 | ..%r`..t...Qq.?...H}Bf...:U.E..( |
04a0 | 94 8d 16 88 6a 84 7c 50 b9 72 28 38 13 74 09 13 d5 54 94 65 d0 bd 89 f2 70 43 e8 78 3d 87 cd 69 | ....j.|P.r(8.t...T.e....pC.x=..i |
04c0 | 49 1e 87 8e a1 4e 43 18 c8 92 16 10 fb 9c a7 7b ad 88 e5 83 7b 1c b6 4c fd 72 59 35 ea 7d f4 53 | I....NC........{....{..L.rY5.}.S |
04e0 | e8 77 22 ad 28 80 a2 96 57 8b 14 90 ac 49 17 7c 1d e9 c5 ab 28 0f 61 96 b8 c0 02 c5 9c f8 1b 45 | .w".(...W....I.|....(.a........E |
0500 | 72 a3 ab 19 f8 ba 7e af 00 17 10 46 71 43 4d 6a 03 c8 19 39 ec 03 cd 81 8f a4 81 11 71 3d 41 ea | r.....~....FqCMj...9........q=A. |
0520 | a6 38 5e b9 bc e2 ca eb 9a b9 1a ce 3a 21 fa 00 c1 5c ab cb 51 d6 63 2c f1 fb 12 d6 26 3c 7b 2a | .8^.........:!...\..Q.c,....&<{* |
0540 | f9 ca 16 40 60 fd 4d c7 42 1e 19 94 a9 5e 07 18 00 00 00 7c 00 00 00 3e 00 00 00 07 ff ff ff 90 | ...@`.M.B....^.....|...>........ |
0560 | 00 00 00 10 00 00 00 00 8e ad e8 01 00 00 00 00 00 00 00 23 00 00 0f 40 00 00 00 3f 00 00 00 07 | ...................#...@...?.... |
0580 | 00 00 0f 30 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 | ...0.......d.................... |
05a0 | 00 00 00 02 00 00 00 01 00 00 03 e9 00 00 00 06 00 00 00 0a 00 00 00 01 00 00 03 ea 00 00 00 06 | ................................ |
05c0 | 00 00 00 0f 00 00 00 01 00 00 03 ec 00 00 00 09 00 00 00 16 00 00 00 01 00 00 03 ed 00 00 00 09 | ................................ |
05e0 | 00 00 00 48 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 | ...H............................ |
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 28 00 00 00 01 00 00 03 f8 00 00 00 09 | ...................(............ |
0660 | 00 00 01 37 00 00 00 01 00 00 03 fc 00 00 00 06 00 00 01 50 00 00 00 01 00 00 03 fd 00 00 00 06 | ...7...............P............ |
0680 | 00 00 01 63 00 00 00 01 00 00 03 fe 00 00 00 06 00 00 01 69 00 00 00 01 00 00 04 14 00 00 00 06 | ...c...............i............ |
06a0 | 00 00 01 6e 00 00 00 01 00 00 04 17 00 00 00 08 00 00 01 86 00 00 00 02 00 00 04 18 00 00 00 04 | ...n............................ |
06c0 | 00 00 01 a0 00 00 00 0c 00 00 04 19 00 00 00 08 00 00 01 d0 00 00 00 0c 00 00 04 1a 00 00 00 08 | ................................ |
06e0 | 00 00 02 69 00 00 00 0c 00 00 04 28 00 00 00 06 00 00 02 99 00 00 00 01 00 00 04 38 00 00 00 04 | ...i.......(...............8.... |
0700 | 00 00 02 a0 00 00 00 0d 00 00 04 39 00 00 00 08 00 00 02 d4 00 00 00 0d 00 00 04 3a 00 00 00 08 | ...........9...............:.... |
0720 | 00 00 05 1e 00 00 00 0d 00 00 04 58 00 00 00 04 00 00 0e 4c 00 00 00 02 00 00 04 59 00 00 00 08 | ...........X.......L.......Y.... |
0740 | 00 00 0e 54 00 00 00 02 00 00 04 62 00 00 00 06 00 00 0e 6c 00 00 00 01 00 00 04 64 00 00 00 06 | ...T.......b.......l.......d.... |
0760 | 00 00 0f 0a 00 00 00 01 00 00 04 65 00 00 00 06 00 00 0f 0f 00 00 00 01 00 00 04 66 00 00 00 06 | ...........e...............f.... |
0780 | 00 00 0f 12 00 00 00 01 00 00 04 6c 00 00 00 06 00 00 0f 14 00 00 00 01 00 00 13 93 00 00 00 04 | ...........l.................... |
07a0 | 00 00 0f 2c 00 00 00 01 43 00 77 68 79 2d 61 6c 6c 00 32 2e 32 36 00 31 2e 66 63 31 34 00 43 6f | ...,....C.why-all.2.26.1.fc14.Co |
07c0 | 6d 70 6c 65 74 65 20 57 68 79 20 73 6f 66 74 77 61 72 65 20 76 65 72 69 66 69 63 61 74 69 6f 6e | mplete.Why.software.verification |
07e0 | 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 72 6f | .platform.suite.This.package.pro |
0800 | 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 66 69 | vides.a.complete.software.verifi |
0820 | 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 20 57 | cation.platform.suite.based.on.W |
0840 | 68 79 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 65 64 20 | hy,.including.various.automated. |
0860 | 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 00 00 00 4c b3 48 e8 | and.interactive.provers.....L.H. |
0880 | 78 38 36 2d 31 37 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-17.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 47 50 4c 76 32 20 61 6e 64 20 4d 49 54 00 46 65 64 6f 72 61 20 50 72 6f 6a 65 63 74 00 41 | t.GPLv2.and.MIT.Fedora.Project.A |
08e0 | 70 70 6c 69 63 61 74 69 6f 6e 73 2f 45 6e 67 69 6e 65 65 72 69 6e 67 00 68 74 74 70 3a 2f 2f 77 | pplications/Engineering.http://w |
0900 | 68 79 2e 6c 72 69 2e 66 72 2f 00 6c 69 6e 75 78 00 69 36 38 36 00 77 68 79 2d 32 2e 32 36 2d 31 | hy.lri.fr/.linux.i686.why-2.26-1 |
0920 | 2e 66 63 31 34 2e 73 72 63 2e 72 70 6d 00 77 68 79 2d 61 6c 6c 00 77 68 79 2d 61 6c 6c 28 78 38 | .fc14.src.rpm.why-all.why-all(x8 |
0940 | 36 2d 33 32 29 00 00 00 00 00 00 08 00 00 00 08 00 00 00 08 00 00 00 00 00 00 00 00 00 00 00 00 | 6-32)........................... |
0960 | 00 00 00 00 00 00 00 00 01 00 00 0a 01 00 00 0a 01 00 00 0a 01 00 00 0a 77 68 79 00 77 68 79 2d | ........................why.why- |
0980 | 67 77 68 79 00 77 68 79 2d 63 6f 71 00 61 6c 74 2d 65 72 67 6f 00 63 76 63 33 00 63 6f 71 00 70 | gwhy.why-coq.alt-ergo.cvc3.coq.p |
09a0 | 76 73 2d 73 62 63 6c 00 67 61 70 70 61 00 72 70 6d 6c 69 62 28 46 69 6c 65 44 69 67 65 73 74 73 | vs-sbcl.gappa.rpmlib(FileDigests |
09c0 | 29 00 72 70 6d 6c 69 62 28 50 61 79 6c 6f 61 64 46 69 6c 65 73 48 61 76 65 50 72 65 66 69 78 29 | ).rpmlib(PayloadFilesHavePrefix) |
09e0 | 00 72 70 6d 6c 69 62 28 43 6f 6d 70 72 65 73 73 65 64 46 69 6c 65 4e 61 6d 65 73 29 00 72 70 6d | .rpmlib(CompressedFileNames).rpm |
0a00 | 6c 69 62 28 50 61 79 6c 6f 61 64 49 73 58 7a 29 00 32 2e 32 36 00 32 2e 32 36 00 32 2e 32 36 00 | lib(PayloadIsXz).2.26.2.26.2.26. |
0a20 | 00 00 00 00 00 34 2e 36 2e 30 2d 31 00 34 2e 30 2d 31 00 33 2e 30 2e 34 2d 31 00 35 2e 32 2d 31 | .....4.6.0-1.4.0-1.3.0.4-1.5.2-1 |
0a40 | 00 34 2e 38 2e 31 00 00 4c b0 59 40 4b 4b 12 c0 4b 47 1e 40 4a b8 bc 40 4a 7c 17 40 4a 6d 96 c0 | .4.8.1..L.Y@KK..KG.@J..@J|.@Jm.. |
0a60 | 49 a5 32 c0 49 52 24 40 48 98 40 c0 48 92 fa c0 48 90 57 c0 48 88 6e c0 48 87 1d 40 44 61 76 69 | I.2.IR$@H.@.H...H.W.H.n.H..@Davi |
0a80 | 64 20 41 2e 20 57 68 65 65 6c 65 72 20 2b 20 4d 61 72 6b 20 52 61 64 65 72 20 3c 64 77 68 65 65 | d.A..Wheeler.+.Mark.Rader.<dwhee |
0aa0 | 6c 65 72 40 64 77 68 65 65 6c 65 72 2e 63 6f 6d 3e 20 2d 20 32 2e 32 36 2d 31 00 52 69 63 68 61 | ler@dwheeler.com>.-.2.26-1.Richa |
0ac0 | 72 64 20 57 2e 4d 2e 20 4a 6f 6e 65 73 20 3c 72 6a 6f 6e 65 73 40 67 6d 61 69 6c 2e 63 6f 6d 3e | rd.W.M..Jones.<rjones@gmail.com> |
0ae0 | 20 2d 20 32 2e 32 33 2d 32 00 41 6c 61 6e 20 44 75 6e 6e 20 3c 61 6d 64 75 6e 6e 40 67 6d 61 69 | .-.2.23-2.Alan.Dunn.<amdunn@gmai |
0b00 | 6c 2e 63 6f 6d 3e 20 2d 20 32 2e 32 33 2d 31 00 44 65 6e 6e 69 73 20 47 69 6c 6d 6f 72 65 20 3c | l.com>.-.2.23-1.Dennis.Gilmore.< |
0b20 | 64 65 6e 6e 69 73 40 61 75 73 69 6c 2e 75 73 3e 20 2d 20 32 2e 31 37 2d 35 00 41 6c 61 6e 20 44 | dennis@ausil.us>.-.2.17-5.Alan.D |
0b40 | 75 6e 6e 20 3c 61 6d 64 75 6e 6e 40 67 6d 61 69 6c 2e 63 6f 6d 3e 20 2d 20 32 2e 31 37 2d 34 00 | unn.<amdunn@gmail.com>.-.2.17-4. |
0b60 | 46 65 64 6f 72 61 20 52 65 6c 65 61 73 65 20 45 6e 67 69 6e 65 65 72 69 6e 67 20 3c 72 65 6c 2d | Fedora.Release.Engineering.<rel- |
0b80 | 65 6e 67 40 6c 69 73 74 73 2e 66 65 64 6f 72 61 70 72 6f 6a 65 63 74 2e 6f 72 67 3e 20 2d 20 32 | eng@lists.fedoraproject.org>.-.2 |
0ba0 | 2e 31 37 2d 33 00 46 65 64 6f 72 61 20 52 65 6c 65 61 73 65 20 45 6e 67 69 6e 65 65 72 69 6e 67 | .17-3.Fedora.Release.Engineering |
0bc0 | 20 3c 72 65 6c 2d 65 6e 67 40 6c 69 73 74 73 2e 66 65 64 6f 72 61 70 72 6f 6a 65 63 74 2e 6f 72 | .<rel-eng@lists.fedoraproject.or |
0be0 | 67 3e 20 2d 20 32 2e 31 37 2d 32 00 41 6c 61 6e 20 44 75 6e 6e 20 3c 61 6d 64 75 6e 6e 40 67 6d | g>.-.2.17-2.Alan.Dunn.<amdunn@gm |
0c00 | 61 69 6c 2e 63 6f 6d 3e 20 32 2e 31 37 2d 31 00 41 6c 61 6e 20 44 75 6e 6e 20 3c 61 6d 64 75 6e | ail.com>.2.17-1.Alan.Dunn.<amdun |
0c20 | 6e 40 67 6d 61 69 6c 2e 63 6f 6d 3e 20 32 2e 31 34 2d 32 2e 31 00 41 6c 61 6e 20 44 75 6e 6e 20 | n@gmail.com>.2.14-2.1.Alan.Dunn. |
0c40 | 3c 61 6d 64 75 6e 6e 40 67 6d 61 69 6c 2e 63 6f 6d 3e 20 32 2e 31 34 2d 32 00 41 6c 61 6e 20 44 | <amdunn@gmail.com>.2.14-2.Alan.D |
0c60 | 75 6e 6e 20 3c 61 6d 64 75 6e 6e 40 67 6d 61 69 6c 2e 63 6f 6d 3e 20 32 2e 31 34 2d 31 00 41 6c | unn.<amdunn@gmail.com>.2.14-1.Al |
0c80 | 61 6e 20 44 75 6e 6e 20 3c 61 6d 64 75 6e 6e 40 67 6d 61 69 6c 2e 63 6f 6d 3e 20 32 2e 31 33 2d | an.Dunn.<amdunn@gmail.com>.2.13- |
0ca0 | 32 00 41 6c 61 6e 20 44 75 6e 6e 20 3c 61 6d 64 75 6e 6e 40 67 6d 61 69 6c 2e 63 6f 6d 3e 20 32 | 2.Alan.Dunn.<amdunn@gmail.com>.2 |
0cc0 | 2e 31 33 2d 31 00 2d 20 55 70 67 72 61 64 65 20 74 6f 20 75 70 73 74 72 65 61 6d 20 76 65 72 73 | .13-1.-.Upgrade.to.upstream.vers |
0ce0 | 69 6f 6e 20 32 2e 32 36 20 28 69 6e 63 2e 20 75 70 64 61 74 65 20 6f 66 20 6b 72 61 6b 61 74 6f | ion.2.26.(inc..update.of.krakato |
0d00 | 61 2e 70 64 66 29 0a 2d 20 49 6e 74 65 67 72 61 74 65 64 20 77 69 74 68 20 46 72 61 6d 61 2d 43 | a.pdf).-.Integrated.with.Frama-C |
0d20 | 20 61 6e 64 20 50 56 53 20 28 61 73 20 70 76 73 2d 73 62 63 6c 29 00 2d 20 52 65 62 75 69 6c 64 | .and.PVS.(as.pvs-sbcl).-.Rebuild |
0d40 | 20 74 6f 20 66 69 78 20 64 65 70 65 6e 64 65 6e 63 69 65 73 2e 00 2d 20 55 70 67 72 61 64 65 20 | .to.fix.dependencies..-.Upgrade. |
0d60 | 74 6f 20 75 70 73 74 72 65 61 6d 20 76 65 72 73 69 6f 6e 20 32 2e 32 33 0a 2d 20 4d 6f 76 65 20 | to.upstream.version.2.23.-.Move. |
0d80 | 65 78 65 63 73 74 61 63 6b 20 66 69 78 69 6e 67 20 74 6f 20 73 70 65 63 20 66 69 6c 65 20 66 72 | execstack.fixing.to.spec.file.fr |
0da0 | 6f 6d 20 70 61 74 63 68 0a 2d 20 4d 6f 76 65 64 20 70 61 74 63 68 20 64 65 73 63 72 69 70 74 69 | om.patch.-.Moved.patch.descripti |
0dc0 | 6f 6e 73 20 74 6f 20 69 6e 69 74 69 61 6c 20 70 61 74 63 68 20 64 65 63 6c 61 72 61 74 69 6f 6e | ons.to.initial.patch.declaration |
0de0 | 20 61 73 20 69 6e 20 65 78 61 6d 70 6c 65 73 0a 20 20 69 6e 20 46 65 64 6f 72 61 20 64 6f 63 75 | .as.in.examples...in.Fedora.docu |
0e00 | 6d 65 6e 74 61 74 69 6f 6e 0a 2d 20 4e 65 77 20 43 61 64 75 63 65 75 73 2c 20 4b 72 61 6b 61 74 | mentation.-.New.Caduceus,.Krakat |
0e20 | 6f 61 20 64 6f 63 75 6d 65 6e 74 61 74 69 6f 6e 0a 2d 20 55 70 64 61 74 65 20 74 65 73 74 20 72 | oa.documentation.-.Update.test.r |
0e40 | 65 73 75 6c 74 20 66 72 6f 6d 20 73 6d 61 6c 6c 20 74 65 73 74 20 6d 69 6e 2e 6d 6c 77 0a 2d 20 | esult.from.small.test.min.mlw.-. |
0e60 | 41 64 64 65 64 20 43 56 43 33 20 69 6e 74 65 72 66 61 63 69 6e 67 20 63 61 70 61 62 69 6c 69 74 | Added.CVC3.interfacing.capabilit |
0e80 | 69 65 73 0a 2d 20 52 65 6d 6f 76 65 64 20 70 61 74 63 68 20 66 6f 72 20 67 77 68 79 20 63 6f 6e | ies.-.Removed.patch.for.gwhy.con |
0ea0 | 66 69 67 75 72 61 74 69 6f 6e 2c 20 61 73 20 74 68 65 72 65 20 69 73 20 61 20 6e 65 77 20 6d 65 | figuration,.as.there.is.a.new.me |
0ec0 | 63 68 61 6e 69 73 6d 20 66 6f 72 20 74 68 69 73 00 2d 20 45 78 63 6c 75 64 65 20 73 70 61 72 63 | chanism.for.this.-.Exclude.sparc |
0ee0 | 36 34 20 73 33 39 30 20 73 33 39 30 78 20 20 74 68 65 72 65 20 69 73 20 6e 6f 20 6f 63 61 6d 6c | 64.s390.s390x..there.is.no.ocaml |
0f00 | 20 74 68 65 72 65 00 2d 20 52 65 6d 6f 76 65 64 20 6e 6f 77 20 69 72 72 65 6c 65 76 61 6e 74 20 | .there.-.Removed.now.irrelevant. |
0f20 | 63 68 65 63 6b 20 66 6f 72 20 6e 6f 20 4f 43 61 6d 6c 20 69 6e 20 46 65 64 6f 72 61 20 3c 20 39 | check.for.no.OCaml.in.Fedora.<.9 |
0f40 | 20 28 74 68 6f 73 65 0a 20 20 64 69 73 74 72 69 62 75 74 69 6f 6e 73 20 61 72 65 20 45 4f 4c 29 | .(those...distributions.are.EOL) |
0f60 | 0a 2d 20 43 68 61 6e 67 65 64 20 45 78 63 6c 75 64 65 41 72 63 68 20 74 6f 20 70 72 6f 70 65 72 | .-.Changed.ExcludeArch.to.proper |
0f80 | 20 46 65 64 6f 72 61 20 76 65 72 73 69 6f 6e 73 0a 2d 20 42 75 69 6c 64 73 20 63 6f 71 20 73 75 | .Fedora.versions.-.Builds.coq.su |
0fa0 | 62 70 61 63 6b 61 67 65 20 65 78 61 63 74 6c 79 20 77 68 65 6e 20 43 6f 71 20 63 61 6e 20 62 65 | bpackage.exactly.when.Coq.can.be |
0fc0 | 20 62 75 69 6c 74 2c 20 74 68 75 73 20 6d 61 6b 69 6e 67 0a 20 20 62 75 69 6c 64 20 69 6e 64 65 | .built,.thus.making...build.inde |
0fe0 | 70 65 6e 64 65 6e 74 20 6f 66 20 77 68 65 74 68 65 72 20 43 6f 71 20 63 61 6e 20 62 65 20 62 75 | pendent.of.whether.Coq.can.be.bu |
1000 | 69 6c 74 0a 2d 20 64 65 66 69 6e 65 20 2d 3e 20 67 6c 6f 62 61 6c 0a 2d 20 46 69 78 65 64 20 61 | ilt.-.define.->.global.-.Fixed.a |
1020 | 63 63 69 64 65 6e 74 61 6c 20 75 73 65 20 6f 66 20 69 6e 20 74 61 72 20 6f 63 61 6d 6c 67 72 61 | ccidental.use.of.in.tar.ocamlgra |
1040 | 70 68 20 69 6e 73 74 65 61 64 20 6f 66 20 6f 6e 65 20 74 68 61 74 20 69 73 0a 20 20 73 65 70 61 | ph.instead.of.one.that.is...sepa |
1060 | 72 61 74 65 6c 79 20 70 61 63 6b 61 67 65 64 00 2d 20 52 65 62 75 69 6c 74 20 66 6f 72 20 68 74 | rately.packaged.-.Rebuilt.for.ht |
1080 | 74 70 73 3a 2f 2f 66 65 64 6f 72 61 70 72 6f 6a 65 63 74 2e 6f 72 67 2f 77 69 6b 69 2f 46 65 64 | tps://fedoraproject.org/wiki/Fed |
10a0 | 6f 72 61 5f 31 32 5f 4d 61 73 73 5f 52 65 62 75 69 6c 64 00 2d 20 52 65 62 75 69 6c 74 20 66 6f | ora_12_Mass_Rebuild.-.Rebuilt.fo |
10c0 | 72 20 68 74 74 70 73 3a 2f 2f 66 65 64 6f 72 61 70 72 6f 6a 65 63 74 2e 6f 72 67 2f 77 69 6b 69 | r.https://fedoraproject.org/wiki |
10e0 | 2f 46 65 64 6f 72 61 5f 31 31 5f 4d 61 73 73 5f 52 65 62 75 69 6c 64 00 2d 20 55 70 67 72 61 64 | /Fedora_11_Mass_Rebuild.-.Upgrad |
1100 | 65 20 74 6f 20 76 65 72 73 69 6f 6e 20 32 2e 31 37 20 28 62 7a 3a 20 34 37 37 37 39 30 29 0a 2d | e.to.version.2.17.(bz:.477790).- |
1120 | 20 41 64 64 20 6f 77 6e 65 72 73 68 69 70 20 6f 66 20 74 77 6f 20 64 69 72 65 63 74 6f 72 69 65 | .Add.ownership.of.two.directorie |
1140 | 73 20 63 6f 6d 6d 6f 6e 20 77 69 74 68 20 43 6f 71 2c 20 62 75 74 20 6e 65 69 74 68 65 72 20 70 | s.common.with.Coq,.but.neither.p |
1160 | 72 6f 67 72 61 6d 20 72 65 71 75 69 72 65 73 20 74 68 65 20 6f 74 68 65 72 20 28 62 7a 3a 20 34 | rogram.requires.the.other.(bz:.4 |
1180 | 37 34 30 31 36 29 0a 2d 20 4d 69 6e 6f 72 20 66 69 6c 65 6e 61 6d 65 20 63 68 61 6e 67 65 20 69 | 74016).-.Minor.filename.change.i |
11a0 | 6e 20 32 2e 31 37 20 28 47 50 4c 20 2d 3e 20 4c 49 43 45 4e 53 45 29 0a 2d 20 41 64 64 65 64 20 | n.2.17.(GPL.->.LICENSE).-.Added. |
11c0 | 62 61 63 6b 20 43 6f 71 20 2e 76 20 66 69 6c 65 73 20 74 6f 20 6d 61 74 63 68 20 70 6f 6c 69 63 | back.Coq..v.files.to.match.polic |
11e0 | 79 20 66 6f 72 20 43 6f 71 0a 2d 20 43 68 61 6e 67 65 64 20 64 69 72 65 63 74 6f 72 79 20 73 74 | y.for.Coq.-.Changed.directory.st |
1200 | 72 75 63 74 75 72 65 20 72 65 3a 20 6a 65 73 73 69 65 20 61 6e 64 20 6b 72 61 6b 61 74 6f 61 20 | ructure.re:.jessie.and.krakatoa. |
1220 | 74 6f 20 6d 61 74 63 68 20 6e 65 77 20 73 74 72 75 63 74 75 72 65 20 69 6e 20 32 2e 31 37 0a 2d | to.match.new.structure.in.2.17.- |
1240 | 20 4d 69 6e 6f 72 20 63 68 61 6e 67 65 73 20 74 6f 20 70 61 74 63 68 65 73 20 74 6f 20 65 6e 73 | .Minor.changes.to.patches.to.ens |
1260 | 75 72 65 20 74 68 65 79 20 73 74 69 6c 6c 20 77 6f 72 6b 20 69 6e 20 32 2e 31 37 0a 2d 20 43 6f | ure.they.still.work.in.2.17.-.Co |
1280 | 72 72 65 63 74 65 64 20 70 61 63 6b 61 67 65 20 6c 6f 63 61 74 69 6f 6e 20 67 77 68 79 2d 69 63 | rrected.package.location.gwhy-ic |
12a0 | 6f 6e 2e 70 6e 67 20 28 73 68 6f 75 6c 64 20 6f 6e 6c 79 20 62 65 20 69 6e 20 67 77 68 79 29 00 | on.png.(should.only.be.in.gwhy). |
12c0 | 2d 20 45 78 63 6c 75 64 65 41 72 63 68 20 70 70 63 36 34 20 6f 6e 20 46 65 64 6f 72 61 20 38 20 | -.ExcludeArch.ppc64.on.Fedora.8. |
12e0 | 64 75 65 20 74 6f 20 6e 6f 20 6f 63 61 6d 6c 2e 00 2d 20 46 69 78 65 64 20 6d 69 6e 6f 72 20 69 | due.to.no.ocaml..-.Fixed.minor.i |
1300 | 73 73 75 65 73 20 69 6e 20 72 65 73 70 6f 6e 73 65 20 74 6f 20 70 61 63 6b 61 67 65 20 72 65 76 | ssues.in.response.to.package.rev |
1320 | 69 65 77 3a 0a 2d 20 49 6e 63 6c 75 73 69 6f 6e 20 6f 66 20 43 4f 50 59 49 4e 47 2c 20 47 50 4c | iew:.-.Inclusion.of.COPYING,.GPL |
1340 | 20 6c 69 63 65 6e 73 65 2d 72 65 6c 61 74 65 64 20 66 69 6c 65 73 0a 2d 20 41 64 64 65 64 20 63 | .license-related.files.-.Added.c |
1360 | 6f 6e 66 69 67 2e 6d 6c 6c 20 70 61 74 63 68 20 74 6f 20 6d 61 6b 65 20 64 65 66 61 75 6c 74 20 | onfig.mll.patch.to.make.default. |
1380 | 63 6f 6e 66 69 67 20 66 69 6c 65 20 63 72 65 61 74 65 64 20 6e 69 63 65 72 0a 2d 20 43 68 61 6e | config.file.created.nicer.-.Chan |
13a0 | 67 65 73 20 73 75 62 70 61 63 6b 61 67 65 20 64 65 70 65 6e 64 65 6e 63 69 65 73 20 74 6f 20 62 | ges.subpackage.dependencies.to.b |
13c0 | 65 20 66 75 6c 6c 79 20 76 65 72 73 69 6f 6e 65 64 2e 0a 2d 20 4d 61 6b 65 73 20 64 75 72 69 6e | e.fully.versioned..-.Makes.durin |
13e0 | 67 20 62 75 69 6c 64 20 61 6c 6c 6f 77 65 64 20 74 6f 20 62 65 20 6e 6f 69 73 79 20 28 61 6c 6c | g.build.allowed.to.be.noisy.(all |
1400 | 6f 77 65 64 20 74 6f 20 70 72 69 6e 74 29 2e 00 2d 20 43 68 61 6e 67 65 64 20 74 6f 20 6e 65 77 | owed.to.print)..-.Changed.to.new |
1420 | 20 76 65 72 73 69 6f 6e 20 6f 66 20 77 68 79 2c 20 72 65 6d 6f 76 65 64 20 70 72 65 76 69 6f 75 | .version.of.why,.removed.previou |
1440 | 73 20 77 68 79 2d 63 70 75 6c 69 6d 69 74 20 6e 61 6d 65 0a 20 20 63 68 61 6e 67 65 2c 20 7a 65 | s.why-cpulimit.name...change,.ze |
1460 | 6e 6f 6e 20 6f 75 74 70 75 74 20 66 6f 72 6d 61 74 20 70 61 74 63 68 65 73 20 61 73 20 74 68 65 | non.output.format.patches.as.the |
1480 | 20 69 73 73 75 65 73 20 77 65 72 65 20 66 69 78 65 64 20 69 6e 0a 20 20 77 68 79 20 32 2e 31 34 | .issues.were.fixed.in...why.2.14 |
14a0 | 2e 0a 2d 20 4d 6f 76 65 64 20 64 6f 63 20 73 75 62 70 61 63 6b 61 67 65 20 62 61 63 6b 20 69 6e | ..-.Moved.doc.subpackage.back.in |
14c0 | 74 6f 20 6d 61 69 6e 20 70 61 63 6b 61 67 65 2e 0a 2d 20 41 64 64 65 64 20 65 78 61 6d 70 6c 65 | to.main.package..-.Added.example |
14e0 | 20 66 69 6c 65 73 20 74 6f 20 64 6f 63 75 6d 65 6e 74 61 74 69 6f 6e 20 73 75 62 70 61 63 6b 61 | .files.to.documentation.subpacka |
1500 | 67 65 2e 0a 2d 20 41 64 64 65 64 20 63 68 65 63 6b 20 73 65 63 74 69 6f 6e 20 77 69 74 68 20 74 | ge..-.Added.check.section.with.t |
1520 | 65 73 74 20 6f 6e 20 73 6d 61 6c 6c 20 77 68 79 20 66 69 6c 65 2e 0a 2d 20 52 65 66 6f 72 6d 61 | est.on.small.why.file..-.Reforma |
1540 | 74 74 65 64 20 73 6f 6d 65 20 6d 61 63 72 6f 20 6e 61 6d 65 73 20 66 6f 72 20 67 72 65 61 74 65 | tted.some.macro.names.for.greate |
1560 | 72 20 72 65 61 64 61 62 69 6c 69 74 79 2e 00 2d 20 41 64 64 65 64 20 73 65 76 65 72 61 6c 20 70 | r.readability..-.Added.several.p |
1580 | 61 74 63 68 65 73 3a 20 66 69 78 65 64 20 5a 65 6e 6f 6e 20 6f 75 74 70 75 74 2c 20 63 6f 6d 70 | atches:.fixed.Zenon.output,.comp |
15a0 | 6c 65 74 65 64 20 66 69 78 20 6f 66 20 72 65 6e 61 6d 65 0a 20 20 6f 66 20 63 70 75 6c 69 6d 69 | leted.fix.of.rename...of.cpulimi |
15c0 | 74 20 2d 3e 20 77 68 79 2d 63 70 75 6c 69 6d 69 74 2e 00 2d 20 49 6e 69 74 69 61 6c 20 46 65 64 | t.->.why-cpulimit..-.Initial.Fed |
15e0 | 6f 72 61 20 52 50 4d 20 76 65 72 73 69 6f 6e 2e 00 00 00 00 00 00 00 08 00 00 00 08 32 2e 32 36 | ora.RPM.version.............2.26 |
1600 | 2d 31 2e 66 63 31 34 00 32 2e 32 36 2d 31 2e 66 63 31 34 00 2d 4f 32 20 2d 67 20 2d 70 69 70 65 | -1.fc14.2.26-1.fc14.-O2.-g.-pipe |
1620 | 20 2d 57 61 6c 6c 20 2d 57 70 2c 2d 44 5f 46 4f 52 54 49 46 59 5f 53 4f 55 52 43 45 3d 32 20 2d | .-Wall.-Wp,-D_FORTIFY_SOURCE=2.- |
1640 | 66 65 78 63 65 70 74 69 6f 6e 73 20 2d 66 73 74 61 63 6b 2d 70 72 6f 74 65 63 74 6f 72 20 2d 2d | fexceptions.-fstack-protector.-- |
1660 | 70 61 72 61 6d 3d 73 73 70 2d 62 75 66 66 65 72 2d 73 69 7a 65 3d 34 20 2d 6d 33 32 20 2d 6d 61 | param=ssp-buffer-size=4.-m32.-ma |
1680 | 72 63 68 3d 69 36 38 36 20 2d 6d 74 75 6e 65 3d 61 74 6f 6d 20 2d 66 61 73 79 6e 63 68 72 6f 6e | rch=i686.-mtune=atom.-fasynchron |
16a0 | 6f 75 73 2d 75 6e 77 69 6e 64 2d 74 61 62 6c 65 73 00 63 70 69 6f 00 78 7a 00 32 00 69 36 38 36 | ous-unwind-tables.cpio.xz.2.i686 |
16c0 | 2d 72 65 64 68 61 74 2d 6c 69 6e 75 78 2d 67 6e 75 00 00 00 00 00 00 08 00 00 00 3f 00 00 00 07 | -redhat-linux-gnu..........?.... |
16e0 | ff ff fd d0 00 00 00 10 fd 37 7a 58 5a 00 00 0a e1 fb 0c a1 02 00 21 01 0e 00 00 00 04 50 48 36 | .........7zXZ.........!......PH6 |
1700 | e0 00 7b 00 1d 5d 00 18 0d dd 04 62 33 02 3b 41 e5 50 07 74 71 42 b4 a4 a9 97 26 de c7 b1 c9 2e | ..{..].....b3.;A.P.tqB....&..... |
1720 | 1c ff 18 00 00 00 00 00 23 d0 42 2b 4f ea 28 f7 71 e8 72 74 1b b3 70 79 0b 3c d0 53 8e af b4 61 | ........#.B+O.(.q.rt..py.<.S...a |
1740 | 23 3e 82 0b 84 b5 7a 2e 00 01 51 7c 29 e4 95 da 18 9b 4b 9a 01 00 00 00 00 0a 59 5a | #>....z...Q|).....K.......YZ |