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 33 31 2d 33 2e 66 63 31 38 00 00 00 | ..........why-all-2.31-3.fc18... |
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 50 50 ce df ff 01 12 5c de 7f 38 bd 01 08 d4 d9 0f ff 64 14 11 fd 58 0e 01 07 | ......PP.....\..8.......d...X... |
0100 | 7f c6 c8 34 d8 c8 44 3d c0 a4 d8 7f 4c bc 40 9d e6 90 84 30 68 06 ed 93 6f 41 2b f0 be 7f 40 e4 | ...4..D=....L.@....0h...oA+...@. |
0120 | 13 c6 2c 8d 5e 95 13 e1 30 75 a6 fd c9 75 b9 6f d5 ef fe 18 b6 25 90 a7 ce b3 93 ea 37 d4 3f 03 | ..,.^...0u...u.o.....%......7.?. |
0140 | e5 5f 18 a2 2a f2 fc 68 92 00 30 9d 50 ca a4 c3 26 da f5 e5 a3 61 10 80 c8 1b 83 4d 1b af a7 f3 | ._..*..h..0.P...&....a.....M.... |
0160 | 8d 42 fd 17 0d 24 eb 14 c1 5b 71 3b 06 10 28 df 4d 3a b0 1e 71 cc d1 71 75 f2 b8 91 ab b4 5e b0 | .B...$...[q;..(.M:..q..qu.....^. |
0180 | e7 cd b3 07 3a 07 b9 b0 15 99 f6 1a ca 47 30 87 b8 37 20 1e 99 2c e2 d4 fa b1 20 ab bd 49 b6 59 | ....:........G0..7...,.......I.Y |
01a0 | 4b a1 96 ea de 50 6d 6b ae 88 04 78 48 34 d9 aa 7a dc 8b 29 21 09 6a b1 bc 71 08 5f 05 d8 19 a8 | K....Pmk...xH4..z..)!.j..q._.... |
01c0 | 77 24 c0 91 d8 16 e5 9d 01 58 92 10 be 4c 45 7f cb f0 2c 96 21 b4 69 c1 fc 05 c7 6b 38 8f b7 76 | w$.......X...LE...,.!.i....k8..v |
01e0 | 89 d7 e7 2d f0 a3 9f b4 f5 20 3c 3d 2f f8 bb 6e f1 03 0a 7c 4a 3c 8f 49 4f 16 ac fb be c2 4c a3 | ...-......<=/..n...|J<.IO.....L. |
0200 | 96 9d 24 b6 90 15 e6 51 4d 7e 27 41 1b 9e ef 8c ab 67 d9 9e 84 28 3d f3 38 b5 7f 76 cd 9b c0 5b | ..$....QM~'A.....g...(=.8..v...[ |
0220 | 84 d6 77 e6 0f 60 08 63 fe 45 54 3f aa af d9 7d f4 28 5c 63 b0 b5 00 d1 83 4e 84 ad 42 cb 55 a9 | ..w..`.c.ET?...}.(\c.....N..B.U. |
0240 | 95 b5 4d 54 29 04 0e 95 86 94 56 4a 61 c7 d1 7f ac 5d 79 a9 71 c5 e6 58 8b 6d d6 34 b2 37 f4 35 | ..MT).....VJa....]y.q..X.m.4.7.5 |
0260 | f6 a7 91 c3 a0 59 74 66 5b c0 a8 e6 e2 f8 13 2d d3 32 64 79 ed af c8 31 1c 0d c3 4e 70 bc e2 20 | .....Ytf[......-.2dy...1...Np... |
0280 | d3 f3 b8 ef 31 7c 8a d3 62 c1 28 73 e7 e9 ec 7e 94 30 5e 62 6c 81 34 5e 76 be b6 cd 0d 3a e8 a7 | ....1|..b.(s...~.0^bl.4^v....:.. |
02a0 | b3 b2 6c 11 08 6d 73 89 ca df 8e 43 ba 5d 4b 3c f9 25 4e 71 4f af d5 af 87 95 14 d9 29 f1 8c e3 | ..l..ms....C.]K<.%NqO.......)... |
02c0 | d8 88 31 ff 2d 09 5d 83 9a ac 36 e2 8f 16 6a 1f 03 bc 34 1f 17 d4 79 86 76 cc 05 ba 83 00 09 62 | ..1.-.]...6...j...4...y.v......b |
02e0 | 22 0e 4a 5d 69 6e 9c d6 65 97 82 35 8c 77 9a 6c 56 7c 30 99 2a 6c e9 d2 62 64 65 33 61 65 63 38 | ".J]in..e..5.w.lV|0.*l..bde3aec8 |
0300 | 62 36 65 38 36 65 66 35 65 39 35 37 31 35 66 33 34 61 64 31 64 39 62 39 64 64 35 61 34 34 61 38 | b6e86ef5e95715f34ad1d9b9dd5a44a8 |
0320 | 00 00 00 00 00 00 1b 80 89 02 15 03 05 00 50 50 ce df ff 01 12 5c de 7f 38 bd 01 08 22 41 0f fc | ..............PP.....\..8..."A.. |
0340 | 0b 18 a3 38 08 72 c3 47 b2 14 d5 71 3b 44 d9 fa f7 0c c6 d8 53 b9 8d 4c 62 b5 01 f0 66 bc 7c 6c | ...8.r.G...q;D......S..Lb...f.|l |
0360 | 40 64 9c dc d1 c8 af 56 29 d6 3e 16 f9 6b 8e e4 71 83 2e 87 b1 4f 4b 14 92 6b f0 46 9b 32 80 6e | @d.....V).>..k..q....OK..k.F.2.n |
0380 | 05 b6 89 a8 bb 8b 42 14 c8 48 b0 e4 bc 03 90 17 96 df 2b 40 36 ca 0f b7 71 a5 40 1e 14 1a 5d c6 | ......B..H........+@6...q.@...]. |
03a0 | c7 92 ea bc 27 83 20 69 93 7d 92 16 ad 8d 42 1b 85 b9 95 eb 59 45 19 20 f1 d0 94 d5 81 3d 0c 2e | ....'..i.}....B.....YE.......=.. |
03c0 | 77 b0 1f bb 2f 9a 33 1c 3d 92 74 64 c0 6a f2 4e 8f bd 5d 43 e8 24 5a 1c c9 70 69 55 e3 69 06 97 | w.../.3.=.td.j.N..]C.$Z..piU.i.. |
03e0 | 51 9d 8e e0 5e 23 a3 f4 eb 7c c1 e2 b3 09 e9 58 93 bb 40 cc 81 e1 1a 64 70 47 5c fb 16 c3 48 3b | Q...^#...|.....X..@....dpG\...H; |
0400 | a0 52 59 dd 85 a4 be dc 9e 76 bd a2 28 2e e3 c1 43 0c ce 38 b5 07 81 13 a9 bd 56 f7 65 02 5a 2f | .RY......v..(...C..8......V.e.Z/ |
0420 | b5 46 88 1e 47 ab e7 17 78 7f 3a e7 e6 b9 4c 54 f9 05 b9 14 f6 e2 31 fe 2c 01 74 db 5f 95 1b 44 | .F..G...x.:...LT......1.,.t._..D |
0440 | 9e d4 4e 6b 1c c6 1d 13 3e ad 14 24 7c fa 5b 4d b6 f1 1f c8 ca 04 83 3e b0 33 dc f8 39 97 13 ec | ..Nk....>..$|.[M.......>.3..9... |
0460 | d2 f2 25 eb 8d 7e f2 50 66 f0 5b bd 4b 77 2b 81 f4 a8 1e 45 45 ff 67 be 60 b3 0c ab 33 a5 8a 0b | ..%..~.Pf.[.Kw+....EE.g.`...3... |
0480 | 34 95 32 64 6b 4f 3f ea e8 be 62 12 84 2e 54 50 1a 1d c4 3f 6d 86 04 de 0d 8c a1 2b bb 43 5e 5c | 4.2dkO?...b...TP...?m......+.C^\ |
04a0 | 2a c3 79 95 45 bb c1 1c ce 1e ed da eb c5 ba d6 4b 04 76 7b f0 68 a6 00 5b da a7 5f 85 67 0e 5e | *.y.E...........K.v{.h..[.._.g.^ |
04c0 | 0e be 1c c8 d6 f9 45 c3 ba fe 3c 97 16 e1 6f f0 73 e5 84 47 79 7c e3 fa 4a 80 71 75 77 6e db e6 | ......E...<...o.s..Gy|..J.quwn.. |
04e0 | 5c 2a d2 3f b4 65 68 f4 b1 1e 57 c1 e6 d8 09 73 e3 66 44 ba 97 dd 8a 8c 21 ca 4e 4b 42 97 d2 6b | \*.?.eh...W....s.fD.....!.NKB..k |
0500 | 2e 6a 41 f2 44 76 73 d7 5b 4f e0 0f 0c 5a 75 ee ce 0f da 10 e0 86 fe d4 7b a1 84 a0 87 c4 74 da | .jA.Dvs.[O...Zu.........{.....t. |
0520 | 98 26 78 69 94 a2 04 4b b8 c7 f0 c1 45 78 b1 a7 5e 83 82 f5 37 a7 86 a7 e0 a4 3f 98 88 4f 6b a6 | .&xi...K....Ex..^...7.....?..Ok. |
0540 | d6 2c e2 30 51 db 45 db f2 b8 8b 23 b5 0f e2 22 00 00 00 7c 00 00 00 3e 00 00 00 07 ff ff ff 90 | .,.0Q.E....#..."...|...>........ |
0560 | 00 00 00 10 00 00 00 00 8e ad e8 01 00 00 00 00 00 00 00 23 00 00 18 cc 00 00 00 3f 00 00 00 07 | ...................#.......?.... |
0580 | 00 00 18 bc 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 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 fc 00 00 00 01 00 00 03 f2 00 00 00 06 | ................................ |
0620 | 00 00 01 00 00 00 00 01 00 00 03 f3 00 00 00 06 00 00 01 0f 00 00 00 01 00 00 03 f6 00 00 00 06 | ................................ |
0640 | 00 00 01 1e 00 00 00 01 00 00 03 f7 00 00 00 06 00 00 01 35 00 00 00 01 00 00 03 f8 00 00 00 09 | ...................5............ |
0660 | 00 00 01 44 00 00 00 01 00 00 03 fc 00 00 00 06 00 00 01 5d 00 00 00 01 00 00 03 fd 00 00 00 06 | ...D...............]............ |
0680 | 00 00 01 70 00 00 00 01 00 00 03 fe 00 00 00 06 00 00 01 76 00 00 00 01 00 00 04 14 00 00 00 06 | ...p...............v............ |
06a0 | 00 00 01 7b 00 00 00 01 00 00 04 17 00 00 00 08 00 00 01 93 00 00 00 02 00 00 04 18 00 00 00 04 | ...{............................ |
06c0 | 00 00 01 ac 00 00 00 0d 00 00 04 19 00 00 00 08 00 00 01 e0 00 00 00 0d 00 00 04 1a 00 00 00 08 | ................................ |
06e0 | 00 00 02 bc 00 00 00 0d 00 00 04 28 00 00 00 06 00 00 03 18 00 00 00 01 00 00 04 38 00 00 00 04 | ...........(...............8.... |
0700 | 00 00 03 20 00 00 00 1e 00 00 04 39 00 00 00 08 00 00 03 98 00 00 00 1e 00 00 04 3a 00 00 00 08 | ...........9...............:.... |
0720 | 00 00 09 0a 00 00 00 1e 00 00 04 58 00 00 00 04 00 00 17 d8 00 00 00 02 00 00 04 59 00 00 00 08 | ...........X...............Y.... |
0740 | 00 00 17 e0 00 00 00 02 00 00 04 62 00 00 00 06 00 00 17 f8 00 00 00 01 00 00 04 64 00 00 00 06 | ...........b...............d.... |
0760 | 00 00 18 97 00 00 00 01 00 00 04 65 00 00 00 06 00 00 18 9c 00 00 00 01 00 00 04 66 00 00 00 06 | ...........e...............f.... |
0780 | 00 00 18 9f 00 00 00 01 00 00 04 6c 00 00 00 06 00 00 18 a1 00 00 00 01 00 00 13 93 00 00 00 04 | ...........l.................... |
07a0 | 00 00 18 b8 00 00 00 01 43 00 77 68 79 2d 61 6c 6c 00 32 2e 33 31 00 33 2e 66 63 31 38 00 43 6f | ........C.why-all.2.31.3.fc18.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 50 4f c1 7b | and.interactive.provers.....PO.{ |
0880 | 62 75 69 6c 64 76 6d 2d 33 30 2e 70 68 78 32 2e 66 65 64 6f 72 61 70 72 6f 6a 65 63 74 2e 6f 72 | buildvm-30.phx2.fedoraproject.or |
08a0 | 67 00 00 00 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 | g.......Fedora.Project.Fedora.Pr |
08c0 | 6f 6a 65 63 74 00 4c 50 47 4c 76 32 20 77 69 74 68 20 65 78 63 65 70 74 69 6f 6e 73 00 46 65 64 | oject.LPGLv2.with.exceptions.Fed |
08e0 | 6f 72 61 20 50 72 6f 6a 65 63 74 00 41 70 70 6c 69 63 61 74 69 6f 6e 73 2f 45 6e 67 69 6e 65 65 | ora.Project.Applications/Enginee |
0900 | 72 69 6e 67 00 68 74 74 70 3a 2f 2f 77 68 79 2e 6c 72 69 2e 66 72 2f 00 6c 69 6e 75 78 00 69 36 | ring.http://why.lri.fr/.linux.i6 |
0920 | 38 36 00 77 68 79 2d 32 2e 33 31 2d 33 2e 66 63 31 38 2e 73 72 63 2e 72 70 6d 00 77 68 79 2d 61 | 86.why-2.31-3.fc18.src.rpm.why-a |
0940 | 6c 6c 00 77 68 79 2d 61 6c 6c 28 78 38 36 2d 33 32 29 00 00 00 00 00 08 00 00 00 08 00 00 00 08 | ll.why-all(x86-32).............. |
0960 | 00 00 00 08 00 00 00 08 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 01 00 00 0a 01 00 00 0a | ................................ |
0980 | 01 00 00 0a 01 00 00 0a 77 68 79 28 78 38 36 2d 33 32 29 00 77 68 79 2d 67 77 68 79 28 78 38 36 | ........why(x86-32).why-gwhy(x86 |
09a0 | 2d 33 32 29 00 77 68 79 2d 6a 65 73 73 69 65 28 78 38 36 2d 33 32 29 00 77 68 79 2d 63 6f 71 28 | -32).why-jessie(x86-32).why-coq( |
09c0 | 78 38 36 2d 33 32 29 00 77 68 79 2d 70 76 73 2d 73 75 70 70 6f 72 74 28 78 38 36 2d 33 32 29 00 | x86-32).why-pvs-support(x86-32). |
09e0 | 61 6c 74 2d 65 72 67 6f 00 63 76 63 33 00 67 61 70 70 61 6c 69 62 2d 63 6f 71 00 7a 65 6e 6f 6e | alt-ergo.cvc3.gappalib-coq.zenon |
0a00 | 00 72 70 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 | .rpmlib(FileDigests).rpmlib(Payl |
0a20 | 6f 61 64 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 | oadFilesHavePrefix).rpmlib(Compr |
0a40 | 65 73 73 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 | essedFileNames).rpmlib(PayloadIs |
0a60 | 58 7a 29 00 32 2e 33 31 2d 33 2e 66 63 31 38 00 32 2e 33 31 2d 33 2e 66 63 31 38 00 32 2e 33 31 | Xz).2.31-3.fc18.2.31-3.fc18.2.31 |
0a80 | 2d 33 2e 66 63 31 38 00 32 2e 33 31 2d 33 2e 66 63 31 38 00 32 2e 33 31 2d 33 2e 66 63 31 38 00 | -3.fc18.2.31-3.fc18.2.31-3.fc18. |
0aa0 | 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 00 | ....4.6.0-1.4.0-1.3.0.4-1.5.2-1. |
0ac0 | 34 2e 31 30 2e 30 00 00 50 4f 27 c0 50 3b 61 40 50 36 1b 40 50 16 77 40 50 0b eb 40 4f 0d 79 c0 | 4.10.0..PO'.P;a@P6.@P.w@P..@O.y. |
0ae0 | 4e f9 b3 40 4e de 03 c0 4e cc e0 40 4e aa 99 40 4e 1e da 40 4e 1a e5 c0 4d a6 e1 c0 4d a5 90 40 | N..@N...N..@N..@N..@N...M...M..@ |
0b00 | 4d 4f de c0 4d 39 75 40 4d 39 75 40 4c b0 59 40 4b 4b 12 c0 4b 47 1e 40 4a b8 bc 40 4a 7c 17 40 | MO..M9u@M9u@L.Y@KK..KG.@J..@J|.@ |
0b20 | 4a 6d 96 c0 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 | Jm..I.2.IR$@H.@.H...H.W.H.n.H..@ |
0b40 | 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 |
0b60 | 6d 3e 20 2d 20 32 2e 33 31 2d 33 00 4a 65 72 72 79 20 4a 61 6d 65 73 20 3c 6c 6f 67 61 6e 6a 65 | m>.-.2.31-3.Jerry.James.<loganje |
0b80 | 72 72 79 40 67 6d 61 69 6c 2e 63 6f 6d 3e 20 2d 20 32 2e 33 31 2d 32 00 4a 65 72 72 79 20 4a 61 | rry@gmail.com>.-.2.31-2.Jerry.Ja |
0ba0 | 6d 65 73 20 3c 6c 6f 67 61 6e 6a 65 72 72 79 40 67 6d 61 69 6c 2e 63 6f 6d 3e 20 2d 20 32 2e 33 | mes.<loganjerry@gmail.com>.-.2.3 |
0bc0 | 31 2d 31 00 52 69 63 68 61 72 64 20 57 2e 4d 2e 20 4a 6f 6e 65 73 20 3c 72 6a 6f 6e 65 73 40 72 | 1-1.Richard.W.M..Jones.<rjones@r |
0be0 | 65 64 68 61 74 2e 63 6f 6d 3e 20 2d 20 32 2e 33 30 2d 37 00 46 65 64 6f 72 61 20 52 65 6c 65 61 | edhat.com>.-.2.30-7.Fedora.Relea |
0c00 | 73 65 20 45 6e 67 69 6e 65 65 72 69 6e 67 20 3c 72 65 6c 2d 65 6e 67 40 6c 69 73 74 73 2e 66 65 | se.Engineering.<rel-eng@lists.fe |
0c20 | 64 6f 72 61 70 72 6f 6a 65 63 74 2e 6f 72 67 3e 20 2d 20 32 2e 33 30 2d 36 00 4a 65 72 72 79 20 | doraproject.org>.-.2.30-6.Jerry. |
0c40 | 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 6d 3e 20 2d 20 32 | James.<loganjerry@gmail.com>.-.2 |
0c60 | 2e 33 30 2d 35 00 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 | .30-5.Jerry.James.<loganjerry@gm |
0c80 | 61 69 6c 2e 63 6f 6d 3e 20 2d 20 32 2e 33 30 2d 34 00 4a 65 72 72 79 20 4a 61 6d 65 73 20 3c 6c | ail.com>.-.2.30-4.Jerry.James.<l |
0ca0 | 6f 67 61 6e 6a 65 72 72 79 40 67 6d 61 69 6c 2e 63 6f 6d 3e 20 2d 20 32 2e 33 30 2d 33 00 4a 65 | oganjerry@gmail.com>.-.2.30-3.Je |
0cc0 | 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 6d 3e | rry.James.<loganjerry@gmail.com> |
0ce0 | 20 2d 20 32 2e 33 30 2d 32 00 4a 65 72 72 79 20 4a 61 6d 65 73 20 3c 6c 6f 67 61 6e 6a 65 72 72 | .-.2.30-2.Jerry.James.<loganjerr |
0d00 | 79 40 67 6d 61 69 6c 2e 63 6f 6d 3e 20 2d 20 32 2e 33 30 2d 31 00 4a 65 72 72 79 20 4a 61 6d 65 | y@gmail.com>.-.2.30-1.Jerry.Jame |
0d20 | 73 20 3c 6c 6f 67 61 6e 6a 65 72 72 79 40 67 6d 61 69 6c 2e 63 6f 6d 3e 20 2d 20 32 2e 32 39 2d | s.<loganjerry@gmail.com>.-.2.29- |
0d40 | 32 00 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 | 2.Jerry.James.<loganjerry@gmail. |
0d60 | 63 6f 6d 3e 20 2d 20 32 2e 32 39 2d 31 00 4b 61 72 73 74 65 6e 20 48 6f 70 70 20 3c 6b 61 72 73 | com>.-.2.29-1.Karsten.Hopp.<kars |
0d80 | 74 65 6e 40 72 65 64 68 61 74 2e 63 6f 6d 3e 20 32 2e 32 38 2d 32 2e 32 00 4b 61 72 73 74 65 6e | ten@redhat.com>.2.28-2.2.Karsten |
0da0 | 20 48 6f 70 70 20 3c 6b 61 72 73 74 65 6e 40 72 65 64 68 61 74 2e 63 6f 6d 3e 20 32 2e 32 38 2d | .Hopp.<karsten@redhat.com>.2.28- |
0dc0 | 32 2e 31 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 20 3c | 2.1.Fedora.Release.Engineering.< |
0de0 | 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 67 3e | rel-eng@lists.fedoraproject.org> |
0e00 | 20 2d 20 32 2e 32 38 2d 32 00 52 69 63 68 61 72 64 20 57 2e 4d 2e 20 4a 6f 6e 65 73 20 3c 72 6a | .-.2.28-2.Richard.W.M..Jones.<rj |
0e20 | 6f 6e 65 73 40 67 6d 61 69 6c 2e 63 6f 6d 3e 20 2d 20 32 2e 32 38 2d 31 00 52 69 63 68 61 72 64 | ones@gmail.com>.-.2.28-1.Richard |
0e40 | 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 20 2d | .W.M..Jones.<rjones@gmail.com>.- |
0e60 | 20 32 2e 32 36 2d 32 00 44 61 76 69 64 20 41 2e 20 57 68 65 65 6c 65 72 20 2b 20 4d 61 72 6b 20 | .2.26-2.David.A..Wheeler.+.Mark. |
0e80 | 52 61 64 65 72 20 3c 64 77 68 65 65 6c 65 72 40 64 77 68 65 65 6c 65 72 2e 63 6f 6d 3e 20 2d 20 | Rader.<dwheeler@dwheeler.com>.-. |
0ea0 | 32 2e 32 36 2d 31 00 52 69 63 68 61 72 64 20 57 2e 4d 2e 20 4a 6f 6e 65 73 20 3c 72 6a 6f 6e 65 | 2.26-1.Richard.W.M..Jones.<rjone |
0ec0 | 73 40 67 6d 61 69 6c 2e 63 6f 6d 3e 20 2d 20 32 2e 32 33 2d 32 00 41 6c 61 6e 20 44 75 6e 6e 20 | s@gmail.com>.-.2.23-2.Alan.Dunn. |
0ee0 | 3c 61 6d 64 75 6e 6e 40 67 6d 61 69 6c 2e 63 6f 6d 3e 20 2d 20 32 2e 32 33 2d 31 00 44 65 6e 6e | <amdunn@gmail.com>.-.2.23-1.Denn |
0f00 | 69 73 20 47 69 6c 6d 6f 72 65 20 3c 64 65 6e 6e 69 73 40 61 75 73 69 6c 2e 75 73 3e 20 2d 20 32 | is.Gilmore.<dennis@ausil.us>.-.2 |
0f20 | 2e 31 37 2d 35 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 | .17-5.Alan.Dunn.<amdunn@gmail.co |
0f40 | 6d 3e 20 2d 20 32 2e 31 37 2d 34 00 46 65 64 6f 72 61 20 52 65 6c 65 61 73 65 20 45 6e 67 69 6e | m>.-.2.17-4.Fedora.Release.Engin |
0f60 | 65 65 72 69 6e 67 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 | eering.<rel-eng@lists.fedoraproj |
0f80 | 65 63 74 2e 6f 72 67 3e 20 2d 20 32 2e 31 37 2d 33 00 46 65 64 6f 72 61 20 52 65 6c 65 61 73 65 | ect.org>.-.2.17-3.Fedora.Release |
0fa0 | 20 45 6e 67 69 6e 65 65 72 69 6e 67 20 3c 72 65 6c 2d 65 6e 67 40 6c 69 73 74 73 2e 66 65 64 6f | .Engineering.<rel-eng@lists.fedo |
0fc0 | 72 61 70 72 6f 6a 65 63 74 2e 6f 72 67 3e 20 2d 20 32 2e 31 37 2d 32 00 41 6c 61 6e 20 44 75 6e | raproject.org>.-.2.17-2.Alan.Dun |
0fe0 | 6e 20 3c 61 6d 64 75 6e 6e 40 67 6d 61 69 6c 2e 63 6f 6d 3e 20 32 2e 31 37 2d 31 00 41 6c 61 6e | n.<amdunn@gmail.com>.2.17-1.Alan |
1000 | 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 34 2d 32 2e | .Dunn.<amdunn@gmail.com>.2.14-2. |
1020 | 31 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 | 1.Alan.Dunn.<amdunn@gmail.com>.2 |
1040 | 2e 31 34 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 6c 2e 63 6f | .14-2.Alan.Dunn.<amdunn@gmail.co |
1060 | 6d 3e 20 32 2e 31 34 2d 31 00 41 6c 61 6e 20 44 75 6e 6e 20 3c 61 6d 64 75 6e 6e 40 67 6d 61 69 | m>.2.14-1.Alan.Dunn.<amdunn@gmai |
1080 | 6c 2e 63 6f 6d 3e 20 32 2e 31 33 2d 32 00 41 6c 61 6e 20 44 75 6e 6e 20 3c 61 6d 64 75 6e 6e 40 | l.com>.2.13-2.Alan.Dunn.<amdunn@ |
10a0 | 67 6d 61 69 6c 2e 63 6f 6d 3e 20 32 2e 31 33 2d 31 00 2d 20 52 65 62 75 69 6c 64 20 66 6f 72 20 | gmail.com>.2.13-1.-.Rebuild.for. |
10c0 | 6e 65 77 20 66 72 61 6d 61 2d 63 20 62 75 69 6c 64 20 77 69 74 68 20 61 6c 74 65 72 65 64 20 41 | new.frama-c.build.with.altered.A |
10e0 | 50 49 2e 00 2d 20 46 72 61 6d 61 2d 63 20 69 73 20 66 69 78 65 64 3b 20 72 65 62 75 69 6c 64 20 | PI..-.Frama-c.is.fixed;.rebuild. |
1100 | 77 69 74 68 20 74 68 65 20 4a 65 73 73 69 65 20 70 6c 75 67 69 6e 20 65 6e 61 62 6c 65 64 20 61 | with.the.Jessie.plugin.enabled.a |
1120 | 6e 64 20 66 75 6e 63 74 69 6f 6e 69 6e 67 00 2d 20 4e 65 77 20 75 70 73 74 72 65 61 6d 20 76 65 | nd.functioning.-.New.upstream.ve |
1140 | 72 73 69 6f 6e 0a 2d 20 44 72 6f 70 20 75 70 73 74 72 65 61 6d 65 64 20 70 61 74 63 68 65 73 0a | rsion.-.Drop.upstreamed.patches. |
1160 | 2d 20 41 64 64 20 6f 63 61 6d 6c 2d 6d 6c 67 6d 70 69 64 6c 2d 64 65 76 65 6c 20 61 6e 64 20 77 | -.Add.ocaml-mlgmpidl-devel.and.w |
1180 | 68 79 33 20 42 52 73 0a 2d 20 41 64 64 20 2d 77 61 72 6e 69 6e 67 2c 20 2d 6f 63 61 6d 6c 34 2c | hy3.BRs.-.Add.-warning,.-ocaml4, |
11a0 | 20 61 6e 64 20 2d 63 6f 71 38 34 20 70 61 74 63 68 65 73 20 74 6f 20 66 69 78 20 74 68 65 20 62 | .and.-coq84.patches.to.fix.the.b |
11c0 | 75 69 6c 64 0a 2d 20 43 72 69 70 70 6c 65 20 74 68 65 20 4a 65 73 73 69 65 20 70 6c 75 67 69 6e | uild.-.Cripple.the.Jessie.plugin |
11e0 | 20 75 6e 74 69 6c 20 70 72 6f 62 6c 65 6d 73 20 77 69 74 68 20 66 72 61 6d 61 2d 63 20 61 6e 64 | .until.problems.with.frama-c.and |
1200 | 20 68 61 73 68 74 61 62 6c 65 73 20 61 72 65 20 66 69 78 65 64 00 2d 20 52 65 62 75 69 6c 64 20 | .hashtables.are.fixed.-.Rebuild. |
1220 | 66 6f 72 20 4f 43 61 6d 6c 20 34 2e 30 30 2e 30 20 6f 66 66 69 63 69 61 6c 2e 00 2d 20 52 65 62 | for.OCaml.4.00.0.official..-.Reb |
1240 | 75 69 6c 74 20 66 6f 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 | uilt.for.https://fedoraproject.o |
1260 | 72 67 2f 77 69 6b 69 2f 46 65 64 6f 72 61 5f 31 38 5f 4d 61 73 73 5f 52 65 62 75 69 6c 64 00 2d | rg/wiki/Fedora_18_Mass_Rebuild.- |
1280 | 20 50 61 74 63 68 20 74 6f 20 77 6f 72 6b 20 77 69 74 68 20 66 6c 6f 63 71 20 32 2e 30 2e 30 00 | .Patch.to.work.with.flocq.2.0.0. |
12a0 | 2d 20 52 65 62 75 69 6c 64 20 66 6f 72 20 63 6f 71 20 38 2e 33 70 6c 33 00 2d 20 55 70 64 61 74 | -.Rebuild.for.coq.8.3pl3.-.Updat |
12c0 | 65 20 61 6c 74 5f 65 72 67 6f 20 61 6e 64 20 79 69 63 65 73 20 22 6f 6b 61 79 22 20 76 65 72 73 | e.alt_ergo.and.yices."okay".vers |
12e0 | 69 6f 6e 20 6e 75 6d 62 65 72 73 00 2d 20 52 65 62 75 69 6c 64 20 77 69 74 68 20 41 50 52 4f 4e | ion.numbers.-.Rebuild.with.APRON |
1300 | 20 61 6e 64 20 67 61 70 70 61 6c 69 62 2d 63 6f 71 20 73 75 70 70 6f 72 74 00 2d 20 4e 65 77 20 | .and.gappalib-coq.support.-.New. |
1320 | 75 70 73 74 72 65 61 6d 20 72 65 6c 65 61 73 65 00 2d 20 46 69 78 20 62 72 6f 6b 65 6e 20 63 6f | upstream.release.-.Fix.broken.co |
1340 | 6e 64 69 74 69 6f 6e 61 6c 73 00 2d 20 4e 65 77 20 75 70 73 74 72 65 61 6d 20 72 65 6c 65 61 73 | nditionals.-.New.upstream.releas |
1360 | 65 20 28 66 69 78 65 73 20 46 54 42 46 53 3a 20 62 7a 20 37 31 35 39 30 32 29 0a 2d 20 52 65 6d | e.(fixes.FTBFS:.bz.715902).-.Rem |
1380 | 6f 76 65 20 75 6e 6e 65 63 65 73 73 61 72 79 20 73 70 65 63 20 66 69 6c 65 20 65 6c 65 6d 65 6e | ove.unnecessary.spec.file.elemen |
13a0 | 74 73 20 28 42 75 69 6c 64 52 6f 6f 74 2c 20 65 74 63 2e 29 0a 2d 20 55 70 64 61 74 65 20 61 70 | ts.(BuildRoot,.etc.).-.Update.ap |
13c0 | 70 72 6f 61 63 68 20 74 6f 20 66 69 6c 74 65 72 69 6e 67 20 70 72 6f 76 69 64 65 73 20 61 6e 64 | proach.to.filtering.provides.and |
13e0 | 20 72 65 71 75 69 72 65 73 0a 2d 20 41 64 64 20 68 61 73 5f 70 76 73 20 61 6e 61 6c 6f 67 6f 75 | .requires.-.Add.has_pvs.analogou |
1400 | 73 6c 79 20 74 6f 20 68 61 73 5f 63 6f 71 2c 20 61 6e 64 20 73 69 6d 70 6c 69 66 79 20 6d 61 63 | sly.to.has_coq,.and.simplify.mac |
1420 | 72 6f 20 75 73 61 67 65 0a 2d 20 41 64 64 20 28 58 29 45 6d 61 63 73 20 73 75 70 70 6f 72 74 20 | ro.usage.-.Add.(X)Emacs.support. |
1440 | 70 61 63 6b 61 67 65 73 0a 2d 20 4e 65 77 20 73 75 62 70 61 63 6b 61 67 65 20 66 6f 72 20 74 68 | packages.-.New.subpackage.for.th |
1460 | 65 20 6a 65 73 73 69 65 20 70 6c 75 67 69 6e 20 74 6f 20 61 76 6f 69 64 20 75 6e 6f 77 6e 65 64 | e.jessie.plugin.to.avoid.unowned |
1480 | 20 64 69 72 65 63 74 6f 72 69 65 73 20 61 6e 64 0a 20 20 70 65 72 6d 69 74 20 61 20 64 69 72 65 | .directories.and...permit.a.dire |
14a0 | 63 74 20 64 65 70 65 6e 64 65 6e 63 79 20 6f 6e 20 66 72 61 6d 61 2d 63 0a 2d 20 50 72 65 70 61 | ct.dependency.on.frama-c.-.Prepa |
14c0 | 72 65 20 66 6f 72 20 74 68 65 20 65 76 65 6e 74 75 61 6c 20 61 76 61 69 6c 61 62 69 6c 69 74 79 | re.for.the.eventual.availability |
14e0 | 20 6f 66 20 41 50 52 4f 4e 00 2d 20 61 64 64 20 70 70 63 20 74 6f 20 65 78 63 6c 75 64 65 61 72 | .of.APRON.-.add.ppc.to.excludear |
1500 | 63 68 2c 20 74 6f 6f 2e 20 4e 6f 20 70 76 73 2d 73 62 63 6c 20 61 76 61 69 6c 61 62 6c 65 20 74 | ch,.too..No.pvs-sbcl.available.t |
1520 | 68 65 72 65 00 2d 20 61 64 64 20 70 70 63 36 34 20 74 6f 20 65 78 63 6c 75 64 65 61 72 63 68 2c | here.-.add.ppc64.to.excludearch, |
1540 | 20 6e 6f 20 73 62 63 6c 20 61 76 61 69 6c 61 62 6c 65 20 74 68 65 72 65 00 2d 20 52 65 62 75 69 | .no.sbcl.available.there.-.Rebui |
1560 | 6c 74 20 66 6f 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 | lt.for.https://fedoraproject.org |
1580 | 2f 77 69 6b 69 2f 46 65 64 6f 72 61 5f 31 35 5f 4d 61 73 73 5f 52 65 62 75 69 6c 64 00 2d 20 53 | /wiki/Fedora_15_Mass_Rebuild.-.S |
15a0 | 69 6e 63 65 20 32 2e 32 36 20 46 54 42 46 53 2c 20 74 72 79 20 6c 61 74 65 73 74 20 75 70 73 74 | ince.2.26.FTBFS,.try.latest.upst |
15c0 | 72 65 61 6d 20 28 32 2e 32 38 29 2e 0a 2d 20 52 65 62 61 73 65 20 4d 61 6b 65 66 69 6c 65 2e 69 | ream.(2.28)..-.Rebase.Makefile.i |
15e0 | 6e 20 70 61 74 63 68 2e 0a 2d 20 46 69 78 28 3f 29 20 74 65 73 74 20 72 65 73 75 6c 74 2e 0a 2d | n.patch..-.Fix(?).test.result..- |
1600 | 20 4e 6f 20 6c 69 62 64 69 72 2f 66 72 61 6d 61 2d 63 20 64 69 72 65 63 74 6f 72 79 20 69 73 20 | .No.libdir/frama-c.directory.is. |
1620 | 63 72 65 61 74 65 64 20 61 6e 79 20 6d 6f 72 65 2e 00 2d 20 42 75 6d 70 20 61 6e 64 20 72 65 62 | created.any.more..-.Bump.and.reb |
1640 | 75 69 6c 64 20 66 6f 72 20 4f 43 61 6d 6c 20 33 2e 31 32 2e 00 2d 20 55 70 67 72 61 64 65 20 74 | uild.for.OCaml.3.12..-.Upgrade.t |
1660 | 6f 20 75 70 73 74 72 65 61 6d 20 76 65 72 73 69 6f 6e 20 32 2e 32 36 20 28 69 6e 63 2e 20 75 70 | o.upstream.version.2.26.(inc..up |
1680 | 64 61 74 65 20 6f 66 20 6b 72 61 6b 61 74 6f 61 2e 70 64 66 29 0a 2d 20 49 6e 74 65 67 72 61 74 | date.of.krakatoa.pdf).-.Integrat |
16a0 | 65 64 20 77 69 74 68 20 46 72 61 6d 61 2d 43 20 61 6e 64 20 50 56 53 20 28 61 73 20 70 76 73 2d | ed.with.Frama-C.and.PVS.(as.pvs- |
16c0 | 73 62 63 6c 29 00 2d 20 52 65 62 75 69 6c 64 20 74 6f 20 66 69 78 20 64 65 70 65 6e 64 65 6e 63 | sbcl).-.Rebuild.to.fix.dependenc |
16e0 | 69 65 73 2e 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 69 | ies..-.Upgrade.to.upstream.versi |
1700 | 6f 6e 20 32 2e 32 33 0a 2d 20 4d 6f 76 65 20 65 78 65 63 73 74 61 63 6b 20 66 69 78 69 6e 67 20 | on.2.23.-.Move.execstack.fixing. |
1720 | 74 6f 20 73 70 65 63 20 66 69 6c 65 20 66 72 6f 6d 20 70 61 74 63 68 0a 2d 20 4d 6f 76 65 64 20 | to.spec.file.from.patch.-.Moved. |
1740 | 70 61 74 63 68 20 64 65 73 63 72 69 70 74 69 6f 6e 73 20 74 6f 20 69 6e 69 74 69 61 6c 20 70 61 | patch.descriptions.to.initial.pa |
1760 | 74 63 68 20 64 65 63 6c 61 72 61 74 69 6f 6e 20 61 73 20 69 6e 20 65 78 61 6d 70 6c 65 73 0a 20 | tch.declaration.as.in.examples.. |
1780 | 20 69 6e 20 46 65 64 6f 72 61 20 64 6f 63 75 6d 65 6e 74 61 74 69 6f 6e 0a 2d 20 4e 65 77 20 43 | .in.Fedora.documentation.-.New.C |
17a0 | 61 64 75 63 65 75 73 2c 20 4b 72 61 6b 61 74 6f 61 20 64 6f 63 75 6d 65 6e 74 61 74 69 6f 6e 0a | aduceus,.Krakatoa.documentation. |
17c0 | 2d 20 55 70 64 61 74 65 20 74 65 73 74 20 72 65 73 75 6c 74 20 66 72 6f 6d 20 73 6d 61 6c 6c 20 | -.Update.test.result.from.small. |
17e0 | 74 65 73 74 20 6d 69 6e 2e 6d 6c 77 0a 2d 20 41 64 64 65 64 20 43 56 43 33 20 69 6e 74 65 72 66 | test.min.mlw.-.Added.CVC3.interf |
1800 | 61 63 69 6e 67 20 63 61 70 61 62 69 6c 69 74 69 65 73 0a 2d 20 52 65 6d 6f 76 65 64 20 70 61 74 | acing.capabilities.-.Removed.pat |
1820 | 63 68 20 66 6f 72 20 67 77 68 79 20 63 6f 6e 66 69 67 75 72 61 74 69 6f 6e 2c 20 61 73 20 74 68 | ch.for.gwhy.configuration,.as.th |
1840 | 65 72 65 20 69 73 20 61 20 6e 65 77 20 6d 65 63 68 61 6e 69 73 6d 20 66 6f 72 20 74 68 69 73 00 | ere.is.a.new.mechanism.for.this. |
1860 | 2d 20 45 78 63 6c 75 64 65 20 73 70 61 72 63 36 34 20 73 33 39 30 20 73 33 39 30 78 20 20 74 68 | -.Exclude.sparc64.s390.s390x..th |
1880 | 65 72 65 20 69 73 20 6e 6f 20 6f 63 61 6d 6c 20 74 68 65 72 65 00 2d 20 52 65 6d 6f 76 65 64 20 | ere.is.no.ocaml.there.-.Removed. |
18a0 | 6e 6f 77 20 69 72 72 65 6c 65 76 61 6e 74 20 63 68 65 63 6b 20 66 6f 72 20 6e 6f 20 4f 43 61 6d | now.irrelevant.check.for.no.OCam |
18c0 | 6c 20 69 6e 20 46 65 64 6f 72 61 20 3c 20 39 20 28 74 68 6f 73 65 0a 20 20 64 69 73 74 72 69 62 | l.in.Fedora.<.9.(those...distrib |
18e0 | 75 74 69 6f 6e 73 20 61 72 65 20 45 4f 4c 29 0a 2d 20 43 68 61 6e 67 65 64 20 45 78 63 6c 75 64 | utions.are.EOL).-.Changed.Exclud |
1900 | 65 41 72 63 68 20 74 6f 20 70 72 6f 70 65 72 20 46 65 64 6f 72 61 20 76 65 72 73 69 6f 6e 73 0a | eArch.to.proper.Fedora.versions. |
1920 | 2d 20 42 75 69 6c 64 73 20 63 6f 71 20 73 75 62 70 61 63 6b 61 67 65 20 65 78 61 63 74 6c 79 20 | -.Builds.coq.subpackage.exactly. |
1940 | 77 68 65 6e 20 43 6f 71 20 63 61 6e 20 62 65 20 62 75 69 6c 74 2c 20 74 68 75 73 20 6d 61 6b 69 | when.Coq.can.be.built,.thus.maki |
1960 | 6e 67 0a 20 20 62 75 69 6c 64 20 69 6e 64 65 70 65 6e 64 65 6e 74 20 6f 66 20 77 68 65 74 68 65 | ng...build.independent.of.whethe |
1980 | 72 20 43 6f 71 20 63 61 6e 20 62 65 20 62 75 69 6c 74 0a 2d 20 64 65 66 69 6e 65 20 2d 3e 20 67 | r.Coq.can.be.built.-.define.->.g |
19a0 | 6c 6f 62 61 6c 0a 2d 20 46 69 78 65 64 20 61 63 63 69 64 65 6e 74 61 6c 20 75 73 65 20 6f 66 20 | lobal.-.Fixed.accidental.use.of. |
19c0 | 69 6e 20 74 61 72 20 6f 63 61 6d 6c 67 72 61 70 68 20 69 6e 73 74 65 61 64 20 6f 66 20 6f 6e 65 | in.tar.ocamlgraph.instead.of.one |
19e0 | 20 74 68 61 74 20 69 73 0a 20 20 73 65 70 61 72 61 74 65 6c 79 20 70 61 63 6b 61 67 65 64 00 2d | .that.is...separately.packaged.- |
1a00 | 20 52 65 62 75 69 6c 74 20 66 6f 72 20 68 74 74 70 73 3a 2f 2f 66 65 64 6f 72 61 70 72 6f 6a 65 | .Rebuilt.for.https://fedoraproje |
1a20 | 63 74 2e 6f 72 67 2f 77 69 6b 69 2f 46 65 64 6f 72 61 5f 31 32 5f 4d 61 73 73 5f 52 65 62 75 69 | ct.org/wiki/Fedora_12_Mass_Rebui |
1a40 | 6c 64 00 2d 20 52 65 62 75 69 6c 74 20 66 6f 72 20 68 74 74 70 73 3a 2f 2f 66 65 64 6f 72 61 70 | ld.-.Rebuilt.for.https://fedorap |
1a60 | 72 6f 6a 65 63 74 2e 6f 72 67 2f 77 69 6b 69 2f 46 65 64 6f 72 61 5f 31 31 5f 4d 61 73 73 5f 52 | roject.org/wiki/Fedora_11_Mass_R |
1a80 | 65 62 75 69 6c 64 00 2d 20 55 70 67 72 61 64 65 20 74 6f 20 76 65 72 73 69 6f 6e 20 32 2e 31 37 | ebuild.-.Upgrade.to.version.2.17 |
1aa0 | 20 28 62 7a 3a 20 34 37 37 37 39 30 29 0a 2d 20 41 64 64 20 6f 77 6e 65 72 73 68 69 70 20 6f 66 | .(bz:.477790).-.Add.ownership.of |
1ac0 | 20 74 77 6f 20 64 69 72 65 63 74 6f 72 69 65 73 20 63 6f 6d 6d 6f 6e 20 77 69 74 68 20 43 6f 71 | .two.directories.common.with.Coq |
1ae0 | 2c 20 62 75 74 20 6e 65 69 74 68 65 72 20 70 72 6f 67 72 61 6d 20 72 65 71 75 69 72 65 73 20 74 | ,.but.neither.program.requires.t |
1b00 | 68 65 20 6f 74 68 65 72 20 28 62 7a 3a 20 34 37 34 30 31 36 29 0a 2d 20 4d 69 6e 6f 72 20 66 69 | he.other.(bz:.474016).-.Minor.fi |
1b20 | 6c 65 6e 61 6d 65 20 63 68 61 6e 67 65 20 69 6e 20 32 2e 31 37 20 28 47 50 4c 20 2d 3e 20 4c 49 | lename.change.in.2.17.(GPL.->.LI |
1b40 | 43 45 4e 53 45 29 0a 2d 20 41 64 64 65 64 20 62 61 63 6b 20 43 6f 71 20 2e 76 20 66 69 6c 65 73 | CENSE).-.Added.back.Coq..v.files |
1b60 | 20 74 6f 20 6d 61 74 63 68 20 70 6f 6c 69 63 79 20 66 6f 72 20 43 6f 71 0a 2d 20 43 68 61 6e 67 | .to.match.policy.for.Coq.-.Chang |
1b80 | 65 64 20 64 69 72 65 63 74 6f 72 79 20 73 74 72 75 63 74 75 72 65 20 72 65 3a 20 6a 65 73 73 69 | ed.directory.structure.re:.jessi |
1ba0 | 65 20 61 6e 64 20 6b 72 61 6b 61 74 6f 61 20 74 6f 20 6d 61 74 63 68 20 6e 65 77 20 73 74 72 75 | e.and.krakatoa.to.match.new.stru |
1bc0 | 63 74 75 72 65 20 69 6e 20 32 2e 31 37 0a 2d 20 4d 69 6e 6f 72 20 63 68 61 6e 67 65 73 20 74 6f | cture.in.2.17.-.Minor.changes.to |
1be0 | 20 70 61 74 63 68 65 73 20 74 6f 20 65 6e 73 75 72 65 20 74 68 65 79 20 73 74 69 6c 6c 20 77 6f | .patches.to.ensure.they.still.wo |
1c00 | 72 6b 20 69 6e 20 32 2e 31 37 0a 2d 20 43 6f 72 72 65 63 74 65 64 20 70 61 63 6b 61 67 65 20 6c | rk.in.2.17.-.Corrected.package.l |
1c20 | 6f 63 61 74 69 6f 6e 20 67 77 68 79 2d 69 63 6f 6e 2e 70 6e 67 20 28 73 68 6f 75 6c 64 20 6f 6e | ocation.gwhy-icon.png.(should.on |
1c40 | 6c 79 20 62 65 20 69 6e 20 67 77 68 79 29 00 2d 20 45 78 63 6c 75 64 65 41 72 63 68 20 70 70 63 | ly.be.in.gwhy).-.ExcludeArch.ppc |
1c60 | 36 34 20 6f 6e 20 46 65 64 6f 72 61 20 38 20 64 75 65 20 74 6f 20 6e 6f 20 6f 63 61 6d 6c 2e 00 | 64.on.Fedora.8.due.to.no.ocaml.. |
1c80 | 2d 20 46 69 78 65 64 20 6d 69 6e 6f 72 20 69 73 73 75 65 73 20 69 6e 20 72 65 73 70 6f 6e 73 65 | -.Fixed.minor.issues.in.response |
1ca0 | 20 74 6f 20 70 61 63 6b 61 67 65 20 72 65 76 69 65 77 3a 0a 2d 20 49 6e 63 6c 75 73 69 6f 6e 20 | .to.package.review:.-.Inclusion. |
1cc0 | 6f 66 20 43 4f 50 59 49 4e 47 2c 20 47 50 4c 20 6c 69 63 65 6e 73 65 2d 72 65 6c 61 74 65 64 20 | of.COPYING,.GPL.license-related. |
1ce0 | 66 69 6c 65 73 0a 2d 20 41 64 64 65 64 20 63 6f 6e 66 69 67 2e 6d 6c 6c 20 70 61 74 63 68 20 74 | files.-.Added.config.mll.patch.t |
1d00 | 6f 20 6d 61 6b 65 20 64 65 66 61 75 6c 74 20 63 6f 6e 66 69 67 20 66 69 6c 65 20 63 72 65 61 74 | o.make.default.config.file.creat |
1d20 | 65 64 20 6e 69 63 65 72 0a 2d 20 43 68 61 6e 67 65 73 20 73 75 62 70 61 63 6b 61 67 65 20 64 65 | ed.nicer.-.Changes.subpackage.de |
1d40 | 70 65 6e 64 65 6e 63 69 65 73 20 74 6f 20 62 65 20 66 75 6c 6c 79 20 76 65 72 73 69 6f 6e 65 64 | pendencies.to.be.fully.versioned |
1d60 | 2e 0a 2d 20 4d 61 6b 65 73 20 64 75 72 69 6e 67 20 62 75 69 6c 64 20 61 6c 6c 6f 77 65 64 20 74 | ..-.Makes.during.build.allowed.t |
1d80 | 6f 20 62 65 20 6e 6f 69 73 79 20 28 61 6c 6c 6f 77 65 64 20 74 6f 20 70 72 69 6e 74 29 2e 00 2d | o.be.noisy.(allowed.to.print)..- |
1da0 | 20 43 68 61 6e 67 65 64 20 74 6f 20 6e 65 77 20 76 65 72 73 69 6f 6e 20 6f 66 20 77 68 79 2c 20 | .Changed.to.new.version.of.why,. |
1dc0 | 72 65 6d 6f 76 65 64 20 70 72 65 76 69 6f 75 73 20 77 68 79 2d 63 70 75 6c 69 6d 69 74 20 6e 61 | removed.previous.why-cpulimit.na |
1de0 | 6d 65 0a 20 20 63 68 61 6e 67 65 2c 20 7a 65 6e 6f 6e 20 6f 75 74 70 75 74 20 66 6f 72 6d 61 74 | me...change,.zenon.output.format |
1e00 | 20 70 61 74 63 68 65 73 20 61 73 20 74 68 65 20 69 73 73 75 65 73 20 77 65 72 65 20 66 69 78 65 | .patches.as.the.issues.were.fixe |
1e20 | 64 20 69 6e 0a 20 20 77 68 79 20 32 2e 31 34 2e 0a 2d 20 4d 6f 76 65 64 20 64 6f 63 20 73 75 62 | d.in...why.2.14..-.Moved.doc.sub |
1e40 | 70 61 63 6b 61 67 65 20 62 61 63 6b 20 69 6e 74 6f 20 6d 61 69 6e 20 70 61 63 6b 61 67 65 2e 0a | package.back.into.main.package.. |
1e60 | 2d 20 41 64 64 65 64 20 65 78 61 6d 70 6c 65 20 66 69 6c 65 73 20 74 6f 20 64 6f 63 75 6d 65 6e | -.Added.example.files.to.documen |
1e80 | 74 61 74 69 6f 6e 20 73 75 62 70 61 63 6b 61 67 65 2e 0a 2d 20 41 64 64 65 64 20 63 68 65 63 6b | tation.subpackage..-.Added.check |
1ea0 | 20 73 65 63 74 69 6f 6e 20 77 69 74 68 20 74 65 73 74 20 6f 6e 20 73 6d 61 6c 6c 20 77 68 79 20 | .section.with.test.on.small.why. |
1ec0 | 66 69 6c 65 2e 0a 2d 20 52 65 66 6f 72 6d 61 74 74 65 64 20 73 6f 6d 65 20 6d 61 63 72 6f 20 6e | file..-.Reformatted.some.macro.n |
1ee0 | 61 6d 65 73 20 66 6f 72 20 67 72 65 61 74 65 72 20 72 65 61 64 61 62 69 6c 69 74 79 2e 00 2d 20 | ames.for.greater.readability..-. |
1f00 | 41 64 64 65 64 20 73 65 76 65 72 61 6c 20 70 61 74 63 68 65 73 3a 20 66 69 78 65 64 20 5a 65 6e | Added.several.patches:.fixed.Zen |
1f20 | 6f 6e 20 6f 75 74 70 75 74 2c 20 63 6f 6d 70 6c 65 74 65 64 20 66 69 78 20 6f 66 20 72 65 6e 61 | on.output,.completed.fix.of.rena |
1f40 | 6d 65 0a 20 20 6f 66 20 63 70 75 6c 69 6d 69 74 20 2d 3e 20 77 68 79 2d 63 70 75 6c 69 6d 69 74 | me...of.cpulimit.->.why-cpulimit |
1f60 | 2e 00 2d 20 49 6e 69 74 69 61 6c 20 46 65 64 6f 72 61 20 52 50 4d 20 76 65 72 73 69 6f 6e 2e 00 | ..-.Initial.Fedora.RPM.version.. |
1f80 | 00 00 00 08 00 00 00 08 32 2e 33 31 2d 33 2e 66 63 31 38 00 32 2e 33 31 2d 33 2e 66 63 31 38 00 | ........2.31-3.fc18.2.31-3.fc18. |
1fa0 | 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 |
1fc0 | 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- |
1fe0 | 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 |
2000 | 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 |
2020 | 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 |
2040 | 70 69 6f 00 78 7a 00 32 00 69 36 38 36 2d 72 65 64 68 61 74 2d 6c 69 6e 75 78 2d 67 6e 75 00 00 | pio.xz.2.i686-redhat-linux-gnu.. |
2060 | 00 00 00 08 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 a1 | .......?.............7zXZ....... |
2080 | 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 74 | ..!.....#..,..{..].....b3.;A.P.t |
20a0 | 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 74 | qB....&.............#.B+O.(.q.rt |
20c0 | 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 9a | ..py.<.S...a#>....z...Q|).....K. |
20e0 | 01 00 00 00 00 0a 59 5a | ......YZ |