blob: e6ff9d081692aa8ca905de7a08c946a9cc1e5ea5 (plain)

ofs	hex dump	ascii
0000	ed ab ee db 03 00 00 01 00 01 41 67 64 61 2d 32 2e 33 2e 30 2e 31 2d 34 2e 66 63 31 38 00 00 00	..........Agda-2.3.0.1-4.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 ca 1d e1 ff 01 12 5c de 7f 38 bd 01 08 92 01 10 00 b2 e6 a7 50 bd 75 18 fc	......P......\..8..........P.u..
0100	b8 b8 bf b9 c3 68 eb 82 e5 11 a8 9a dc dc 45 54 fd 0a c7 ba 81 50 f4 c2 dc 32 8f 31 7c 5f 5d 74	.....h........ET.....P...2.1|_]t
0120	e8 d9 d0 0a 2b 33 b6 b5 06 29 3b 82 67 1c ff 8f c1 df 6b 02 9e f6 dd 04 46 c5 9a 28 63 f1 44 df	....+3...);.g.....k.....F..(c.D.
0140	65 cd 66 6c 10 b1 0c c3 86 9f 0a 4e b9 dd 8a cb c7 de 67 b4 c5 55 eb 75 44 a7 d7 73 9f a7 aa 38	e.fl.......N......g..U.uD..s...8
0160	3e d3 7c 3c 73 86 c4 df 22 15 ee b5 3f 17 53 85 88 01 96 5e b2 c4 7b 6b fc b1 de 94 a9 ff 30 65	>.|<s..."...?.S....^..{k......0e
0180	8a 32 e6 0b 86 b4 e8 59 92 73 b9 22 9f 41 14 50 be d8 4b cd f4 ec 58 0d 03 19 60 a2 48 75 b4 47	.2.....Y.s.".A.P..K...X...`.Hu.G
01a0	b8 12 64 de c3 cd 73 f7 ac 6b 48 94 98 fa 96 52 3e 0e 8c fe ed aa 41 55 f3 30 b3 7b 0d 08 f4 95	..d...s..kH....R>.....AU.0.{....
01c0	cf 3c 04 6b d1 6f 53 2b 61 8e 34 61 a6 64 c0 f9 38 01 c9 ff b3 87 e0 92 78 91 c7 eb fb b2 82 7a	.<.k.oS+a.4a.d..8.......x......z
01e0	b8 1f 70 b0 39 55 a2 c8 1d 9f 8d 97 c5 9d b5 f6 86 62 cc 8f 62 7e 80 04 17 30 da 8b 8e 8d 9e e2	..p.9U...........b..b~...0......
0200	2a 73 27 6c a9 55 5c 53 a6 d5 cf c9 f8 7d 13 1d 5a 42 81 27 8a 08 92 f5 b3 b0 59 f0 89 be 61 38	*s'l.U\S.....}..ZB.'......Y...a8
0220	dc 93 f8 80 47 ae 3b 65 8a be 06 4b c4 2d b8 2e 0b bb e9 50 b1 6b 03 41 e5 30 45 4c 54 8a 4a db	....G.;e...K.-.....P.k.A.0ELT.J.
0240	b0 d5 ef 40 4b f1 d5 d7 0d f7 dc 1e 63 20 e7 10 5a 0f 98 9e c7 d1 dc 9a da 36 a4 2a 3c b7 0f e1	...@K.......c...Z........6.*<...
0260	ad 55 35 ba 6d 5d f0 aa 03 6b 5b f6 78 73 28 fe 8a 42 c2 eb 38 6e 43 bf e4 83 a5 b0 4d a3 20 f8	.U5.m]...k[.xs(..B..8nC.....M...
0280	80 03 4d 8d ce 3c 62 27 3a fc 13 5d 83 fb 14 0b 1d f6 dc 1b a7 c0 fe e1 08 2b e0 f1 dc 84 7d d6	..M..<b':..].............+....}.
02a0	15 b8 7b 3d 8f ef 8a e6 31 86 a9 2b 20 d7 86 27 2f e5 25 de 72 61 17 5d b1 fc ec d2 51 cc 58 d9	..{=....1..+...'/.%.ra.]....Q.X.
02c0	c5 c7 9d f5 86 86 ce a2 9f f3 18 ca d0 fc 77 4a 73 f2 7c 7d 74 6f 9f c4 af a0 e6 b6 4e 28 89 4e	..............wJs.|}to......N(.N
02e0	5c 05 97 be 23 36 2c 18 c1 0b 40 89 d3 d1 92 bf fa c8 c1 19 a3 f5 10 cd 62 64 62 31 61 33 33 33	\...#6,...@.............bdb1a333
0300	62 64 30 66 64 36 62 33 61 34 65 30 65 34 37 36 65 33 66 35 32 37 34 30 37 33 31 36 63 35 39 39	bd0fd6b3a4e0e476e3f527407316c599
0320	00 00 00 00 00 00 14 b6 89 02 15 03 05 00 50 ca 1d e1 ff 01 12 5c de 7f 38 bd 01 08 ee 0a 10 00	..............P......\..8.......
0340	bb 57 9a 96 59 a8 65 a6 69 83 84 52 bb 90 77 02 8b eb 88 64 f8 7a 20 35 a9 56 26 31 c1 0a c1 79	.W..Y.e.i..R..w....d.z.5.V&1...y
0360	1b 53 88 e9 c9 0e 5a d2 22 c2 0b b1 aa a1 c1 04 50 ad 2b 5e 7b 9d e4 24 7c fe 1d 5b 0a 60 fe 4b	.S....Z.".......P.+^{..$|..[.`.K
0380	13 31 ce 9c 3f 20 79 e8 0c 43 be 2d 2b a0 8a be 36 e0 9b 35 6f 47 0f 2a 62 d7 d5 de d1 5f 28 fe	.1..?.y..C.-+...6..5oG.*b...._(.
03a0	47 a9 ef dd 05 23 c8 68 ac 3f 10 f2 f4 1d 53 32 e5 dd 7e 1d 0d 42 2c 52 68 7a 95 bc 59 3d 4e 0d	G....#.h.?....S2..~..B,Rhz..Y=N.
03c0	88 8d d5 df bd 0c d6 8c e8 91 16 3b c6 c4 2d 6a be 4f 3a 74 6f c4 87 6f 31 fd 02 c6 ce c1 35 30	...........;..-j.O:to..o1.....50
03e0	46 2b c2 12 3b 95 95 48 a7 55 ab 35 df c9 6c 81 f6 f5 3a 09 ac 25 b3 93 16 21 9a 78 e3 f3 87 2a	F+..;..H.U.5..l...:..%...!.x...*
0400	fc e2 3e 9f 22 b8 c2 25 c7 8c 57 a1 14 f6 77 85 a0 db c0 2d cf 64 2c b5 e8 a8 02 f8 04 3c 47 d6	..>."..%..W...w....-.d,......<G.
0420	57 bb 32 db b3 11 bb 11 05 19 85 3a 12 34 f3 55 a4 d3 c6 30 26 60 92 9b 43 7f 94 f6 67 25 d9 f2	W.2........:.4.U...0&`..C...g%..
0440	22 84 77 51 f5 a3 c0 b6 0f 67 03 18 33 d0 f0 6c 14 50 34 5f 79 3d d2 fb 71 42 90 15 be 40 bd dd	".wQ.....g..3..l.P4_y=..qB...@..
0460	b8 fd d7 33 03 42 e7 7a 2c e7 2a 18 07 bf 45 3c 7e 0f aa e5 f6 f2 fa 7d 5f 64 ef 74 7d 7e fd 47	...3.B.z,.*...E<~......}_d.t}~.G
0480	d3 43 c8 3c a3 8d 7b 30 ff a1 11 20 4a e6 2d 20 31 a3 ef d1 30 bc 9b a1 ca 22 c2 05 4a 71 a8 8b	.C.<..{0....J.-.1...0...."..Jq..
04a0	eb 92 50 52 17 a5 92 c4 40 17 4e d0 01 2b e2 5a 25 26 e9 99 c8 3f fb e1 a1 46 d2 ca ce d3 61 9f	..PR....@.N..+.Z%&...?...F....a.
04c0	1b 83 7b a6 68 c4 30 7a 9c 52 2f db e7 f2 c5 8d 7c 6c fc 2f c8 6c c6 c5 72 1d 62 5a ca 57 17 66	..{.h.0z.R/.....|l./.l..r.bZ.W.f
04e0	ef af 1d ea 90 1a 6e 93 e7 f1 cc a8 45 0f 72 bf db c6 20 33 b8 5b 86 00 22 13 4c 0e 3d 8d f4 e0	......n.....E.r....3.[..".L.=...
0500	73 aa a3 64 ce 27 e4 13 5c a2 77 2f fe 1a 90 2b ba ff 03 0b 6e dc 34 11 7a e1 a7 88 40 73 1d cb	s..d.'..\.w/...+....n.4.z...@s..
0520	a2 bb c3 a4 2f 4e d1 43 f2 9a 92 96 13 64 7c ff ec 79 26 e3 40 43 ad 84 cf b5 73 0a 38 4d be e7	..../N.C.....d|..y&.@C....s.8M..
0540	0d 44 fb de f2 6f 61 c9 ed 7d 82 a4 48 74 e3 79 00 00 0f 40 00 00 00 3e 00 00 00 07 ff ff ff 90	.D...oa..}..Ht.y...@...>........
0560	00 00 00 10 00 00 00 00 8e ad e8 01 00 00 00 00 00 00 00 2f 00 00 06 89 00 00 00 3f 00 00 00 07	.................../.......?....
0580	00 00 06 79 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	...y.......d....................
05a0	00 00 00 02 00 00 00 01 00 00 03 e9 00 00 00 06 00 00 00 07 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 59 00 00 00 01 00 00 03 ee 00 00 00 04 00 00 01 50 00 00 00 01 00 00 03 ef 00 00 00 06	...Y...............P............
0600	00 00 01 54 00 00 00 01 00 00 03 f1 00 00 00 04 00 00 01 78 00 00 00 01 00 00 03 f2 00 00 00 06	...T...............x............
0620	00 00 01 7c 00 00 00 01 00 00 03 f3 00 00 00 06 00 00 01 8b 00 00 00 01 00 00 03 f6 00 00 00 06	...|............................
0640	00 00 01 9a 00 00 00 01 00 00 03 f7 00 00 00 06 00 00 01 9e 00 00 00 01 00 00 03 f8 00 00 00 09	................................
0660	00 00 01 ad 00 00 00 01 00 00 03 fa 00 00 00 08 00 00 01 b9 00 00 00 01 00 00 03 fc 00 00 00 06	................................
0680	00 00 01 d8 00 00 00 01 00 00 03 fd 00 00 00 06 00 00 02 0b 00 00 00 01 00 00 03 fe 00 00 00 06	................................
06a0	00 00 02 11 00 00 00 01 00 00 04 04 00 00 00 04 00 00 02 18 00 00 00 02 00 00 04 06 00 00 00 03	................................
06c0	00 00 02 20 00 00 00 02 00 00 04 09 00 00 00 03 00 00 02 24 00 00 00 02 00 00 04 0a 00 00 00 04	...................$............
06e0	00 00 02 28 00 00 00 02 00 00 04 0b 00 00 00 08 00 00 02 30 00 00 00 02 00 00 04 0c 00 00 00 08	...(...............0............
0700	00 00 02 b2 00 00 00 02 00 00 04 0d 00 00 00 04 00 00 02 b4 00 00 00 02 00 00 04 0f 00 00 00 08	................................
0720	00 00 02 bc 00 00 00 02 00 00 04 10 00 00 00 08 00 00 02 d0 00 00 00 02 00 00 04 15 00 00 00 04	................................
0740	00 00 02 e4 00 00 00 02 00 00 04 18 00 00 00 04 00 00 02 ec 00 00 00 05 00 00 04 19 00 00 00 08	................................
0760	00 00 03 00 00 00 00 05 00 00 04 1a 00 00 00 08 00 00 03 5e 00 00 00 05 00 00 04 28 00 00 00 06	...................^.......(....
0780	00 00 03 78 00 00 00 01 00 00 04 38 00 00 00 04 00 00 03 80 00 00 00 06 00 00 04 39 00 00 00 08	...x.......8...............9....
07a0	00 00 03 98 00 00 00 06 00 00 04 3a 00 00 00 08 00 00 04 e6 00 00 00 06 00 00 04 47 00 00 00 04	...........:...............G....
07c0	00 00 05 f4 00 00 00 02 00 00 04 48 00 00 00 04 00 00 05 fc 00 00 00 02 00 00 04 49 00 00 00 08	...........H...............I....
07e0	00 00 06 04 00 00 00 02 00 00 04 5c 00 00 00 04 00 00 06 08 00 00 00 02 00 00 04 5d 00 00 00 08	...........\...............]....
0800	00 00 06 10 00 00 00 02 00 00 04 5e 00 00 00 08 00 00 06 39 00 00 00 01 00 00 04 64 00 00 00 06	...........^.......9.......d....
0820	00 00 06 3a 00 00 00 01 00 00 04 65 00 00 00 06 00 00 06 3f 00 00 00 01 00 00 04 66 00 00 00 06	...:.......e.......?.......f....
0840	00 00 06 44 00 00 00 01 00 00 13 93 00 00 00 04 00 00 06 48 00 00 00 01 00 00 04 46 00 00 00 06	...D...............H.......F....
0860	00 00 06 4c 00 00 00 01 43 00 41 67 64 61 00 32 2e 33 2e 30 2e 31 00 34 2e 66 63 31 38 00 43 6f	...L....C.Agda.2.3.0.1.4.fc18.Co
0880	6d 6d 61 6e 64 2d 6c 69 6e 65 20 70 72 6f 67 72 61 6d 20 66 6f 72 20 74 79 70 65 2d 63 68 65 63	mmand-line.program.for.type-chec
08a0	6b 69 6e 67 20 61 6e 64 20 63 6f 6d 70 69 6c 69 6e 67 20 41 67 64 61 20 70 72 6f 67 72 61 6d 73	king.and.compiling.Agda.programs
08c0	00 54 68 69 73 20 70 61 63 6b 61 67 65 20 70 72 6f 76 69 64 65 73 20 61 20 63 6f 6d 6d 61 6e 64	.This.package.provides.a.command
08e0	2d 6c 69 6e 65 20 70 72 6f 67 72 61 6d 20 66 6f 72 20 74 79 70 65 2d 63 68 65 63 6b 69 6e 67 20	-line.program.for.type-checking.
0900	61 6e 64 0a 63 6f 6d 70 69 6c 69 6e 67 20 41 67 64 61 20 70 72 6f 67 72 61 6d 73 2e 20 54 68 65	and.compiling.Agda.programs..The
0920	20 70 72 6f 67 72 61 6d 20 63 61 6e 20 61 6c 73 6f 20 67 65 6e 65 72 61 74 65 20 68 79 70 65 72	.program.can.also.generate.hyper
0940	6c 69 6e 6b 65 64 2c 0a 68 69 67 68 6c 69 67 68 74 65 64 20 48 54 4d 4c 20 66 69 6c 65 73 20 66	linked,.highlighted.HTML.files.f
0960	72 6f 6d 20 41 67 64 61 20 73 6f 75 72 63 65 73 2e 0a 0a 46 6f 72 20 74 68 65 20 69 6e 74 65 72	rom.Agda.sources...For.the.inter
0980	61 63 74 69 76 65 20 65 6e 76 69 72 6f 6e 6d 65 6e 74 20 70 6c 65 61 73 65 20 69 6e 73 74 61 6c	active.environment.please.instal
09a0	6c 20 65 6d 61 63 73 2d 61 67 64 61 20 69 6e 73 74 65 61 64 2e 00 00 00 50 c9 75 24 62 75 69 6c	l.emacs-agda.instead....P.u$buil
09c0	64 76 6d 2d 30 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	dvm-07.phx2.fedoraproject.org...
09e0	00 00 0d b7 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
0a00	74 00 4d 49 54 00 46 65 64 6f 72 61 20 50 72 6f 6a 65 63 74 00 55 6e 73 70 65 63 69 66 69 65 64	t.MIT.Fedora.Project.Unspecified
0a20	00 41 67 64 61 2d 65 78 65 63 75 74 61 62 6c 65 2d 32 2e 33 2e 30 2e 31 2e 74 61 72 2e 67 7a 00	.Agda-executable-2.3.0.1.tar.gz.
0a40	68 74 74 70 3a 2f 2f 68 61 63 6b 61 67 65 2e 68 61 73 6b 65 6c 6c 2e 6f 72 67 2f 70 61 63 6b 61	http://hackage.haskell.org/packa
0a60	67 65 2f 41 67 64 61 2d 65 78 65 63 75 74 61 62 6c 65 00 6c 69 6e 75 78 00 78 38 36 5f 36 34 00	ge/Agda-executable.linux.x86_64.
0a80	00 00 06 e5 00 00 06 d2 81 b4 81 a4 00 00 00 00 50 02 70 ba 50 c9 74 2f 36 31 34 35 39 34 63 34	................P.p.P.t/614594c4
0aa0	31 34 63 38 32 38 63 38 37 61 62 62 31 39 31 33 37 34 31 64 62 36 36 34 34 37 63 30 39 36 31 37	14c828c87abb1913741db66447c09617
0ac0	64 35 37 62 39 32 65 35 38 66 66 65 34 34 35 63 65 66 66 65 64 36 39 34 00 33 32 32 39 62 32 30	d57b92e58ffe445ceffed694.3229b20
0ae0	33 35 64 37 39 62 64 32 31 64 33 66 32 32 38 33 30 34 62 63 65 65 35 38 34 38 61 61 39 39 64 35	35d79bd21d3f228304bcee5848aa99d5
0b00	33 31 38 62 66 38 62 30 37 32 32 65 30 38 37 30 64 61 32 33 63 35 64 63 38 00 00 00 00 00 00 00	318bf8b0722e0870da23c5dc8.......
0b20	00 00 00 20 6d 6f 63 6b 62 75 69 6c 64 00 6d 6f 63 6b 62 75 69 6c 64 00 6d 6f 63 6b 62 75 69 6c	....mockbuild.mockbuild.mockbuil
0b40	64 00 6d 6f 63 6b 62 75 69 6c 64 00 ff ff ff ff ff ff ff ff 00 00 00 00 00 00 00 00 00 00 00 08	d.mockbuild.....................
0b60	01 00 00 0a 01 00 00 0a 67 68 63 2d 43 61 62 61 6c 2d 64 65 76 65 6c 00 67 68 63 2d 72 70 6d 2d	........ghc-Cabal-devel.ghc-rpm-
0b80	6d 61 63 72 6f 73 00 67 68 63 2d 41 67 64 61 2d 64 65 76 65 6c 00 72 70 6d 6c 69 62 28 46 69 6c	macros.ghc-Agda-devel.rpmlib(Fil
0ba0	65 44 69 67 65 73 74 73 29 00 72 70 6d 6c 69 62 28 43 6f 6d 70 72 65 73 73 65 64 46 69 6c 65 4e	eDigests).rpmlib(CompressedFileN
0bc0	61 6d 65 73 29 00 00 00 32 2e 33 2e 30 2e 31 00 34 2e 36 2e 30 2d 31 00 33 2e 30 2e 34 2d 31 00	ames)...2.3.0.1.4.6.0-1.3.0.4-1.
0be0	34 2e 31 30 2e 31 00 00 50 c0 88 c0 50 a7 7c 40 50 06 a5 40 4f fc 19 40 4d e8 cc c0 4d e8 cc c0	4.10.1..P...P.|@P..@O..@M...M...
0c00	4a 65 6e 73 20 50 65 74 65 72 73 65 6e 20 3c 70 65 74 65 72 73 65 6e 40 72 65 64 68 61 74 2e 63	Jens.Petersen.<petersen@redhat.c
0c20	6f 6d 3e 20 2d 20 32 2e 33 2e 30 2e 31 2d 34 00 4a 65 6e 73 20 50 65 74 65 72 73 65 6e 20 3c 70	om>.-.2.3.0.1-4.Jens.Petersen.<p
0c40	65 74 65 72 73 65 6e 40 72 65 64 68 61 74 2e 63 6f 6d 3e 20 2d 20 32 2e 33 2e 30 2e 31 2d 33 00	etersen@redhat.com>.-.2.3.0.1-3.
0c60	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-
0c80	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
0ca0	2e 33 2e 30 2e 31 2d 32 00 4a 65 6e 73 20 50 65 74 65 72 73 65 6e 20 3c 70 65 74 65 72 73 65 6e	.3.0.1-2.Jens.Petersen.<petersen
0cc0	40 72 65 64 68 61 74 2e 63 6f 6d 3e 20 2d 20 32 2e 33 2e 30 2e 31 2d 31 00 4a 65 6e 73 20 50 65	@redhat.com>.-.2.3.0.1-1.Jens.Pe
0ce0	74 65 72 73 65 6e 20 3c 70 65 74 65 72 73 65 6e 40 72 65 64 68 61 74 2e 63 6f 6d 3e 20 2d 20 32	tersen.<petersen@redhat.com>.-.2
0d00	2e 32 2e 31 30 2d 31 00 46 65 64 6f 72 61 20 48 61 73 6b 65 6c 6c 20 53 49 47 20 3c 68 61 73 6b	.2.10-1.Fedora.Haskell.SIG.<hask
0d20	65 6c 6c 2d 64 65 76 65 6c 40 6c 69 73 74 73 2e 66 65 64 6f 72 61 70 72 6f 6a 65 63 74 2e 6f 72	ell-devel@lists.fedoraproject.or
0d40	67 3e 20 2d 20 32 2e 32 2e 31 30 2d 30 00 2d 20 72 65 6d 6f 76 65 20 45 78 63 6c 75 73 69 76 65	g>.-.2.2.10-0.-.remove.Exclusive
0d60	41 72 63 68 20 67 68 63 5f 61 72 63 68 65 73 5f 77 69 74 68 5f 67 68 63 69 00 2d 20 72 65 62 75	Arch.ghc_arches_with_ghci.-.rebu
0d80	69 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	ild.-.Rebuilt.for.https://fedora
0da0	70 72 6f 6a 65 63 74 2e 6f 72 67 2f 77 69 6b 69 2f 46 65 64 6f 72 61 5f 31 38 5f 4d 61 73 73 5f	project.org/wiki/Fedora_18_Mass_
0dc0	52 65 62 75 69 6c 64 00 2d 20 75 70 64 61 74 65 20 74 6f 20 32 2e 33 2e 30 2e 31 20 61 6e 64 20	Rebuild.-.update.to.2.3.0.1.and.
0de0	63 61 62 61 6c 32 73 70 65 63 2d 30 2e 32 35 00 2d 20 4d 49 54 20 6c 69 63 65 6e 73 65 0a 2d 20	cabal2spec-0.25.-.MIT.license.-.
0e00	42 52 20 67 68 63 2d 41 67 64 61 2d 64 65 76 65 6c 00 2d 20 69 6e 69 74 69 61 6c 20 70 61 63 6b	BR.ghc-Agda-devel.-.initial.pack
0e20	61 67 69 6e 67 20 66 6f 72 20 46 65 64 6f 72 61 20 61 75 74 6f 6d 61 74 69 63 61 6c 6c 79 20 67	aging.for.Fedora.automatically.g
0e40	65 6e 65 72 61 74 65 64 20 62 79 20 63 61 62 61 6c 32 73 70 65 63 2d 30 2e 32 33 00 00 00 00 01	enerated.by.cabal2spec-0.23.....
0e60	00 00 00 01 00 00 00 01 00 00 00 02 00 00 00 00 00 00 00 00 00 00 00 00 41 67 64 61 2d 65 78 65	........................Agda-exe
0e80	63 75 74 61 62 6c 65 2d 32 2e 33 2e 30 2e 31 2e 74 61 72 2e 67 7a 00 41 67 64 61 2e 73 70 65 63	cutable-2.3.0.1.tar.gz.Agda.spec
0ea0	00 00 63 70 69 6f 00 67 7a 69 70 00 39 00 00 00 00 00 00 08 62 75 69 6c 64 76 6d 2d 30 37 2e 70	..cpio.gzip.9.......buildvm-07.p
0ec0	68 78 32 2e 66 65 64 6f 72 61 70 72 6f 6a 65 63 74 2e 6f 72 67 20 31 33 35 35 33 38 30 30 30 34	hx2.fedoraproject.org.1355380004
0ee0	00 00 00 00 3f 00 00 00 07 ff ff fd 10 00 00 00 10 1f 8b 08 00 00 00 00 00 02 03 9d 56 0b 3c 54	....?.......................V.<T
0f00	69 1b 57 6a 31 4c e5 96 55 e8 48 b3 22 33 66 c6 ad c8 ad 30 48 d2 18 6c a9 66 8f 99 63 e6 30 37	i.Wj1L..U.H."3f....0H..l.f..c.07
0f20	e7 9c 91 eb da da 6c 4a 92 36 59 44 f7 ac 92 6c ba 88 72 49 43 a9 6c aa 4d 5f 14 85 4a ba 93 4a	......lJ.6YD...l..rIC.l.M_..J..J
0f40	32 7b 66 86 ad af af 6f b7 df be bf df cc bc ef f3 be cf f3 7f de ff f3 bc cf 33 54 27 aa 13 95	2{f....o..................3T'...
0f60	46 55 0d e5 ef 5c 5a 84 3d f5 f3 83 e6 40 a5 d2 9d a8 11 a0 72 e5 08 39 a8 c4 91 5c ea df 0e 5a	FU...\Z.=....@......r..9...\...Z
0f80	e4 d8 cc 93 c7 05 c9 50 1c c4 91 62 60 84 00 22 d3 29 76 14 2a 85 46 c1 40 84 c2 4b 50 c3 c7 8c	.......P...b`..".)v.*.F.@..KP...
0fa0	74 4d 35 e5 50 7f f2 6d b4 b8 ab c1 f0 f6 ef c3 86 46 93 b6 dc 9a ed 7d 71 c9 7e 1f c7 d9 e4 96	tM5.P..m.........F.....}q.~.....
0fc0	39 33 13 be d6 33 6d 9d c1 b8 ee 9b 97 77 8f ba e3 ae f3 f8 a1 ae c4 a7 69 47 05 96 67 a7 6e 28	93...3m......w..........iG..g.n(
0fe0	f7 08 27 de 98 13 13 d7 91 89 f2 0c 9a 8b f6 98 a7 64 c1 90 6c d6 cf 19 d7 3a 6d f8 5f 59 36 ce	..'..............d..l....:m._Y6.
1000	b8 13 e3 f0 db 72 23 a3 a7 fa 7d 4f 8a de 7d 8f 5c 75 16 16 14 b0 57 ed f8 e1 69 77 49 fc ad 21	.....r#...}O..}.\u....W...iwI..!
1020	0f a3 67 f0 b9 d2 10 e3 39 fe bf bc 64 f4 9c 96 3e ad e1 a6 ba bc 94 47 ba fb ca bc b8 35 c1 1a	..g.....9...d...>......G.....5..
1040	8d 5d 2f 87 93 c2 46 96 84 1b 59 8a 5f a6 fc 27 aa 20 79 d7 11 bd 73 f2 fe e1 07 11 56 47 1e ca	.]/...F...Y._..'..y...s.....VG..
1060	12 7e 8e 7b 56 6e 93 71 f5 ed f6 03 a5 53 7e 0f f1 ea 92 f5 cd 70 bb ea f7 bc c0 a9 98 e5 28 bc	.~.{Vn.q.....S~......p........(.
1080	19 f2 5b 96 4b e8 c5 f1 6b e9 d9 4d ed a7 83 1c 8f 69 2f 1b bc 51 95 7f 32 23 b7 e9 c6 ac 33 15	..[.K...k..M.....i/..Q..2#....3.
10a0	a6 c4 86 2c 4b eb aa 2b 3d da fa cf 8e 1a 13 31 ab f2 4b 45 6b 9a 74 52 df 1a f8 04 31 ba fd 23	...,K..+=......1..KEk.tR....1..#
10c0	1b 1e b6 17 9d f0 60 86 50 7e 3d 9c 52 ea e5 f6 aa d8 d6 ec f8 1f db d2 18 a7 f4 16 dd b5 0b b3	......`.P~=.R...................
10e0	9a 58 61 a9 b7 76 2d f0 7c fb 82 9e a9 29 c8 5e e1 a1 0d d5 47 8e 2e 1b 79 8d 99 1f 25 61 13 7d	.Xa..v-.|....).^....G...y...%a.}
1100	46 3a c9 03 cc a9 11 d5 52 3e 28 8c 91 26 0d ef 33 0b 09 7a 78 75 a3 4d 5c 9d c4 66 ca 4d 8e 17	F:......R>(..&..3..zxu.M\..f.M..
1120	ef ce 6c 52 8d 63 98 ed 29 a6 6b 76 dd 8a be 79 af f3 56 99 19 45 27 40 01 a4 cb 31 07 36 79 d7	..lR.c..).kv...y..V..E'@...1.6y.
1140	1e de d1 87 bc 2a 29 b3 d0 d6 ea 40 17 99 08 bb 72 43 4a b5 f7 5e b2 f3 0c b7 cd 79 5e 9d 55 67	.....*)....@....rCJ..^.....y^.Ug
1160	65 ed ef 6a 2b db 1a 59 89 0d 64 60 e6 d7 18 d9 bf 6b cd 9a 50 90 da f4 66 83 f6 77 0b 05 a7 8b	e..j+..Y..d`.....k..P...f..w....
1180	ed e1 62 c2 c5 79 83 69 5b 53 e9 ac b4 01 dd cd 76 2d bc 89 e3 f5 2e 8d cc 88 5a bb c5 b4 72 bc	..b..y.i[S......v-........Z...r.
11a0	6f 07 bd 68 a6 65 96 f1 62 74 c3 a6 5a e9 72 0f 96 d6 09 c6 bc 57 e6 d0 ee fb e9 3a 29 a1 81 c5	o..h.e..bt..Z.r......W.....:)...
11c0	f9 03 89 e7 f6 73 f8 a1 8f 7a 96 97 b6 84 e4 fa eb c7 85 4e 9b e2 50 b8 6d 65 c9 c2 fe e2 b6 03	.....s...z.........N..P.me......
11e0	99 33 8a 0d 77 ec dd 7c c6 a1 e0 e2 c6 a5 53 c7 1d 48 35 10 3c 38 f1 53 d1 9e 00 62 2c 3d 63 56	.3..w..|......S..H5.<8.S...b,=cV
1200	05 92 92 7b 22 95 9a 39 7b ab 47 0e ba 3e bf b1 86 74 6d 26 92 e2 fb 4d 9c 6c f8 91 74 72 42 9b	...{"..9{.G..>...tm&...M.l..trB.
1220	0f a9 d4 68 4a 8c a1 d3 09 87 2b 8d 9c b2 ef 5c fb aa 77 54 e6 d5 45 1b cd 9c b0 7b aa 4c 37 b9	...hJ.....+....\..wT..E....{.L7.
1240	7c 1a 91 e5 7e c9 a7 70 cb 40 13 d0 4c a9 e0 87 ef 73 bc 38 a0 5f 73 30 bd ce f2 ed 22 6b ed 77	|...~..p.@..L....s.8._s0...."k.w
1260	f9 11 2b cc 2b da 9b 4a d6 a2 35 df e4 69 5a 18 7b 34 3f 6c 13 f7 26 56 4e 48 cd d3 55 6f bc 9b	..+.+..J..5..iZ.{4?l..&VNH..Uo..
1280	94 f5 32 ff 46 56 d8 a2 74 9e ef 13 66 14 2b af 69 cd 1d 63 8e 5a 62 bd 56 6c c2 a6 63 d9 79 57	..2.FV..t...f.+.i..c.Zb.Vl..c.yW
12a0	bd 96 8d 3c ea 5f d5 2c 17 ce aa 9d 64 d1 cf da 5a d8 c2 66 5c f8 da 33 bc 65 82 f9 84 f8 e5 d9	...<._.,....d...Z..f\..3.e......
12c0	4d a5 15 3a ba d7 49 a6 d3 ac 56 9e d9 15 d3 9b 5f 5e 53 60 9f b9 36 e3 97 d2 ef b7 d6 ba ef 2c	M..:..I...V....._^S`..6........,
12e0	dc 57 7e fe 20 89 50 b6 ad 5d 47 93 6e c8 54 7f a3 59 f6 63 e7 61 c3 bb 89 07 d1 f0 47 02 8b 75	.W~...P..]G.n.T..Y.c.a......G..u
1300	64 79 fa ee fd 2b 90 6c 56 83 4c 0f 9a 9c bb 64 6d 78 be 8b 28 b4 c7 aa 35 ed fc 4d c7 5c f4 ec	dy...+.lV.L....dmx..(...5..M.\..
1320	dd 8e 28 0b ae 35 6f 4f d3 e3 5b f4 09 25 bb 57 36 ce bc 4c 54 23 9a 6d 3a a9 2e 5f 7d 59 3e ed	..(..5oO..[..%.W6..LT#.m:.._}Y>.
1340	fb 0e a8 21 09 1e d9 19 71 bf a6 50 fe e0 72 79 ff fb 61 f9 b4 43 87 d3 43 2e cc f6 5f df ab 5b	...!....q..P..ry..a..C..C..._..[
1360	e0 98 6f 94 71 ed be 5f ff 1f db de bf b4 7f 15 4b bc d7 1a 3c c8 58 1a 79 3d 27 fd d2 f6 ab cb	..o.q.._........K...<.X.y='.....
1380	9f ee 70 f3 08 ea c1 c8 6b 1e ad 79 70 bb 09 d9 90 b5 fe 2a 74 be ee 85 47 60 e8 ba 98 2d ea 35	..p.....k..yp......*t...G`...-.5
13a0	c9 bb 32 31 72 7a f1 72 24 a7 76 7c d6 de 90 dd 06 3a 09 67 eb a7 6f e9 7e 31 d7 3a 34 a0 37 af	..21rz.r$.v|.....:.g..o.~1.:4.7.
13c0	f1 61 6e b2 de 7e 0c 0d ac 2d 65 69 99 4d 0b 2e 08 7d 18 dc 77 e5 64 a1 d9 fa 4d 7a 1a 5d 79 5d	.an..~...-ei.M...}..w.d...Mz.]y]
13e0	9d e7 ad 72 fd b3 c6 45 99 1c 13 ac 9a 57 d6 92 ed 5d 35 3d dc ba b5 c0 2d 8d a9 66 d2 56 16 5f	...r...E.....W...]5=....-..f.V._
1400	50 bc ff a0 03 b5 4a fb 78 b1 79 dd ea d8 a1 63 d7 83 1d ba 96 f4 b6 5b 1f d4 ba ff fe ec eb 03	P.....J.x.y....c.......[........
1420	1b bd 97 58 5f 4c ab cd 7f 9a d6 5d 3e a3 d1 83 55 af a1 ef 1b 54 d6 f6 b6 f2 78 73 8b 47 7a 98	...X_L.....]>...U....T....xs.Gz.
1440	c4 43 68 3a b3 e8 35 bc 74 e1 9b 72 cb 49 ec 26 13 eb 9e eb a7 0e e9 d2 8b 5e ec a4 1f b7 e9 71	.Ch:..5.t..r.I.&.........^.....q
1460	b8 a7 5e 7b 20 8a 68 5b d8 68 11 1e 30 c0 eb 4d 5a 16 c6 2c 25 07 ac cc ef 6c d6 6e 2b b9 71 44	..^{..h[.h..0..MZ..,%....l.n+.qD
1480	a7 d9 db 78 4a 6b b8 86 4e 82 e1 92 77 87 5d 48 87 18 bc fb a1 e6 83 49 2b 22 92 c5 b7 bd 64 b3	...xJk..N...w.]H.......I+"....d.
14a0	6e a7 35 d4 e7 77 bb 99 78 1b 64 f6 c6 da 0f 5b 3d f5 32 75 d6 6c 8c 73 7b de eb 16 58 59 5f b5	n.5..w..x.d....[=.2u.l.s{...XY_.
14c0	ce 83 46 d0 b8 a0 4e 14 cf 36 99 7f 25 f3 c5 ae ae c4 16 77 11 a3 25 2e a0 5e 57 f6 be 6d 95 89	..F...N..6..%......w..%..^W..m..
14e0	34 69 a3 c6 93 3b 2b 2d cd 92 f6 44 3f 27 fe a4 35 69 ef fb b9 6b ae 70 7d 4b ca a6 1a 32 3a ab	4i...;+-...D?'..5i...k.p}K...2:.
1500	5e 0c b5 fc 7a 5b c6 89 33 7d 7d af bb ae 28 7f ae 71 d9 a5 e9 9a c4 5e 47 13 52 cc bb 52 a3 cd	^...z[..3}}...(..q.....^G.R..R..
1520	0f 07 45 98 8b 09 23 a8 63 cd 4d cf f9 15 c6 9e 8b ae 67 7e e5 d7 29 53 7f bc 74 40 df 8c df 4e	..E...#.c.M.......g~..)S..t@...N
1540	4c 74 2d b2 3e fd e3 2b 0b 1e 3b 31 ee 1d 75 a3 bb 54 ff d1 a4 c4 02 cd fc 56 5d 1b ed 23 89 2d	Lt-.>..+..;1..u..T.......V]..#.-
1560	cb ff e8 ac 8b 7e 7d b6 e2 59 b0 e5 e3 f5 3b 67 36 3a ac db 96 65 71 e8 70 d5 33 1f 91 f6 d0 82	.....~}..Y....;g6:...eq.p.3.....
1580	e1 68 cb 17 92 5a 1a 3c 59 e3 82 66 66 75 8e 0e e3 82 5d 5f f2 fc cd 57 1a f7 c6 5d 1a 77 ca 98	.h...Z.<Y..ffu....]_...W...].w..
15a0	68 5e 58 af b5 79 b7 fe f8 6a cf 63 db cf ee 8e 3c 74 e6 c1 a6 1f d6 9d a9 98 ce 08 0f 77 5e 7a	h^X..y...j.c....<t...........w^z
15c0	f3 c7 12 9a 5d 4d 00 bb 2c da e7 49 eb ce 93 b1 97 e5 43 ed 6f 28 ce d5 54 79 3e cf 28 47 fc 40	....]M..,..I......C.o(..Ty>.(G.@
15e0	de 2b 1b 19 91 87 4c 9d 94 29 df f3 8e 69 a0 06 af 0e 74 ef dc a8 39 f7 bd c6 9a 56 7e dc 2b dd	.+....L..)...i....t...9....V~.+.
1600	ec 22 af e4 5b db e7 7b c7 84 36 5f df 67 d0 63 fd 2d 9b 40 3b 77 30 c0 ad c3 80 ca 68 4f ad 37	."..[..{..6_.g.c.-.@;w0.....hO.7
1620	ad 32 ef 92 2d f1 2b 0c bb 76 54 cf b9 5b fb a2 6e 83 de 4f 67 1e dc 3d 37 b9 c4 d2 c4 8e ee 10	.2..-.+..vT..[..n..Og..=7.......
1640	bc a5 5f 40 34 ad 3c 44 34 15 f2 45 ad 39 5a 8f 1b 17 3e ae ec 73 59 b9 f2 c5 b5 bb 2d 43 bd 5d	.._@4.<D4..E.9Z...>..sY.....-C.]
1660	db 5d 3b 33 5c 6b 87 a3 9e 3c 92 d3 4a 83 64 2e e3 6a 73 86 6a e2 df 0e be ee e8 ef 4f bf 51 2d	.];3\k...<..J.d..js.j.......O.Q-
1680	af 69 b8 85 05 f3 d0 1b e7 e6 cd f9 35 e5 b7 36 fb a5 c9 55 8f 9f b9 f0 6b 06 a3 6b 06 fb 52 78	.i..........5..6...U....k..k..Rx
16a0	ef a7 3b 77 bb 4e 54 33 53 b6 37 ea c7 7d 97 ae ea bb e0 df f4 5d ce 3c 27 7b ba aa 8f 3a 72 e9	..;w.NT3S.7..}.......].<'{...:r.
16c0	5f d6 77 a9 e0 c7 7d 97 82 4a 20 8e 9a 05 c0 c7 30 09 ea 6c 6b 1b 09 71 c5 08 28 41 c4 51 10 07	_.w...}..J......0..lk..q..(A.Q..
16e0	a3 88 11 9e ed 6a 38 1a b6 0d 02 39 d1 20 0f 16 f1 9c 7d 41 34 1a 12 08 08 5f ae e2 85 80 91 18	.....j8....9......}A4...._......
1700	6a 3b a6 48 20 f1 04 e2 08 50 00 48 a2 79 6c 11 28 84 80 4f fa 3f 81 10 88 4b 9d 81 0f 43 71 80	j;.H.....P.H.yl.(..O.?...K...Cq.
1720	10 0a 21 28 2c 16 fd 25 1f fd 97 40 60 42 02 08 44 3f 9c b7 27 25 ba 73 61 14 4b 26 04 4b 85 42	..!(,..%...@`B..D?..'%.sa.K&.K.B
1740	10 89 ff 6b 67 a1 18 5f 8b b8 64 01 2c 82 00 dc 5f 1e 02 0a 81 48 31 02 60 f1 12 88 cc e1 43 9c	...kg.._..d.,..._....H1.`.....C.
1760	68 dc 5d 00 3f 02 70 c4 42 09 2c 50 ac 14 d8 63 87 51 02 21 00 e6 40 a2 8f d0 16 fb b1 08 21 cc	h.].?.p.B.,P...c.Q.!..@.......!.
1780	80 8f bd 55 12 83 f3 c2 57 12 00 51 f8 aa 8b 2b 99 91 a8 64 b6 a4 c4 b1 db e3 6e 8a a5 08 07 a2	...U....W..Q...+...d......n.....
17a0	3a 7f b9 3a 6a 0b 22 1c 3e 1c fb 5f 76 f0 79 ac 8a a2 e4 8f c5 e4 0f e2 d1 3f 54 04 c2 02 29 2c	:..:j.".>.._v.y..........?T...),
17c0	e0 32 a1 18 29 8c 40 28 8e cb e3 73 c8 0b 41 3c 26 64 2e 14 0b 09 3e bb 8f 48 84 64 21 c8 41 c4	.2..).@(...s..A<&d....>..H.d!.A.
17e0	e8 67 b7 95 31 54 6a 03 ae c0 07 48 3c da 5c 08 e5 20 b0 04 c3 97 04 16 1f 46 81 d1 4b 28 48 8d	.g..1Tj....H<.\..........F..K(H.
1800	85 f1 5d 00 54 d0 fd 85 91 21 fc 9f c8 50 00 16 ff 83 2a 07 14 01 a0 00 15 03 3c 48 04 21 20 06	..].T....!...P....*.......<H.!..
1820	01 7c dc 10 82 ab 45 43 5c 1b 02 1f e6 f1 05 f8 07 83 b8 80 2f 6b 71 00 10 09 0b 70 3f 22 11 b1	.|....EC\.........../kq....p?"..
1840	50 65 15 55 86 04 a5 10 08 3e 0a 27 70 cb b0 08 c3 0d 71 30 9c 74 00 12 c5 c2 88 58 24 84 44 18	Pe.U.....>.'p.....q0.t.....X$.D.
1860	20 51 26 1f be 8d 62 a0 40 00 40 38 45 28 19 54 d8 50 88 20 90 8b db 20 90 24 08 24 21 90 50 08	.Q&...b.@.@8E(.T.P.......$.$!.P.
1880	93 4a 00 72 0c 40 16 01 9f 8f 90 e2 6c 84 82 5d fc 91 f0 39 ec 08 58 c4 56 2d 71 f9 28 c4 87 9d	.J.r.@......l..]...9..X.V-q.(...
18a0	31 01 be a7 f4 1f a7 5a cc 01 02 fc 16 7a 07 06 7b 13 48 20 86 21 b3 9d 1c 1c 6c 10 b1 18 53 7e	1......Z.....z..{.H..!....l...S~
18c0	59 e1 a8 0a 4d 2e 8c 24 db 2a 7c 54 a8 72 f8 a0 88 07 09 c4 3c 82 35 4e a1 14 f0 82 38 00 e0 08	Y...M..$.*|T.r......<.5N....8...
18e0	d0 a9 34 3a e0 8f a7 3a 10 04 e1 37 47 21 11 30 5f 32 3a f3 40 20 2e 1f c4 28 78 28 dc 00 f2 d8	..4:...:...7G!.0_2:.@....(x(....
1900	43 24 db 13 c8 00 02 09 c5 38 43 de 71 1c 81 14 c5 b9 f2 c4 f3 54 91 1f 6c 45 c2 42 28 7b 35 8c	C$.......8C.q........T..lE.B({5.
1920	f1 d9 f8 1a 26 e0 70 c1 20 06 04 8a 63 01 9a d3 bf 81 b3 53 c2 8d d2 63 0d 84 e1 b1 f4 97 0a 00	....&.p.....c......S...c........
1940	da 5c 95 31 1f 65 55 02 46 ab 03 e0 2d c2 4b 11 04 21 8a c4 99 8f 40 02 32 24 e2 79 08 f0 32 81	.\.1.eU.F...-.K..!....@.2$.y..2.
1960	52 fe a7 7e 7d 8c 42 c7 51 98 4a 14 4c 99 90 ff 50 f4 54 a8 6c da 5c f6 62 10 45 d9 cc 0f fe b1	R..~}.B.Q.J.L...P.T.l.\.b.E.....
1980	a4 90 ca 3f ea bf b9 2c 0d 77 43 2a e1 2a 32 19 13 8f 49 55 95 4a f1 6e e9 8a 2a 4e a6 52 e8 0e	...?...,.wC*.*2...IU.J.n..*N.R..
19a0	0a 28 1f 04 c6 a1 44 00 60 a7 80 a2 7d 31 14 9d 42 a3 2a 91 f0 a2 06 08 54 85 0e 5f 2d 60 7e f2	.(....D.`...}1..B.*.....T.._-`~.
19c0	c2 3f 87 31 4a f7 68 91 07 82 fd 18 c0 fc d1 ca a5 52 fa 7b b2 95 d0 54 1c 0c 16 c1 18 ac 68 0e	.?.1J.h..........R.{...T......h.
19e0	63 dd 43 c9 fa a8 75 50 8a 89 85 20 06 73 f0 b4 8f ff eb 6d 73 81 88 f8 4f 68 b0 23 7c d2 4b ff	c.C...uP.....s.....ms...Oh.#|.K.
1a00	69 7c e9 b9 4f 47 c4 d8 84 c5 f4 f4 0b f0 66 9a 9b 9b 2b fa f8 9f 84 00 c8 00 40 0f 00 00	i|..OG........f...+.......@...