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:48:17
Group : Unspecified Source RPM : Agda-2.3.2.1-5.fc19.src.rpm
Size : 191.86 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/x86_64

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  ghc-Agda-devel-2.3.2.1-5.fc19.x86_64.rpm
     

Provides :
ghc-Agda-devel
ghc-Agda-devel(x86-64)
ghc-devel(Agda-2.3.2.1-51f7e22e123942bee0b6f326e22028f8)

Requires :
ghc(pretty-1.1.1.0-91ed62f0481a81d292d550eec35ee75b)
ghc-devel(geniplate-0.6.0.3-7f78a7827e34bfde05e15e0f0df527ca)
ghc(zlib-0.5.4.0-f9a7b27d857d3e506b8524567650abc8)
libffi.so.6()(64bit)
libHShashable-1.1.2.5-ghc7.4.2.so()(64bit)
ghc(directory-1.1.0.2-c30059d750d04b32316f9eeced589f8a)
rtld(GNU_HASH)
ghc(ghc-prim-0.2.0.0-7d3c2c69a5e8257a04b2c679c40e2fa7)
ghc(Agda-2.3.2.1-51f7e22e123942bee0b6f326e22028f8)
libHSunix-2.5.1.1-ghc7.4.2.so()(64bit)
libHSbinary-0.5.1.0-ghc7.4.2.so()(64bit)
ghc(containers-0.4.2.1-75f143aa39a3e77a1ce2300025bdd8ce)
ghc-devel(hashtables-1.0.1.8-83bb853aa7f012eaa447f17f929e2fad)
ghc-devel(containers-0.4.2.1-75f143aa39a3e77a1ce2300025bdd8ce)
ghc(text-0.11.2.3-db61832d0c4660614c4ceff234ed4abb)
libHSdeepseq-1.3.0.0-ghc7.4.2.so()(64bit)
libHSrandom-1.0.1.1-ghc7.4.2.so()(64bit)
libHShaskeline-0.7.0.3-ghc7.4.2.so()(64bit)
libHSunordered-containers-0.2.2.1-ghc7.4.2.so()(64bit)
libHSrts-ghc7.4.2.so()(64bit)
libHSold-time-1.1.0.0-ghc7.4.2.so()(64bit)
libHShaskell-src-exts-1.13.5-ghc7.4.2.so()(64bit)
ghc(time-1.4-d61e2caaa0486655b4e141dc277ed49f)
libHSfilepath-1.3.0.0-ghc7.4.2.so()(64bit)
ghc(haskeline-0.7.0.3-d7f3ccf9e91c534c80a7d7d408a958c4)
ghc(filepath-1.3.0.0-f998e5510c76a98913f57b14b4f16c57)
ghc(binary-0.5.1.0-1dd25e339bc04e2d8ca8103c35947bf6)
ghc-devel(zlib-0.5.4.0-f9a7b27d857d3e506b8524567650abc8)
libgmp.so.10()(64bit)
libc.so.6(GLIBC_2.2.5)(64bit)
libHSdirectory-1.1.0.2-ghc7.4.2.so()(64bit)
ghc-devel(directory-1.1.0.2-c30059d750d04b32316f9eeced589f8a)
libutil.so.1()(64bit)
libHStext-0.11.2.3-ghc7.4.2.so()(64bit)
libHSxhtml-3000.2.1-ghc7.4.2.so()(64bit)
ghc-devel(old-time-1.1.0.0-703543375fafbcbe67bc51a758e84f10)
/bin/sh
ghc(unordered-containers-0.2.2.1-d70d5ccb1df11dbbbaac89571b1ee46d)
ghc(old-time-1.1.0.0-703543375fafbcbe67bc51a758e84f10)
libHSQuickCheck-2.5.1.1-ghc7.4.2.so()(64bit)
ghc(geniplate-0.6.0.3-7f78a7827e34bfde05e15e0f0df527ca)
libHSzlib-0.5.4.0-ghc7.4.2.so()(64bit)
ghc(deepseq-1.3.0.0-c26e15897417ecd448742528253d68f6)
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
ghc-devel(bytestring-0.9.2.1-503e91bb155301fdb1956cb5c26ce6e9)
libHSghc-prim-0.2.0.0-ghc7.4.2.so()(64bit)
ghc-devel(filepath-1.3.0.0-f998e5510c76a98913f57b14b4f16c57)
ghc(mtl-2.1.2-02e701f9b1590ee88a0b5b0bd5d93a29)
ghc-devel(array-0.4.0.0-0b6c5ca7e879a14d110ca4c001dd9297)
ghc(QuickCheck-2.5.1.1-5ea1ce76cfa8030a7fd686ae3ca851c3)
ghc(unix-2.5.1.1-fbeb2e9e8451ca52838bf4a3783c437c)
libncursesw.so.5()(64bit)
ghc(primitive-0.5.0.1-15cdc8c11a54a78809b647af0c2975b3)
ghc(xhtml-3000.2.1-290aa859a8b955ebda95b5ca3b1b69f3)
libc.so.6()(64bit)
ghc(base-4.5.1.0-6e4c9bdc36eeb9121f27ccbbcb62e3f3)
libHStransformers-0.3.0.0-ghc7.4.2.so()(64bit)
ghc-devel(text-0.11.2.3-db61832d0c4660614c4ceff234ed4abb)
ghc(hashtables-1.0.1.8-83bb853aa7f012eaa447f17f929e2fad)
ghc-devel(haskell-src-exts-1.13.5-d9e94c242c5bf1721d44315460689887)
ghc-devel(mtl-2.1.2-02e701f9b1590ee88a0b5b0bd5d93a29)
libHSold-locale-1.0.0.4-ghc7.4.2.so()(64bit)
librt.so.1()(64bit)
libHSprimitive-0.5.0.1-ghc7.4.2.so()(64bit)
ghc-devel(binary-0.5.1.0-1dd25e339bc04e2d8ca8103c35947bf6)
ghc(cpphs-1.14-b2d77a0c7ae3c3df4cd45483fb1410c4)
ghc(template-haskell-2.7.0.0-2bd128e15c2d50997ec26a1eaf8b23bf)
libHStime-1.4-ghc7.4.2.so()(64bit)
libHSvector-0.10.0.1-ghc7.4.2.so()(64bit)
libHSprocess-1.1.0.1-ghc7.4.2.so()(64bit)
libHSgeniplate-0.6.0.3-ghc7.4.2.so()(64bit)
ghc(process-1.1.0.1-608c248c1528f46eb960a08cead77291)
ghc(integer-gmp-0.4.0.0-af3a28fdc4138858e0c7c5ecc2a64f43)
libHSbase-4.5.1.0-ghc7.4.2.so()(64bit)
ghc(terminfo-0.3.2.5-4d1c81be8d263b97c08424418c50ad5a)
libHSbytestring-0.9.2.1-ghc7.4.2.so()(64bit)
ghc(bytestring-0.9.2.1-503e91bb155301fdb1956cb5c26ce6e9)
rpmlib(PayloadIsXz) <= 5.2-1
libHShashtables-1.0.1.8-ghc7.4.2.so()(64bit)
libHSmtl-2.1.2-ghc7.4.2.so()(64bit)
libdl.so.2()(64bit)
ghc(parallel-3.2.0.3-4cdd6067624f867b253b98d6d9fb9f52)
libHSAgda-2.3.2.1-ghc7.4.2.so()(64bit)
libHScpphs-1.14-ghc7.4.2.so()(64bit)
libHStemplate-haskell-2.7.0.0-ghc7.4.2.so()(64bit)
ghc(transformers-0.3.0.0-8e66ecc7d4dae2b07b2b5406908c70e4)
ghc(random-1.0.1.1-a214067181e8a7676a1be5e452419444)
ghc(array-0.4.0.0-0b6c5ca7e879a14d110ca4c001dd9297)
libHScontainers-0.4.2.1-ghc7.4.2.so()(64bit)
ghc-compiler = 7.4.2
ghc-devel(base-4.5.1.0-6e4c9bdc36eeb9121f27ccbbcb62e3f3)
libHSpretty-1.1.1.0-ghc7.4.2.so()(64bit)
ghc-Agda = 2.3.2.1-5.fc19
ghc-devel(pretty-1.1.1.0-91ed62f0481a81d292d550eec35ee75b)
ghc(vector-0.10.0.1-3450daae3d9f2092020075d05481123c)
libtinfo.so.5()(64bit)
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
libpthread.so.0()(64bit)
ghc-devel(haskeline-0.7.0.3-d7f3ccf9e91c534c80a7d7d408a958c4)
libHSinteger-gmp-0.4.0.0-ghc7.4.2.so()(64bit)
libm.so.6()(64bit)
ghc(old-locale-1.0.0.4-5e45cabd3b4fdcad9e353ea3845f5ef7)
libHSparallel-3.2.0.3-ghc7.4.2.so()(64bit)
ghc-devel(process-1.1.0.1-608c248c1528f46eb960a08cead77291)
libHSterminfo-0.3.2.5-ghc7.4.2.so()(64bit)
ghc-devel(hashable-1.1.2.5-14291f3b4e96b5599759ce7daa2bd37c)
ghc-devel(unordered-containers-0.2.2.1-d70d5ccb1df11dbbbaac89571b1ee46d)
ghc-devel(xhtml-3000.2.1-290aa859a8b955ebda95b5ca3b1b69f3)
libHSarray-0.4.0.0-ghc7.4.2.so()(64bit)
ghc(hashable-1.1.2.5-14291f3b4e96b5599759ce7daa2bd37c)
libz.so.1()(64bit)
ghc(haskell-src-exts-1.13.5-d9e94c242c5bf1721d44315460689887)
ghc-devel(QuickCheck-2.5.1.1-5ea1ce76cfa8030a7fd686ae3ca851c3)
ghc-devel(deepseq-1.3.0.0-c26e15897417ecd448742528253d68f6)
ghc-devel(parallel-3.2.0.3-4cdd6067624f867b253b98d6d9fb9f52)


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

  
ICM