SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

ghc-Agda-devel rpm build for : Fedora 19. For other distributions click ghc-Agda-devel.

Name : ghc-Agda-devel
Version : 2.3.2.1 Vendor : Fedora Project
Release : 5.fc19 Date : 2013-09-02 06:40:48
Group : Unspecified Source RPM : Agda-2.3.2.1-5.fc19.src.rpm
Size : 135.28 MB
Packager : Fedora Project
Summary : Haskell Agda library development files
Description :
This package provides the Haskell Agda library development files.

RPM found in directory: /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/updates/19/i386

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  ghc-Agda-devel-2.3.2.1-5.fc19.i686.rpm
     Search for other platforms
ghc-Agda-devel-2.3.2.1-5.fc19.sparc.rpm
ghc-Agda-devel-2.3.2.1-5.fc19.alpha.rpm
ghc-Agda-devel-2.3.2.1-5.fc19.ppc.rpm
ghc-Agda-devel-2.3.2.1-5.fc19.ia64.rpm
ghc-Agda-devel-2.3.2.1-5.fc19.s390.rpm

Provides :
ghc-Agda-devel
ghc-Agda-devel(x86-32)
ghc-devel(Agda-2.3.2.1-c78518d3ecbfa3c73e6185d3d2ac7c4f)

Requires :
ghc(old-time-1.1.0.0-3e0f7b48d6c1d1415ad852e23725fdc1)
libpthread.so.0
ghc-devel(directory-1.1.0.2-fba629e68c92b00ca3a82156102679c9)
libutil.so.1
libHSrts-ghc7.4.2.so
ghc(random-1.0.1.1-5bcf17e975ad42d3244dd9f6f76c56ce)
ghc-devel(array-0.4.0.0-4f6c2a594155b0b953c1cf0f54040f61)
libHSfilepath-1.3.0.0-ghc7.4.2.so
libdl.so.2
rtld(GNU_HASH)
libHSterminfo-0.3.2.5-ghc7.4.2.so
ghc(hashable-1.1.2.5-8673a409fc6e91655016fe97b6400d01)
libHSbase-4.5.1.0-ghc7.4.2.so
libm.so.6
librt.so.1
libHSzlib-0.5.4.0-ghc7.4.2.so
ghc-devel(pretty-1.1.1.0-867dcdeb02592f3d2a707618561c7b86)
ghc(parallel-3.2.0.3-0c734151f27a50a329a35e705f0ba330)
libz.so.1
ghc-devel(filepath-1.3.0.0-954c43b4f109cbd4121f1231c14d5cff)
ghc(terminfo-0.3.2.5-e521ed68f5cbc26fcf411de40c378aaa)
libHSpretty-1.1.1.0-ghc7.4.2.so
ghc-devel(process-1.1.0.1-c55e7a2b0eb5149f070b14e14bea1c83)
libHSprocess-1.1.0.1-ghc7.4.2.so
ghc(hashtables-1.0.1.8-9a6bef1b2c7b743fcc31dfd7c465ab72)
ghc(unordered-containers-0.2.2.1-5f0c537d643ae102667f0bb42012604b)
libHStext-0.11.2.3-ghc7.4.2.so
libHSprimitive-0.5.0.1-ghc7.4.2.so
ghc-devel(old-time-1.1.0.0-3e0f7b48d6c1d1415ad852e23725fdc1)
libHSold-time-1.1.0.0-ghc7.4.2.so
ghc-devel(QuickCheck-2.5.1.1-a05dc84501922e31f0e0d6663641f66f)
ghc(transformers-0.3.0.0-2889ebed7e61112cda7ded5e4c153bcf)
libHShashable-1.1.2.5-ghc7.4.2.so
libHSdirectory-1.1.0.2-ghc7.4.2.so
/bin/sh
ghc(haskell-src-exts-1.13.5-fb4d6d7ed664d308210eeef34b6262d3)
ghc-devel(mtl-2.1.2-cf6082d8d4c6758d23401302efadd028)
ghc(base-4.5.1.0-6909ea031307e047b8ba5b23968c534b)
ghc(containers-0.4.2.1-efa59805336a77490296ae3897cecb87)
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
libHSmtl-2.1.2-ghc7.4.2.so
ghc-devel(bytestring-0.9.2.1-ac1c20630117630ba32abcac9cdbbce8)
ghc-devel(binary-0.5.1.0-d7c74dfb12608c75fe1a95565629ce73)
libHSgeniplate-0.6.0.3-ghc7.4.2.so
ghc-devel(parallel-3.2.0.3-0c734151f27a50a329a35e705f0ba330)
libHSvector-0.10.0.1-ghc7.4.2.so
libHSinteger-gmp-0.4.0.0-ghc7.4.2.so
libHSQuickCheck-2.5.1.1-ghc7.4.2.so
libHScontainers-0.4.2.1-ghc7.4.2.so
ghc(deepseq-1.3.0.0-c8a9e8b538aecb7581533b9c1d19faed)
libc.so.6
libgmp.so.10
libHShaskeline-0.7.0.3-ghc7.4.2.so
ghc(ghc-prim-0.2.0.0-23f345e1ec26a64d5ebc768bd0b2a5d9)
ghc(zlib-0.5.4.0-0d818ac207ea095f2439042e85ca4d8f)
ghc-devel(hashable-1.1.2.5-8673a409fc6e91655016fe97b6400d01)
libHSbytestring-0.9.2.1-ghc7.4.2.so
ghc-devel(unordered-containers-0.2.2.1-5f0c537d643ae102667f0bb42012604b)
ghc(time-1.4-b8e1c3d423daa1e2c5470a82caf23b52)
ghc(binary-0.5.1.0-d7c74dfb12608c75fe1a95565629ce73)
ghc(unix-2.5.1.1-73c1a390864a2affe17b7fdde3fc0e16)
libtinfo.so.5
libHStemplate-haskell-2.7.0.0-ghc7.4.2.so
ghc-devel(haskell-src-exts-1.13.5-fb4d6d7ed664d308210eeef34b6262d3)
libHScpphs-1.14-ghc7.4.2.so
ghc-devel(base-4.5.1.0-6909ea031307e047b8ba5b23968c534b)
ghc(directory-1.1.0.2-fba629e68c92b00ca3a82156102679c9)
libHSparallel-3.2.0.3-ghc7.4.2.so
ghc(QuickCheck-2.5.1.1-a05dc84501922e31f0e0d6663641f66f)
libHShaskell-src-exts-1.13.5-ghc7.4.2.so
libHSrandom-1.0.1.1-ghc7.4.2.so
ghc(cpphs-1.14-315b88357d2158a23fb0ea71796c1be6)
ghc-devel(text-0.11.2.3-7427aa3daf930bd36d392386f0ef5048)
libHSunix-2.5.1.1-ghc7.4.2.so
rpmlib(PayloadIsXz) <= 5.2-1
ghc(Agda-2.3.2.1-c78518d3ecbfa3c73e6185d3d2ac7c4f)
libncursesw.so.5
ghc(integer-gmp-0.4.0.0-c15e185526893c3119f809251aac8c5b)
libHSarray-0.4.0.0-ghc7.4.2.so
ghc(bytestring-0.9.2.1-ac1c20630117630ba32abcac9cdbbce8)
ghc(array-0.4.0.0-4f6c2a594155b0b953c1cf0f54040f61)
libHSxhtml-3000.2.1-ghc7.4.2.so
ghc-devel(deepseq-1.3.0.0-c8a9e8b538aecb7581533b9c1d19faed)
ghc(pretty-1.1.1.0-867dcdeb02592f3d2a707618561c7b86)
ghc(xhtml-3000.2.1-871d522ce456ce18e4de6a55cd790945)
ghc(primitive-0.5.0.1-a269ac922313cfdb63da08f8624fba7d)
ghc(old-locale-1.0.0.4-b1d945ebea59a524cba400a524cb40aa)
libc.so.6(GLIBC_2.0)
ghc(filepath-1.3.0.0-954c43b4f109cbd4121f1231c14d5cff)
ghc(text-0.11.2.3-7427aa3daf930bd36d392386f0ef5048)
ghc-devel(geniplate-0.6.0.3-3f209c67c195ab041c49b00226b590d6)
libHStransformers-0.3.0.0-ghc7.4.2.so
ghc-compiler = 7.4.2
ghc(template-haskell-2.7.0.0-718c7a8346a48b195831957f3dba0eac)
ghc-Agda = 2.3.2.1-5.fc19
libHSghc-prim-0.2.0.0-ghc7.4.2.so
ghc(process-1.1.0.1-c55e7a2b0eb5149f070b14e14bea1c83)
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
libHSAgda-2.3.2.1-ghc7.4.2.so
ghc-devel(hashtables-1.0.1.8-9a6bef1b2c7b743fcc31dfd7c465ab72)
libHSunordered-containers-0.2.2.1-ghc7.4.2.so
ghc(haskeline-0.7.0.3-8d058936fc001898438e16f036924a6e)
libHStime-1.4-ghc7.4.2.so
ghc-devel(xhtml-3000.2.1-871d522ce456ce18e4de6a55cd790945)
ghc-devel(containers-0.4.2.1-efa59805336a77490296ae3897cecb87)
ghc-devel(haskeline-0.7.0.3-8d058936fc001898438e16f036924a6e)
ghc(geniplate-0.6.0.3-3f209c67c195ab041c49b00226b590d6)
libffi.so.6
libHSbinary-0.5.1.0-ghc7.4.2.so
ghc(mtl-2.1.2-cf6082d8d4c6758d23401302efadd028)
libHShashtables-1.0.1.8-ghc7.4.2.so
libHSdeepseq-1.3.0.0-ghc7.4.2.so
libHSold-locale-1.0.0.4-ghc7.4.2.so
ghc(vector-0.10.0.1-fdf8e0c3f3c1cae1113ab97c34aa5c14)
ghc-devel(zlib-0.5.4.0-0d818ac207ea095f2439042e85ca4d8f)


