Agda-2.3.0.1-4.fc18 > t D H ` p Ph`G~Lj!UIewdW lG1, aY"\m~m"T瞑S_8#E˾MzPQ"mh^CKT8MUf](e0K d
2,bya7k?]žo{b'jϸ5~.ΔI|E~2!cyIY̠&ˤpQCUվ`IlˈuSyh?udLښ6m@v
oiCUyDPF\_tstb8K;ZAs@'3k#$5B/.YZp#`l%{na3d90d7d7706ab57bfbfbb3e95e6a647bda6a707 1N܉ Ph`G[\C!M:. r].ʍ&z="
٧;.΄y@B7ҁiK8V5pw+C1ynV̱Hcl|h,m߃Ҹ|w_O#Kprjt7IQqbZrɫ3aS~[$I>P^G>,,8c(?B1nәZtnOňΟTꎕGang "v5?S^.ua,_,s%:3NЦf&&.LxQ60< $qu[O'ח7ՙh ٍYӈtZ퐏y,? .vzb
)TN PkB~ Md
n=&!lC܍;88Acn'% =Ste
m|K^x>
W%ۛ.suPjZwjI:UsP x5YD > 3 ? d Y P T x |
l ( 8 9 ( : v G H I X Y \ ] ^ b % d e f l C Agda 2.3.0.1 4.fc18 Command-line program for type-checking and compiling Agda programs This package provides a command-line program for type-checking and
compiling Agda programs. The program can also generate hyperlinked,
highlighted HTML files from Agda sources.
For the interactive environment please install emacs-agda instead. Pppc-builder6.qa.fedoraproject.org %Koji Koji MIT Koji Unspecified http://hackage.haskell.org/package/Agda-executable linux ppc A큤 PPO]M4d6ddd0808814d69d6077c4004de32ef4f6fff4008f1bd95abab6fbb13152d74 5c00d3f3ff7cd10c92b9ef1067428e7b80e197da0679877993c73ec2f4a4352f root root root root root root Agda-2.3.0.1-4.fc18.src.rpm Agda Agda(ppc-32)
@ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @
rpmlib(FileDigests) rpmlib(PayloadFilesHavePrefix) rpmlib(CompressedFileNames) libc.so.6 libc.so.6(GLIBC_2.0) libc.so.6(GLIBC_2.1) libc.so.6(GLIBC_2.1.2) libc.so.6(GLIBC_2.1.3) libc.so.6(GLIBC_2.2) libc.so.6(GLIBC_2.3) libc.so.6(GLIBC_2.3.2) libc.so.6(GLIBC_2.3.4) libc.so.6(GLIBC_2.4) libc.so.6(GLIBC_2.7) libdl.so.2 libdl.so.2(GLIBC_2.0) libdl.so.2(GLIBC_2.1) libffi.so.5 libgmp.so.10 libm.so.6 libm.so.6(GLIBC_2.0) libncursesw.so.5 libpthread.so.0 libpthread.so.0(GLIBC_2.0) libpthread.so.0(GLIBC_2.2) librt.so.1 librt.so.1(GLIBC_2.2) libtinfo.so.5 libutil.so.1 libz.so.1 rtld(GNU_HASH) rpmlib(PayloadIsXz) 4.6.0-1 4.0-1 3.0.4-1 5.2-1 4.10.2 PP|@P@O@MMJens Petersen SrxedLOQEz'>BiH궝m4A7vʇAu>
U4K9
/I=0G}
#KvNzeE#Z3]eZ˳ꐯڍj [`k)|<3şkK}vEmgN
}8yI}