blob: 8882725300ad5f7b9dfdf6704ee36446f711b809 (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 32 2e 66 63 31 38 00 00 00	..........Agda-2.3.0.1-2.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 22 e2 dc ff 01 12 5c de 7f 38 bd 01 08 fb f6 10 00 88 c5 5a 60 f8 22 58 ea	......P".....\..8.........Z`."X.
0100	ec b1 0c 33 af 3a 6b ca 76 a2 a5 12 dc d8 fb 0d 50 01 1a cc 70 bd 2c 25 ad 13 e9 c7 fc 82 64 6a	...3.:k.v.......P...p.,%......dj
0120	5e 15 c5 c4 e0 5d a7 be c4 53 28 8a 00 14 f3 5f 1c 79 ae aa f9 a2 ac 66 e5 02 da 36 c8 d6 5b 87	^....]...S(...._.y.....f...6..[.
0140	b9 ee 9b fd 76 17 06 37 c8 5c 20 d0 52 35 82 39 0b c3 97 bf 6e 76 36 ef 60 74 a5 79 df 71 44 22	....v..7.\..R5.9....nv6.`t.y.qD"
0160	c8 6f ab 34 14 96 b9 8f fc b4 d5 0b 1e 31 82 d2 18 cf c6 69 f4 f6 6f 09 47 72 d6 06 11 83 c2 23	.o.4.........1.....i..o.Gr.....#
0180	fc f4 d8 cd 34 4c 09 ea b9 5e e6 17 28 37 2a 9b 0a f3 20 3d 02 d0 12 59 b3 da 52 9b 20 94 ac 56	....4L...^..(7*....=...Y..R....V
01a0	fd d9 9f 70 70 7a 4c 7f 96 43 bb 2a b8 8d 0f 00 53 17 61 f5 79 23 29 cf 32 13 7b 9f f1 1e 2c e7	...ppzL..C.*....S.a.y#).2.{...,.
01c0	71 21 77 59 00 99 07 7a e8 ae 99 c7 ec ee d4 81 df 97 3e 7d 57 97 4e 34 03 44 9d 0d 9a 54 03 b7	q!wY...z..........>}W.N4.D...T..
01e0	b4 5a 6c 73 82 9d 12 9f 06 b8 a7 9f 01 df c3 9b a9 f7 76 38 e9 b6 bf a0 05 f3 9d bd b5 91 ec bd	.Zls..............v8............
0200	fe 9a 04 f0 a7 e2 ff 9a 49 72 6f 4f 11 32 97 03 d5 48 ba 63 b3 fe d9 d2 c6 da a6 d3 8d e4 6f 67	........IroO.2...H.c..........og
0220	2e b0 4c f7 5f 09 86 38 1b 0e dd d5 e0 4a 66 9b 47 59 dd a3 3a 1d a5 11 4b 71 64 f3 67 57 b0 81	..L._..8.....Jf.GY..:...Kqd.gW..
0240	74 58 63 a7 f3 24 54 a3 46 ce f7 a8 e4 88 51 6c 69 41 6e 38 56 32 79 1d 6b f5 37 b1 b3 b0 8a d1	tXc..$T.F.....QliAn8V2y.k.7.....
0260	35 3a f4 3e 42 cc 7c 66 9e 73 f6 61 8b 94 38 e4 dc 33 b5 0c 70 07 e1 6f 58 f1 7d 5b 1c 86 85 42	5:.>B.|f.s.a..8..3..p..oX.}[...B
0280	db c9 33 ee 91 65 b3 4f e0 5b 6b ec 2b 35 51 0f 09 b6 e1 99 95 b9 51 d4 39 6a 07 16 a3 56 08 92	..3..e.O.[k.+5Q.......Q.9j...V..
02a0	6b b5 90 87 d4 d8 61 19 07 70 c1 fe f3 41 83 c9 cf 18 05 b0 0e af c9 1e c7 d5 17 41 ba ca 46 ad	k.....a..p...A.............A..F.
02c0	c0 0f 69 0e ad e8 68 be e3 64 d3 5c 33 5a d8 19 60 a0 f1 40 a3 9f d8 8e d2 0d bf a1 19 6e 24 12	..i...h..d.\3Z..`..@.........n$.
02e0	11 f3 d6 7b 4b 08 d2 49 47 11 8a 05 ed ed 6a 80 80 b4 b9 4e 44 45 5a b9 34 34 65 30 39 38 37 61	...{K..IG.....j....NDEZ.44e0987a
0300	38 37 62 32 37 36 34 62 31 35 37 62 31 31 32 30 63 65 62 63 61 34 32 30 30 34 31 34 35 38 39 66	87b2764b157b1120cebca4200414589f
0320	00 00 00 00 00 00 14 60 89 02 15 03 05 00 50 22 e2 dc ff 01 12 5c de 7f 38 bd 01 08 03 47 0f ff	.......`......P".....\..8....G..
0340	7f e7 da a5 a8 73 40 e2 6f ef 25 a1 2d fa cb 19 dd b3 de b5 11 1b 52 26 f0 7d 45 22 e3 2b a4 39	.....s@.o.%.-.........R&.}E".+.9
0360	1b 48 9b c3 ff 3b 3e c9 83 31 a8 14 f4 d5 8b 3b 34 90 2e 51 92 67 f1 6d c1 1a 86 e6 91 61 66 1f	.H...;>..1.....;4..Q.g.m.....af.
0380	a2 4b 6b 11 f6 8b ee 39 0d 78 e0 fa b6 40 83 ed fd 23 bf ea 18 19 2b 86 b0 5a 05 0a 9c 5d 53 77	.Kk....9.x...@...#....+..Z...]Sw
03a0	94 84 d0 3b c1 1f 71 e3 dc fc ae c1 a4 6b e9 7a 83 20 c2 36 91 42 9a 01 61 11 ad 5e c8 8a 6e 0d	...;..q......k.z...6.B..a..^..n.
03c0	ed 9b ee cb 3b ca 91 15 89 15 28 5f 26 2d b9 de 9c 50 79 99 b9 19 18 0f a5 fb b4 2b 64 ee d0 47	....;.....(_&-...Py........+d..G
03e0	fd 84 5f 2f 74 f3 dc d1 e3 83 ad 5d a4 0c b9 58 b2 b5 66 30 47 65 d9 c3 df 4c cd c3 51 a8 83 e7	.._/t......]...X..f0Ge...L..Q...
0400	29 c6 34 9d d4 0b e8 cf f5 0b b0 7d 8f 1c 67 13 7f cb 7d ca b7 e4 1d 1a 36 10 d4 8f cf df d5 3f	).4........}..g...}.....6......?
0420	90 87 7c 98 00 7d f1 1f ac 53 b6 ee 1e 16 e3 96 9d 61 90 07 47 2c bf 6e 8f d8 f0 4e 0b 60 71 0d	..|..}...S.......a..G,.n...N.`q.
0440	5e bd 08 53 be 37 75 17 88 45 eb 6b bc 50 59 50 78 a9 7e de 1a 36 2a 13 1c d3 c9 1b 47 b0 af b0	^..S.7u..E.k.PYPx.~..6*.....G...
0460	6a 44 62 b1 9e 9b fa 86 c1 4e 95 20 8b 65 c0 f3 ee 0d 0b f6 96 93 28 74 8a 4b fd 2c ed 66 26 a7	jDb......N...e........(t.K.,.f&.
0480	3b 1c 33 f2 bc d3 c7 fe 15 6f fb 32 f4 98 8b 65 03 ac 1c 83 b2 da 48 8b 54 b5 c6 c9 ee f3 7d 1e	;.3......o.2...e......H.T.....}.
04a0	d3 f9 71 23 9d a4 ff 1a 02 2d ba 96 a8 42 da 2a b5 3d 6a 40 e6 29 91 cc 44 d7 2a 4e b5 70 8e 09	..q#.....-...B.*.=j@.)..D.*N.p..
04c0	0a b0 bd 68 55 40 9d 0f e1 ae f8 9a 09 4e ed 55 af ce 40 b5 70 88 80 b1 5e 97 26 3f ea e6 e4 08	...hU@.......N.U..@.p...^.&?....
04e0	05 10 e0 13 78 24 a8 f5 81 a5 fa c5 5f 9f e1 56 47 b1 36 85 08 78 52 a0 68 ed 96 60 74 51 26 18	....x$......_..VG.6..xR.h..`tQ&.
0500	f7 40 4a 95 76 58 bc 11 b2 82 69 9b d5 6e db 60 0a 75 e1 ce 6b 41 3e 87 98 26 34 6d d9 f5 91 33	.@J.vX....i..n.`.u..kA>..&4m...3
0520	41 bf 78 1d aa 8e 17 3a d0 51 94 07 4c 4d c1 af 6b e9 41 ed f1 84 3e b7 02 d5 3c 81 45 50 5d e6	A.x....:.Q..LM..k.A...>...<.EP].
0540	92 0f 69 73 f4 c7 13 ee bc 5f b9 e7 9a 0b ad 95 00 00 0e d0 00 00 00 3e 00 00 00 07 ff ff ff 90	..is....._.............>........
0560	00 00 00 10 00 00 00 00 8e ad e8 01 00 00 00 00 00 00 00 30 00 00 06 25 00 00 00 3f 00 00 00 07	...................0...%...?....
0580	00 00 06 15 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 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 4a 00 00 00 01 00 00 03 ee 00 00 00 04 00 00 01 40 00 00 00 01 00 00 03 ef 00 00 00 06	...J...............@............
0600	00 00 01 44 00 00 00 01 00 00 03 f1 00 00 00 04 00 00 01 68 00 00 00 01 00 00 03 f2 00 00 00 06	...D...............h............
0620	00 00 01 6c 00 00 00 01 00 00 03 f3 00 00 00 06 00 00 01 7b 00 00 00 01 00 00 03 f6 00 00 00 06	...l...............{............
0640	00 00 01 8a 00 00 00 01 00 00 03 f7 00 00 00 06 00 00 01 8e 00 00 00 01 00 00 03 f8 00 00 00 09	................................
0660	00 00 01 9d 00 00 00 01 00 00 03 fa 00 00 00 08 00 00 01 a9 00 00 00 01 00 00 03 fc 00 00 00 06	................................
0680	00 00 01 c8 00 00 00 01 00 00 03 fd 00 00 00 06 00 00 01 fb 00 00 00 01 00 00 03 fe 00 00 00 06	................................
06a0	00 00 02 01 00 00 00 01 00 00 04 04 00 00 00 04 00 00 02 08 00 00 00 02 00 00 04 06 00 00 00 03	................................
06c0	00 00 02 10 00 00 00 02 00 00 04 09 00 00 00 03 00 00 02 14 00 00 00 02 00 00 04 0a 00 00 00 04	................................
06e0	00 00 02 18 00 00 00 02 00 00 04 0b 00 00 00 08 00 00 02 20 00 00 00 02 00 00 04 0c 00 00 00 08	................................
0700	00 00 02 a2 00 00 00 02 00 00 04 0d 00 00 00 04 00 00 02 a4 00 00 00 02 00 00 04 0f 00 00 00 08	................................
0720	00 00 02 ac 00 00 00 02 00 00 04 10 00 00 00 08 00 00 02 c0 00 00 00 02 00 00 04 15 00 00 00 04	................................
0740	00 00 02 d4 00 00 00 02 00 00 04 18 00 00 00 04 00 00 02 dc 00 00 00 05 00 00 04 19 00 00 00 08	................................
0760	00 00 02 f0 00 00 00 05 00 00 04 1a 00 00 00 08 00 00 03 4e 00 00 00 05 00 00 04 25 00 00 00 08	...................N.......%....
0780	00 00 03 68 00 00 00 0b 00 00 04 28 00 00 00 06 00 00 03 ae 00 00 00 01 00 00 04 38 00 00 00 04	...h.......(...............8....
07a0	00 00 03 b8 00 00 00 04 00 00 04 39 00 00 00 08 00 00 03 c8 00 00 00 04 00 00 04 3a 00 00 00 08	...........9...............:....
07c0	00 00 04 b6 00 00 00 04 00 00 04 47 00 00 00 04 00 00 05 90 00 00 00 02 00 00 04 48 00 00 00 04	...........G...............H....
07e0	00 00 05 98 00 00 00 02 00 00 04 49 00 00 00 08 00 00 05 a0 00 00 00 02 00 00 04 5c 00 00 00 04	...........I...............\....
0800	00 00 05 a4 00 00 00 02 00 00 04 5d 00 00 00 08 00 00 05 ac 00 00 00 02 00 00 04 5e 00 00 00 08	...........]...............^....
0820	00 00 05 d5 00 00 00 01 00 00 04 64 00 00 00 06 00 00 05 d6 00 00 00 01 00 00 04 65 00 00 00 06	...........d...............e....
0840	00 00 05 db 00 00 00 01 00 00 04 66 00 00 00 06 00 00 05 e0 00 00 00 01 00 00 13 93 00 00 00 04	...........f....................
0860	00 00 05 e4 00 00 00 01 00 00 04 46 00 00 00 06 00 00 05 e8 00 00 00 01 43 00 41 67 64 61 00 32	...........F............C.Agda.2
0880	2e 33 2e 30 2e 31 00 32 2e 66 63 31 38 00 44 65 70 65 6e 64 65 6e 74 6c 79 20 74 79 70 65 64 20	.3.0.1.2.fc18.Dependently.typed.
08a0	70 72 6f 67 72 61 6d 6d 69 6e 67 20 6c 61 6e 67 75 61 67 65 20 63 6f 6d 6d 61 6e 64 2d 6c 69 6e	programming.language.command-lin
08c0	65 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	e.This.package.provides.a.comman
08e0	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 6b 69 6e 67	d-line.program.for.type-checking
0900	20 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	.and.compiling.Agda.programs..Th
0920	65 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	e.program.can.also.generate.hype
0940	72 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	rlinked,.highlighted.HTML.files.
0960	66 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	from.Agda.sources...For.the.inte
0980	72 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	ractive.environment.please.insta
09a0	6c 6c 20 65 6d 61 63 73 2d 61 67 64 61 20 69 6e 73 74 65 61 64 2e 00 00 50 06 b8 a1 62 75 69 6c	ll.emacs-agda.instead...P...buil
09c0	64 76 6d 2d 31 30 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-10.phx2.fedoraproject.org...
09e0	00 00 0d 49 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	...IFedora.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 64 81 b4 81 a4 00 00 00 00 50 02 70 ba 50 06 b5 26 36 31 34 35 39 34 63 34	.......d........P.p.P..&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 38 38 64 65 61 38 32	d57b92e58ffe445ceffed694.88dea82
0ae0	31 65 31 31 62 32 61 30 64 34 34 39 38 66 63 64 39 62 34 38 61 63 36 65 64 65 63 34 62 39 36 32	1e11b2a0d4498fcd9b48ac6edec4b962
0b00	35 61 31 37 31 32 64 62 66 31 64 34 33 34 61 63 31 36 66 37 30 35 64 65 61 00 00 00 00 00 00 00	5a1712dbf1d434ac16f705dea.......
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	69 33 38 36 00 69 34 38 36 00 69 35 38 36 00 69 36 38 36 00 70 65 6e 74 69 75 6d 33 00 70 65 6e	i386.i486.i586.i686.pentium3.pen
0c00	74 69 75 6d 34 00 61 74 68 6c 6f 6e 00 67 65 6f 64 65 00 78 38 36 5f 36 34 00 70 70 63 00 73 70	tium4.athlon.geode.x86_64.ppc.sp
0c20	61 72 63 76 39 00 34 2e 31 30 2e 30 00 00 00 00 50 06 a5 40 4f fc 19 40 4d e8 cc c0 4d e8 cc c0	arcv9.4.10.0....P..@O..@M...M...
0c40	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-
0c60	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
0c80	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
0ca0	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
0cc0	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
0ce0	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
0d00	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
0d20	67 3e 20 2d 20 32 2e 32 2e 31 30 2d 30 00 2d 20 52 65 62 75 69 6c 74 20 66 6f 72 20 68 74 74 70	g>.-.2.2.10-0.-.Rebuilt.for.http
0d40	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 6f 72	s://fedoraproject.org/wiki/Fedor
0d60	61 5f 31 38 5f 4d 61 73 73 5f 52 65 62 75 69 6c 64 00 2d 20 75 70 64 61 74 65 20 74 6f 20 32 2e	a_18_Mass_Rebuild.-.update.to.2.
0d80	33 2e 30 2e 31 20 61 6e 64 20 63 61 62 61 6c 32 73 70 65 63 2d 30 2e 32 35 00 2d 20 4d 49 54 20	3.0.1.and.cabal2spec-0.25.-.MIT.
0da0	6c 69 63 65 6e 73 65 0a 2d 20 42 52 20 67 68 63 2d 41 67 64 61 2d 64 65 76 65 6c 00 2d 20 69 6e	license.-.BR.ghc-Agda-devel.-.in
0dc0	69 74 69 61 6c 20 70 61 63 6b 61 67 69 6e 67 20 66 6f 72 20 46 65 64 6f 72 61 20 61 75 74 6f 6d	itial.packaging.for.Fedora.autom
0de0	61 74 69 63 61 6c 6c 79 20 67 65 6e 65 72 61 74 65 64 20 62 79 20 63 61 62 61 6c 32 73 70 65 63	atically.generated.by.cabal2spec
0e00	2d 30 2e 32 33 00 00 00 00 00 00 01 00 00 00 01 00 00 00 01 00 00 00 02 00 00 00 00 00 00 00 00	-0.23...........................
0e20	00 00 00 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	....Agda-executable-2.3.0.1.tar.
0e40	67 7a 00 41 67 64 61 2e 73 70 65 63 00 00 63 70 69 6f 00 67 7a 69 70 00 39 00 00 00 00 00 00 08	gz.Agda.spec..cpio.gzip.9.......
0e60	62 75 69 6c 64 76 6d 2d 31 30 2e 70 68 78 32 2e 66 65 64 6f 72 61 70 72 6f 6a 65 63 74 2e 6f 72	buildvm-10.phx2.fedoraproject.or
0e80	67 20 31 33 34 32 36 31 37 37 36 31 00 00 00 00 3f 00 00 00 07 ff ff fd 00 00 00 00 10 1f 8b 08	g.1342617761....?...............
0ea0	00 00 00 00 00 02 03 95 56 0b 38 54 e9 1b 57 6a 31 4c e5 96 55 e8 48 b3 22 33 66 46 a3 22 a2 30	........V.8T..Wj1L..U.H."3fF.".0
0ec0	48 12 83 2d 95 3d 66 8e 99 c3 99 8b 73 ce c8 75 6d 6d 36 25 49 9b 2c a2 7b 56 49 36 5d 44 b9 a4	H..-.=f.....s..umm6%I.,.{VI6]D..
0ee0	a1 54 36 d5 a6 7f 14 85 4a ba 93 4a 32 7b 66 86 cd b6 3d bb fd bf e7 61 be ef fd de db f7 7b 6f	.T6.....J..J2{f...=....a......{o
0f00	87 3e 87 3e 87 ce a0 ab 96 f2 77 2e 23 6c 36 fd f3 8b c1 a2 d3 99 73 e8 61 a0 f2 64 0f b1 54 e4	.>.>......w.#l6.......s.a..d..T.
0f20	70 1e fd 5f 17 23 7c 64 e7 ca e7 81 54 28 06 e2 4a 71 30 0c 81 a8 4c 9a 1d 8d 4e 63 d0 70 10 a5	p.._.#|d....T(..Jq0...L...Nc.p..
0f40	f1 e3 d4 88 35 2d 55 53 4d b9 d4 9f 7e 1b 29 ee a8 33 bc f3 fb a0 a1 d1 84 ad b7 67 ba 5f 5a 7a	....5-USM...~.)..3.........g._Zz
0f60	c0 c3 7e 26 b5 69 d6 f4 b8 af f5 4c 9b a7 b1 6f 78 e6 e4 dc a7 ef bc e7 30 76 a0 23 fe 59 ca 31	..~&.i.....L...ox.......0v.#.Y.1
0f80	c4 f2 dc e4 8d a5 2e 21 e4 9b b3 a2 62 da d2 31 be 41 63 c1 5e f3 a4 0c 18 92 cd f8 39 ed 7a bb	.......!....b..1.Ac.^.......9.z.
0fa0	8d e0 2b cb fa 69 77 a3 58 bf ad 30 32 7a a6 df f3 b4 e0 fd f7 e8 35 07 61 5e 5e e8 ea 9d 3f 3c	..+..iw.X..02z........5.a^^...?<
0fc0	eb 2c 8a bd 3d e0 62 f4 1c 3e 5f 1c 68 3c cb fb 97 57 ec ae 33 d2 67 55 bc 64 c7 57 f2 f0 05 9e	.,..=.b..>_.h<...W..3.gU.d.W....
0fe0	32 37 5e 55 80 46 7d c7 ab c1 84 e0 a1 a5 21 46 96 e2 57 49 ff 8b c8 4b dc 7d 54 ef bc bc 77 f0	27^U.F}.......!F..WI...K.}T...w.
1000	61 98 d5 d1 47 b2 b8 9f 63 9e 97 da a4 5d 7b b7 e3 60 f1 a4 df 03 dd 3a 64 3d d3 9c af 79 bd c8	a...G...c....]{..`.....:d=...y..
1020	9b 53 c8 b1 17 de 0a fc 2d c3 31 e8 d2 d8 75 cc cc 86 d6 33 7e f6 c7 b5 97 f7 df ac c8 3d 95 96	.S......-.1...u....3~........=..
1040	dd 70 73 c6 d9 32 53 72 5d 86 a5 75 c5 d5 2e 6d fd e7 c7 8c c9 b8 55 e9 e5 82 b5 0d 3a c9 ef 0c	.ps..2Sr]..u...m......U.....:...
1060	3c fc d8 9d de e1 75 8f 5a 0b 4e ba f8 07 d2 7e 3d 92 54 ec e6 fc ba d0 d6 ec c4 1f db 53 d8 a7	<.....u.Z.N....~=.T..........S..
1080	f5 16 df b3 0b b6 1a 5f 66 a9 b7 6e 1d f0 62 c7 c2 ae c9 49 e8 3e e1 e1 8d 95 47 8f 2d 1f 7a 83	......._f..n..b....I.>....G.-.z.
10a0	9b 1f a3 e0 e3 3d 86 da a9 7d fe 93 c3 2a a5 02 50 18 25 4d 18 dc 6f 16 e8 f7 e8 da 26 9b 98 1a	.....=...}...*..P.%M..o.....&...
10c0	89 cd a4 5b 5c 37 fe dd 99 94 2a fb 60 db d3 fe 4e 99 35 2b 7b e6 bd c9 59 6d 66 14 19 07 f9 50	...[\7....*.`...N.5+{...Ymf....P
10e0	ae 44 1d dc ec 5e 7d 64 67 0f fa ba a8 c4 42 5b ab 0d 5b 6c 22 ec c8 0e 2c d6 de 77 d9 ce 35 c4	.D...^}dg.....B[..[l"...,..w..5.
1100	36 eb 45 65 46 8d 95 b5 b7 93 ad 6c 5b 78 39 de 97 86 9b 5f 67 67 fe ae 35 63 5c 5e 72 c3 db 8d	6.EeF......l[x9...._gg..5c\^r...
1120	da df 2d 42 ce 14 ce 86 0b 49 97 e6 f5 a7 6c 4b 66 72 52 fa 74 b7 d8 35 f1 c7 8f d5 bb 3c 34 2d	..-B.....I....lKfrR.t..5.....<4-
1140	62 dd 56 d3 f2 b1 9e 6d cc 82 e9 96 19 c6 4b b0 8d 9b ab a5 2b 5c 38 5a 27 d9 f3 5e 9b 43 7b 1e	b.V....m......K.....+\8Z'..^.C{.
1160	a4 ea 24 05 f9 16 e6 f6 c5 9f 3f c0 15 04 3d ee 5a 51 dc 14 98 ed ad 1f 13 34 65 12 2b 7f fb aa	..$.......?...=.ZQ.......4e.+...
1180	a2 45 bd 85 2d 07 d3 a7 15 1a ee dc b7 e5 2c 2b ef d2 a6 65 93 c7 1c 4c 36 40 1e 9e fc a9 60 af	.E..-.........,+...e...L6@....`.
11a0	0f 39 9a 99 36 a3 0c 4d ca 3e 99 4c 4f 9f b9 cd 25 0b db 90 5b 5f 45 b9 3e 1d 4d f2 fc 26 46 36	.9..6..M.>.LO...%...[_E.>.M..&F6
11c0	f8 58 3a 31 ae c5 83 52 6c 34 29 ca 70 ce 49 d6 d5 7a 6e c9 77 4e 3d 95 3b cb 73 6a 22 8d a6 8f	.X:1...Rl4).p.I..zn.wN=.;.sj"...
11e0	db 33 59 a6 9b 58 3a 85 cc 59 70 d9 23 7f 6b 5f 03 d0 48 2b 13 84 ec b7 bf d4 a7 5f 75 28 b5 c6	.3Y..X:..Yp.#.k_..H+......._u(..
1200	f2 dd 62 6b ed f7 b9 61 2b cd cb 5a 1b 8a d6 61 55 df e4 68 5a 18 bb 34 3e 6a 11 77 c7 97 8f 4b	..bk...a+..Z...aU..hZ..4>j.w...K
1220	ce d1 55 af bf 97 90 f1 2a f7 66 46 f0 e2 54 be e7 53 ff 08 4e 4e c3 da bb c6 5c b5 f8 5a ad e8	..U.....*.fF..T..S..NN....\..Z..
1240	b8 cd c7 33 73 ae b9 2d 1f 7a dc bb ba 51 2e 9c 51 3d c1 a2 97 b3 2d bf 29 94 7d f1 6b d7 90 a6	...3s..-.z...Q..Q=....-.).}.k...
1260	71 e6 e3 62 57 64 36 14 97 e9 e8 de a0 98 4e b1 5a 75 76 77 54 77 6e 69 55 de ec f4 75 69 bf 14	q..bWd6.......N.ZuvwTwniU...ui..
1280	7f bf ad 7a c1 ae fc fd a5 17 0e 51 48 25 db 5b 75 34 99 86 fe ea 6f 35 4b 7e 6c 3f 62 78 2f fe	...z.......QH%.[u4....o5K~l?bx/.
12a0	10 16 f2 18 b1 58 4f 95 a7 ee 39 b0 12 cd e4 d4 c9 f4 a0 89 d9 4b d7 85 e4 3a 8a 82 ba ac 9a 53	.....XO...9..........K...:.....S
12c0	2e dc b2 cf c6 ce dd 6b 8b b0 e0 59 f3 f7 36 3c b9 cd 1c 57 b4 67 55 fd f4 2b 64 35 b2 d9 e6 53	.......k...Y..6<...W.gU..+d5...S
12e0	ea f2 35 57 e4 53 be 6f 83 ea 12 e0 a1 5d 61 0f aa f2 e5 0f af 94 f6 7e 18 94 4f 39 7c 24 35 f0	..5W.S.o.....]a........~..O9|$5.
1300	e2 4c ef 0d dd ba 79 f6 b9 46 69 d7 1f 78 f5 fe b1 fd c3 ab d9 af a3 c9 f7 9b 03 fa d9 cb c2 6f	.L....y..Fi..x.................o
1320	64 a5 5e de 71 6d c5 b3 9d ce 2e 7e 5d 38 75 ed e3 b5 0f ef 34 a0 1b 33 36 5c 83 2e d4 bc 74 f1	d.^.qm.....~]8u.....4..36\....t.
1340	0d 5a 1f b5 55 bd 2a 71 77 3a 4e 4d 2d 5c 81 66 55 8f cd d8 17 b8 c7 40 27 ee 5c ed d4 ad 9d 2f	.Z..U.*qw:NM-\.fU......@'.\..../
1360	e7 5a 07 f9 74 e7 d4 3f ca 4e d4 3b 80 63 be d5 c5 1c 2d b3 29 01 79 41 8f 02 7a ae 9e ca 37 db	.Z..t..?.N.;.c....-.).yA..z...7.
1380	b0 59 4f a3 23 a7 a3 fd 82 55 b6 77 c6 98 08 93 e3 c8 ea 79 25 4d 99 ee 15 53 43 ac 9b f3 9c 53	.YO.#....U.w.......y%M...SC....S
13a0	fc d5 4c 5a 4a 62 f3 0a 0f 1c 62 d1 2b b4 4f 14 9a d7 ac 89 1e 38 7e 23 80 d5 b1 b4 bb d5 fa 90	..LZJb....b.+.O......8~#........
13c0	d6 83 0f e7 de 1c dc e4 be d4 fa 52 4a 75 ee b3 94 ce d2 69 f5 2e 9c 5a 0d 7d 4f bf 92 96 77 e5	...........RJu.....i...Z.}O...w.
13e0	27 1a 9b 5c 52 83 25 2e 42 d3 e9 05 6f e0 65 8b de 96 5a 4e 08 6d 30 b1 ee ba 71 fa b0 2e b3 e0	'..\R.%.B...o.e...ZN.m0...q.....
1400	e5 2e e6 09 9b 2e d6 7d f5 ea 83 11 64 db fc 7a 8b 10 9f 3e 7e 77 c2 f2 60 ff 62 aa cf aa dc f6	.......}....d..z...>~w..`.b.....
1420	46 ed 96 a2 9b 47 75 1a dd 8d 27 35 87 68 e8 c4 19 2e 7d 7f c4 91 72 98 cd 7f 10 64 de 9f b0 32	F....Gu...'5.h....}...r....d...2
1440	2c 51 7c c7 4d 36 e3 4e 4a 5d 6d 6e a7 b3 89 bb 41 7a 77 f4 ec 41 ab 67 6e a6 0e 9a f5 31 ce 2f	,Q|.M6.NJ]mn....Azw..A.gn....1./
1460	ba 9d 7d cb 6b 2b d6 bb 30 48 1a 17 d5 c9 e2 99 26 f3 af a6 bf dc dd 11 df b4 40 c4 6e 8a f1 a9	..}.k+..0H......&.........@.n...
1480	d5 95 7d 68 59 6d 22 4d d8 a4 f1 f4 ee 2a 4b b3 84 bd 91 2f c8 3f 69 4d d8 f7 61 ee da ab 3c cf	..}hYm"M.....*K..../.?iM..a...<.
14a0	a2 92 c9 86 ec f6 8a 97 03 4d bf de 91 71 63 4c df dc ef ac 29 c8 9d 6b 5c 72 79 aa 26 b9 db de	.........M...qcL....)..k\ry.&...
14c0	84 12 f5 be d8 68 cb a3 7e 11 ee 68 c2 f6 6b 5b 7b cb 75 7e 99 b1 eb e2 1b e9 5f 79 b5 cb d4 9f	.....h..~..h..k[{.u~......_y....
14e0	2c eb d3 37 13 b4 92 e3 9d 0a ac cf fc f8 da 82 1f 1a 1f f3 9e be 69 81 54 ff f1 84 f8 3c cd dc	,..7..................i.T....<..
1500	66 5d 1b ed a3 f1 4d 2b fe 68 af 89 7c 73 ae ec 79 80 e5 93 0d bb a6 d7 b3 d6 6f cf b0 38 7c a4	f]....M+.h..|s..y.........o..8|.
1520	e2 b9 87 48 7b 60 e1 60 a4 e5 4b 49 35 03 9e a8 71 51 33 bd 32 4b 87 7d d1 ae 27 71 fe 96 ab f5	...H{`.`..KI5...qQ3.2K.}..'q....
1540	fb 62 2e 8f 39 6d 4c 36 cf af d5 da b2 47 7f 6c a5 eb f1 1d e7 f6 84 1f 3e fb 70 f3 0f eb cf 96	.b..9mL6.....G.l........>.p.....
1560	4d 65 87 84 38 2c bb f5 63 11 c3 ae ca 27 b4 24 d2 e3 69 f3 ae 53 d1 57 e4 03 ad 6f 69 0e 95 74	Me..8,..c....'.$..i..S.W...oi..t
1580	79 2e df 28 4b fc 50 de 2d 1b 1a 92 07 4e 9e 90 2e df fb de df 40 0d 5e e3 bb a0 7d 93 e6 dc 0f	y..(K.P.-....N.......@.^...}....
15a0	1a 6b 9b 05 31 af 75 33 0b dc 12 6f ef 98 ef 1e 15 d4 78 63 bf 41 97 f5 b7 a1 24 c6 f9 43 3e ce	.k..1.u3...o......xc.A....$..C>.
15c0	6d 06 74 76 6b 72 ad 69 85 79 87 6c a9 57 7e f0 f5 63 7a 0e 9d da 97 74 eb f4 7e 3a fb f0 de f9	m.tvkr.i.y.l.W~..cz....t..~:....
15e0	89 45 96 26 76 4c 56 c0 d6 5e 84 6c 5a 7e 98 6c 2a 14 88 9a b3 b4 9e d4 2f 7a 52 de e3 b8 6a d5	.E.&vLV..^.lZ~.l*......./zR...j.
1600	cb eb f7 9a 06 ba 3b 76 38 b5 a7 39 55 0f 46 3c 7d 2c 67 14 fb c9 1c c7 54 67 0d 54 c5 be eb 7f	......;v8..9U.F<},g.....Tg.T....
1620	d3 d6 db 9b 7a b3 52 5e 55 77 1b 0f e0 63 37 cf cf 9b f5 6b d2 6f 2d b3 97 25 56 3c 79 ee 28 a8	....z.R^Uw...c7....k.o-..%V<y.(.
1640	ea 8f ac ea ef 49 e2 7f 98 ea d0 e9 34 5e cd 4c 39 de e8 a3 e7 2e 53 35 77 c1 7f 9b bb f6 61 2c	.....I......4^.L9.....S5w.....a,
1660	a6 bd 6a ee da cf fe b2 b9 4b 07 47 cf 5d 1a 26 81 b8 6a 16 00 17 0c 03 11 a6 e2 40 a5 d3 98 2c	..j......K.G.].&..j........@...,
1680	92 05 20 c0 71 09 e6 60 6b 1b 0e f1 c4 28 28 41 c5 11 10 17 a7 89 51 be ed 1a 38 12 b6 f5 03 b9	....q..`k....((A......Q...8.....
16a0	91 20 1f 16 f1 1d 3c 41 2c 12 42 90 ff 43 c4 0d 05 c3 71 cc 76 44 90 44 e1 23 62 c2 3c 20 89 e4	......<A,.B..C....q.vD.D.#b.<...
16c0	87 8a 40 21 04 7c f2 45 40 22 f9 12 54 07 e0 e3 52 30 90 82 20 14 83 c5 a2 bf e8 c3 df 0d 24 7f	..@!.|.E@"..T...R0............$.
16e0	08 81 40 ec 23 3f 93 12 bf 80 07 63 78 22 29 40 2a 14 82 68 ec 5f 37 6e 90 04 12 f1 20 11 8e c4	..@.#?.....cx")@*..h._7n........
1700	02 78 ac 04 e2 01 84 d3 7c 14 14 0a 09 2f 01 04 14 f1 a5 20 1f 02 b8 62 42 4c c4 a3 22 b0 88 f0	.x......|..../.........bBL.."...
1720	c5 07 e6 42 a2 51 ea 97 78 71 88 b7 2f 74 67 7b f9 8e 82 91 14 e8 ef 33 da 63 25 38 04 36 02 25	...B.Q..xq../tg{.......3.c%8.6.%
1740	08 10 4d a0 7a bc 12 1d 89 8a 66 4b 89 1f 41 80 70 55 2c 45 b9 10 dd e1 cb c5 31 5b 10 e5 0a e0	..M.z.....fK..A.pU,E......1[....
1760	e8 bf e9 21 f6 d1 2a 98 12 47 93 a9 1f c9 c3 9f 59 24 f7 18 2e 22 c5 08 71 57 42 0b 61 96 12 cf	...!..*..G......Y$..."..qWB.a...
1780	17 70 43 15 2a 21 2c 74 0d 8c 0b 42 89 33 9c 48 5a 28 85 11 9e 3f 14 25 85 51 08 23 f8 08 2a 75	.pC.*!,t...B.3.HZ(...?.%.Q.#..*u
17a0	91 e2 d9 54 1e 14 0d 21 9f bd 47 25 42 aa 10 e4 a2 62 8c 40 ca dd d7 6d 34 4e 9f e3 57 c6 5f a9	...T...!..G%B....b.@...m4N..W._.
17c0	0e 70 02 3e ba 4a 64 0a 0f c2 b8 28 2c c1 89 23 89 23 80 31 60 f8 f1 8a c0 45 c3 c4 2d 00 fe 2d	.p.>.Jd....(,..#.#.1`....E..-..-
17e0	5c 23 01 05 c2 c5 a8 32 c4 54 e2 3d dc 48 45 78 09 16 12 c1 2a 81 11 c5 49 61 72 84 19 a3 01 1c	\#.....2.T.=.HEx....*...Iar.....
1800	c1 47 51 2e 28 02 40 04 13 03 7c 48 04 a1 20 0e 01 02 42 11 4a 88 45 42 3c 1b 92 00 e6 0b 10 e2	.GQ.(.@...|H......B.J.EB<.......
1820	0f 27 d2 c7 93 b3 c4 07 08 87 11 c2 8f 70 54 2c 54 69 c5 94 a1 c4 68 24 92 87 c2 09 42 33 2c c2	.'...........pT,Ti....h$....B3,.
1840	09 45 5c 9c 40 1b 80 44 d1 30 2a 16 09 89 2c 04 24 ca c4 25 ae 31 1c 44 10 00 22 30 c3 a8 a0 42	.E\.@..D.0*...,.$..%.1.D.."0...B
1860	87 82 04 81 3c 42 07 89 22 41 21 09 89 82 41 b8 54 02 50 a3 00 aa 08 f8 7c 64 15 bc 61 0a 74 89	....<B.."A!...A.T.P.....|d..a.t.
1880	02 23 42 19 06 8b 42 55 47 82 3e 6c e2 e3 cd 08 81 b8 53 fa 4f 40 2d e6 02 3e 5e 8b dc 7d 03 dc	.#B...BUG.>l......S.O@-..>^..}..
18a0	49 14 10 c7 d1 99 73 58 2c 1b 54 2c c6 95 ff ac 08 ab 0a 49 1e 8c 26 da 2a 7c 54 88 72 05 44 cd	I.....sX,.T,.......I..&.*|T.r.D.
18c0	40 88 98 4f b2 06 82 09 3c bc a5 08 c0 98 0b 30 e9 0c 26 e0 a1 ec 0a c0 70 75 02 ee 22 a2 15 40	@..O....<......0..&.....pu.."..@
18e0	10 aa 00 7f 3e 0a 21 54 48 c4 77 41 88 32 c5 68 ff e8 1f ce 00 75 a4 ba a9 4c 12 95 d0 a1 78 08	....>.!TH.wA.2.h.....u...L....x.
1900	ae 0c ea 7f 34 1d 95 d5 50 c6 dc d0 25 20 86 85 aa 24 09 08 ac 01 8e 14 52 f9 47 57 f9 e7 4d 54	....4...P...%....$......R.GW..MT
1920	35 e0 07 11 91 c1 20 11 30 5f 32 bc 73 41 21 9e 00 c4 69 44 aa 8c 76 83 41 b8 21 95 f0 14 d9 80	5.......0_2.sA!...iD..v.A.!.....
1940	8b 47 a8 8a 9c fa 47 2b 25 4c 79 a0 30 61 4a 04 00 76 0a 53 8c 2f 36 c5 a4 31 e8 4a 4b 44 8f 01	.G....G+%Ly.0aJ..v.S./6..1.JKD..
1960	10 55 df 21 4e 0b fd 3f a9 92 cf d9 18 86 7b b8 c9 02 01 5e 6c 60 fe 70 d7 50 09 fd 3b d8 4a d3	.U.!N..?......{....^l`.p.P..;.J.
1980	74 c2 18 2c 82 71 58 d1 9c 47 ba b7 12 f5 61 ed a0 14 17 0b 41 1c e6 12 a9 13 fb 57 7d f0 80 b0	t..,.qX..G....a.....A......W}...
19a0	d8 4f 60 b0 23 fd 6d b6 fd d7 fa 52 be 4f 57 d8 c8 86 e3 ef ea e5 e3 ee 6f 6e 6e ae 98 ab 7f 02	.O`.#.m....R.OW.........onn.....
19c0	8d 20 26 06 d0 0e 00 00	..&.....