Content of RPM :
/usr/bin/agda
/usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda
/usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Auto
/usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Auto/Auto.dyn_hi
/usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Auto/Auto.hi
/usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Auto/Auto.p_hi
/usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Auto/CaseSplit.dyn_hi
/usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Auto/CaseSplit.hi
/usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Auto/CaseSplit.p_hi
/usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Auto/Convert.dyn_hi
/usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Auto/Convert.hi
/usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Auto/Convert.p_hi
/usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Auto/NarrowingSearch.dyn_hi
/usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Auto/NarrowingSearch.hi
/usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Auto/NarrowingSearch.p_hi
/usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Auto/SearchControl.dyn_hi
/usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Auto/SearchControl.hi
/usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Auto/SearchControl.p_hi
/usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Auto/Syntax.dyn_hi
/usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Auto/Syntax.hi
/usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Auto/Syntax.p_hi
/usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Auto/Typecheck.dyn_hi
/usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Auto/Typecheck.hi
/usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Auto/Typecheck.p_hi
/usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Compiler
/usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Compiler/CallCompiler.dyn_hi
/usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Compiler/CallCompiler.hi
/usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Compiler/CallCompiler.p_hi
/usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Compiler/Epic
/usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Compiler/Epic/AuxAST.dyn_hi
There is 1394 files more in these RPM.

  
ICM