SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

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

Name : ghc-Agda-devel
Version : 2.3.2.1 Vendor : Fedora Project
Release : 5.fc20 Date : 2013-09-02 06:46:04
Group : Unspecified Source RPM : Agda-2.3.2.1-5.fc20.src.rpm
Size : 142.53 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/releases/20/Everything/i386/os/Packages/g

Content of RPM  Changelog  Provides Requires

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

Provides :
ghc-Agda-devel
ghc-Agda-devel(x86-32)
ghc-devel(Agda-2.3.2.1-134a1c13b64264fb4ac3fb087f6265d7)

Requires :
ghc(bytestring-0.10.0.2-0b6617b9eb506e75e23ac8e02aca9a35)
ghc(haskell-src-exts-1.13.5-0f3f2319acda970505744b02eb3b1d03)
libpthread.so.0
libHSfilepath-1.3.0.1-ghc7.6.3.so
ghc(deepseq-1.3.0.1-aa1be128186a233c7290faf88620ffe5)
ghc(primitive-0.5.0.1-260c8f143868c49f07653c18a9e6d8dc)
libutil.so.1
libHSprocess-1.1.0.2-ghc7.6.3.so
ghc-devel(hashable-1.1.2.5-93ac9e8f4902e70447854e208345383a)
ghc-devel(directory-1.2.0.1-0f6696fb1143d7612e79f8dad6bc63a4)
libdl.so.2
ghc(template-haskell-2.8.0.0-a90da29f4caf9b4e8eb7298c53c2bb2c)
ghc-compiler = 7.6.3
ghc-devel(text-0.11.3.1-f9af5da075b669b8893882d7df69cdb7)
rtld(GNU_HASH)
ghc(process-1.1.0.2-a830d25f0e9fb9c610aa641b7f5b20f9)
libHSbinary-0.5.1.1-ghc7.6.3.so
ghc-devel(base-4.6.0.1-ced5f3d8c90960e9f372129163296e44)
libHSpretty-1.1.1.0-ghc7.6.3.so
ghc-devel(bytestring-0.10.0.2-0b6617b9eb506e75e23ac8e02aca9a35)
libm.so.6
ghc(binary-0.5.1.1-5b8f9bc100b7fcc9007862bc7991fc81)
librt.so.1
libHSrandom-1.0.1.1-ghc7.6.3.so
ghc(integer-gmp-0.5.0.0-4093e6ff1e8ebdba04ec892df9ac108f)
libHSterminfo-0.3.2.5-ghc7.6.3.so
libHScpphs-1.16-ghc7.6.3.so
libHStransformers-0.3.0.0-ghc7.6.3.so
ghc-devel(process-1.1.0.2-a830d25f0e9fb9c610aa641b7f5b20f9)
libz.so.1
ghc(ghc-prim-0.3.0.0-00db43fcd2f6e2a73243bdb496b765e0)
libHSxhtml-3000.2.1-ghc7.6.3.so
ghc(vector-0.10.0.1-8398066fa66cdbff397fa1d47fe95cbe)
ghc(cpphs-1.16-3987fc7cc762a4f79be3101fb10ae43c)
ghc(transformers-0.3.0.0-d21f52e90b1d5cc3abf0aef9ee2c016d)
ghc-devel(parallel-3.2.0.3-e820b19f5a9c77af99f9f74ca067f604)
ghc-devel(xhtml-3000.2.1-aedd6a0629c5f519b3358e88145e03c0)
libHSinteger-gmp-0.5.0.0-ghc7.6.3.so
ghc(Agda-2.3.2.1-134a1c13b64264fb4ac3fb087f6265d7)
ghc(terminfo-0.3.2.5-61e0dc43a1465e327dacd9ab37bbe1a3)
libHSAgda-2.3.2.1-ghc7.6.3.so
libHSrts-ghc7.6.3.so
libHSbytestring-0.10.0.2-ghc7.6.3.so
/bin/sh
ghc(hashtables-1.0.1.8-ea7e4d9be4ffb2917a684e7297a606bb)
ghc-devel(deepseq-1.3.0.1-aa1be128186a233c7290faf88620ffe5)
libHShashtables-1.0.1.8-ghc7.6.3.so
libHStemplate-haskell-2.8.0.0-ghc7.6.3.so
libHShaskeline-0.7.0.3-ghc7.6.3.so
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
libHSprimitive-0.5.0.1-ghc7.6.3.so
ghc-devel(containers-0.5.0.0-3b8b869ec10d44736414ab5bea776319)
libHSold-locale-1.0.0.5-ghc7.6.3.so
ghc(containers-0.5.0.0-3b8b869ec10d44736414ab5bea776319)
libHScontainers-0.5.0.0-ghc7.6.3.so
libHShaskell-src-exts-1.13.5-ghc7.6.3.so
ghc(array-0.4.0.1-6380782b62ead58fec616aa07dc0e15c)
libc.so.6
ghc-devel(pretty-1.1.1.0-2de27f83b2c1c65d629a564e9e01b27d)
ghc(mtl-2.1.2-fe866e917274e9b307cc6413975cc313)
ghc(unix-2.6.0.1-cda4a1ccec7933729c420178d4b19a9b)
ghc-devel(time-1.4.0.1-11ddabfbdd9e1882a9135b100d37881b)
libgmp.so.10
ghc-devel(mtl-2.1.2-fe866e917274e9b307cc6413975cc313)
ghc(old-time-1.1.0.1-978f23f270668d2fce2ccde5417e64e6)
ghc-devel(geniplate-0.6.0.3-bfd737e522f73fbb09b57c4e0e5f2b36)
ghc(base-4.6.0.1-ced5f3d8c90960e9f372129163296e44)
ghc-devel(haskell-src-exts-1.13.5-0f3f2319acda970505744b02eb3b1d03)
libHSbase-4.6.0.1-ghc7.6.3.so
ghc(filepath-1.3.0.1-edbc3d8247914b04f448e9261e7fe895)
ghc(unordered-containers-0.2.3.0-5bf92a1c1b90f6e2e5a5dbbd8a6ab013)
ghc-devel(filepath-1.3.0.1-edbc3d8247914b04f448e9261e7fe895)
ghc(geniplate-0.6.0.3-bfd737e522f73fbb09b57c4e0e5f2b36)
ghc-devel(hashtables-1.0.1.8-ea7e4d9be4ffb2917a684e7297a606bb)
libtinfo.so.5
libHSparallel-3.2.0.3-ghc7.6.3.so
libHStime-1.4.0.1-ghc7.6.3.so
ghc(random-1.0.1.1-65ba52a831ea9eba2c7241ee6bb84f55)
ghc(xhtml-3000.2.1-aedd6a0629c5f519b3358e88145e03c0)
ghc(QuickCheck-2.6-5571712ebb9990d84d42ae8f6e9f4247)
ghc(haskeline-0.7.0.3-775b029f16a4b58f3cc6b4cb4f7e7ac5)
ghc(zlib-0.5.4.1-f8b2bb965704e7ec5caa162d83990faa)
ghc(directory-1.2.0.1-0f6696fb1143d7612e79f8dad6bc63a4)
ghc-devel(zlib-0.5.4.1-f8b2bb965704e7ec5caa162d83990faa)
libHSarray-0.4.0.1-ghc7.6.3.so
ghc(parallel-3.2.0.3-e820b19f5a9c77af99f9f74ca067f604)
rpmlib(PayloadIsXz) <= 5.2-1
libncursesw.so.5
ghc-Agda = 2.3.2.1-5.fc20
ghc-devel(binary-0.5.1.1-5b8f9bc100b7fcc9007862bc7991fc81)
ghc-devel(QuickCheck-2.6-5571712ebb9990d84d42ae8f6e9f4247)
libc.so.6(GLIBC_2.0)
libHSunix-2.6.0.1-ghc7.6.3.so
libHSQuickCheck-2.6-ghc7.6.3.so
libHSmtl-2.1.2-ghc7.6.3.so
libHSzlib-0.5.4.1-ghc7.6.3.so
ghc(text-0.11.3.1-f9af5da075b669b8893882d7df69cdb7)
ghc-devel(haskeline-0.7.0.3-775b029f16a4b58f3cc6b4cb4f7e7ac5)
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
ghc(pretty-1.1.1.0-2de27f83b2c1c65d629a564e9e01b27d)
ghc-devel(unordered-containers-0.2.3.0-5bf92a1c1b90f6e2e5a5dbbd8a6ab013)
libHSdeepseq-1.3.0.1-ghc7.6.3.so
libHSvector-0.10.0.1-ghc7.6.3.so
ghc(hashable-1.1.2.5-93ac9e8f4902e70447854e208345383a)
ghc-devel(array-0.4.0.1-6380782b62ead58fec616aa07dc0e15c)
libffi.so.6
libHSold-time-1.1.0.1-ghc7.6.3.so
libHSunordered-containers-0.2.3.0-ghc7.6.3.so
ghc(time-1.4.0.1-11ddabfbdd9e1882a9135b100d37881b)
ghc(old-locale-1.0.0.5-753125cfaf463057d163a0cefde5b58f)
libHSdirectory-1.2.0.1-ghc7.6.3.so
libHShashable-1.1.2.5-ghc7.6.3.so
libHStext-0.11.3.1-ghc7.6.3.so
libHSghc-prim-0.3.0.0-ghc7.6.3.so
libHSgeniplate-0.6.0.3-ghc7.6.3.so


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

  
ICM