SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

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

Name : ghc-Agda
Version : 2.4.2.2 Vendor : Fedora Project
Release : 5.fc23 Date : 2015-07-23 08:47:33
Group : Unspecified Source RPM : Agda-2.4.2.2-5.fc23.src.rpm
Size : 27.31 MB
Packager : Fedora Project
Summary : Haskell Agda library
Description :
This package provides the Haskell Agda shared library.

RPM found in directory: /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/23/Everything/x86_64/os/Packages/g

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  ghc-Agda-2.4.2.2-5.fc23.x86_64.rpm
     

Provides :
ghc(Agda-2.4.2.2-5425b2d7b2d9a3f9b133e103f33475ee)
ghc-Agda
ghc-Agda(x86-64)
libHSAgda-2.4.2.2-ghc7.8.4.so()(64bit)

Requires :
ghc(random-1.0.1.1-cb9cbae5b74a92852df1adbb0a3aa8d8)
libHSarray-0.5.0.0-ghc7.8.4.so()(64bit)
libHSpolyparse-1.11-ghc7.8.4.so()(64bit)
libHSold-time-1.1.0.2-ghc7.8.4.so()(64bit)
libHShaskell-src-exts-1.16.0.1-ghc7.8.4.so()(64bit)
ghc(base-4.7.0.2-cb23b5265b6e147094c0cd9ac819acb1)
ghc(containers-0.5.5.1-d7910f1cd81272c1f31ca9f71d0f206e)
ghc(binary-0.7.1.0-c62239d56a29611b3d56fd96592f602d)
libffi.so.6()(64bit)
rtld(GNU_HASH)
libHSzlib-0.5.4.1-ghc7.8.4.so()(64bit)
ghc(cpphs-1.18.9-e6b33c195c50a449260271a707d249a2)
libHSsplit-0.2.2-ghc7.8.4.so()(64bit)
ghc(haskeline-0.7.1.2-281779727606b894dc030c237fe9fadd)
libHSdirectory-1.2.1.0-ghc7.8.4.so()(64bit)
ghc(bytestring-0.10.4.0-e82797828c29adab75d6eb4b53384f09)
libHSunordered-containers-0.2.4.0-ghc7.8.4.so()(64bit)
libHSdeepseq-1.3.0.2-ghc7.8.4.so()(64bit)
ghc(array-0.5.0.0-ce080a527b3819e94d851f7f80ca77dd)
libHSparallel-3.2.0.4-ghc7.8.4.so()(64bit)
libHSinteger-gmp-0.5.1.0-ghc7.8.4.so()(64bit)
libHScontainers-0.5.5.1-ghc7.8.4.so()(64bit)
ghc(unordered-containers-0.2.4.0-614eca3080c1c4f6c40204082b6e3231)
ghc(data-hash-0.2.0.0-821e6d6cc0f3d28c3228b30f83b9ceca)
libHSdata-hash-0.2.0.0-ghc7.8.4.so()(64bit)
ghc(transformers-0.3.0.0-6458c21515cab7c1cf21e53141557a1c)
ghc(zlib-0.5.4.1-8ffd575006426c527ccadab0d91517b2)
ghc(hashable-1.2.2.0-c8b5f918fdaae07b36b06d55f8ca3719)
libHSstrict-0.3.2-ghc7.8.4.so()(64bit)
ghc(unix-2.7.0.1-d7de2c9293605f58486b3752d772cdb6)
libHSboxes-0.1.4-ghc7.8.4.so()(64bit)
libHShashable-1.2.2.0-ghc7.8.4.so()(64bit)
ghc(vector-0.10.9.1-2f5cf77c20260b20755a9f1aebe4529b)
libgmp.so.10()(64bit)
libHSxhtml-3000.2.1-ghc7.8.4.so()(64bit)
libc.so.6(GLIBC_2.2.5)(64bit)
libc.so.6(GLIBC_2.14)(64bit)
libutil.so.1()(64bit)
libHSprimitive-0.5.2.1-ghc7.8.4.so()(64bit)
/bin/sh
libHSpretty-1.1.1.1-ghc7.8.4.so()(64bit)
ghc(geniplate-0.6.0.5-c0da9e693e3d8a070604fb772b4140d1)
libHSterminfo-0.4.0.0-ghc7.8.4.so()(64bit)
ghc(haskell-src-exts-1.16.0.1-b4054dd6093f40e9954e7d376d9ed52f)
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(CompressedFileNames) <= 3.0.4-1
ghc(process-1.2.0.0-ac5f66ef47c8e6680cd098551063b07c)
ghc(split-0.2.2-34cfb851cc3784e22bfae7a7bddda9c5)
ghc(polyparse-1.11-9e052211d4bea78f8e4add423c657bad)
libHSmtl-2.1.3.1-ghc7.8.4.so()(64bit)
libHSghc-prim-0.3.1.0-ghc7.8.4.so()(64bit)
libHSunix-2.7.0.1-ghc7.8.4.so()(64bit)
ghc(directory-1.2.1.0-1b239651bf547478c9e952c1e47c8fbe)
ghc(STMonadTrans-0.3.2-4951ce19136aa59e9eb3a679e24475a1)
ghc(old-locale-1.0.0.6-50b0125c49f76af85dc7aa22975cdc34)
libHSbinary-0.7.1.0-ghc7.8.4.so()(64bit)
libHSrts-ghc7.8.4.so()(64bit)
ghc(filepath-1.3.0.2-25a474a9272ae6260626ce0d70ad1cab)
ghc(terminfo-0.4.0.0-c1d02a7210b0d1bc250d87463b38b8d1)
libc.so.6()(64bit)
libHShaskeline-0.7.1.2-ghc7.8.4.so()(64bit)
ghc(old-time-1.1.0.2-e3f776e97c1a6ff1770b04943a7ef7c6)
libHSvector-0.10.9.1-ghc7.8.4.so()(64bit)
libHSQuickCheck-2.7.6-ghc7.8.4.so()(64bit)
libHStext-1.1.1.3-ghc7.8.4.so()(64bit)
ghc(equivalence-0.2.5-778efa314f3e50015e477a7f09ec9721)
libHSbase-4.7.0.2-ghc7.8.4.so()(64bit)
librt.so.1()(64bit)
ghc(integer-gmp-0.5.1.0-26579559b3647acf4f01d5edd9491a46)
libHStime-1.4.2-ghc7.8.4.so()(64bit)
libHSSTMonadTrans-0.3.2-ghc7.8.4.so()(64bit)
ghc(template-haskell-2.9.0.0-2da82c8da1f1cb8620b884ecd5a2274d)
libHSprocess-1.2.0.0-ghc7.8.4.so()(64bit)
libHSold-locale-1.0.0.6-ghc7.8.4.so()(64bit)
rpmlib(PayloadIsXz) <= 5.2-1
ghc(text-1.1.1.3-41a1b42bfbf393e802c95c88f57d2452)
libHStemplate-haskell-2.9.0.0-ghc7.8.4.so()(64bit)
libHSrandom-1.0.1.1-ghc7.8.4.so()(64bit)
libHSequivalence-0.2.5-ghc7.8.4.so()(64bit)
libdl.so.2()(64bit)
libHStransformers-0.3.0.0-ghc7.8.4.so()(64bit)
ghc(hashtables-1.1.2.1-9be740b50fbe843ec3f149ce70c66bd8)
ghc(time-1.4.2-192d26f44a2c945780bbb921626c3399)
ghc(strict-0.3.2-3ab09cd3c5925d334534224dc233066e)
libHShashtables-1.1.2.1-ghc7.8.4.so()(64bit)
libHStf-random-0.5-ghc7.8.4.so()(64bit)
ghc(boxes-0.1.4-d887acf84255fc1f36f5bf4456609a6e)
ghc(Agda-2.4.2.2-5425b2d7b2d9a3f9b133e103f33475ee)
ghc(parallel-3.2.0.4-c6068efe3a68034cdefb35f10038b062)
libHSfilepath-1.3.0.2-ghc7.8.4.so()(64bit)
ghc(QuickCheck-2.7.6-0b5da65adc51bf73122f051488558774)
ghc(xhtml-3000.2.1-6a3ed472b07e58fe29db22a5bc2bdb06)
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
libtinfo.so.5()(64bit)
ghc(ghc-prim-0.3.1.0-a24f9c14c632d75b683d0f93283aea37)
ghc(deepseq-1.3.0.2-0ddc77716bd2515426e1ba39f6788a4f)
libpthread.so.0()(64bit)
ghc(tf-random-0.5-fa86e7525d6f08f8811267a535f6be29)
ghc(primitive-0.5.2.1-1efb6a710569a6a23b761d538e2c75d2)
ghc(pretty-1.1.1.1-0984f47ffe93ef3983c80b96280f1c3a)
libHSgeniplate-0.6.0.5-ghc7.8.4.so()(64bit)
libHScpphs-1.18.9-ghc7.8.4.so()(64bit)
libm.so.6()(64bit)
ghc(mtl-2.1.3.1-96f1a7910a7553352339ed05fb61c269)
libHSAgda-2.4.2.2-ghc7.8.4.so()(64bit)
libz.so.1()(64bit)
libHSbytestring-0.10.4.0-ghc7.8.4.so()(64bit)


Content of RPM :
/usr/bin/agda
/usr/lib64/ghc-7.8.4/Agda-2.4.2.2
/usr/lib64/ghc-7.8.4/Agda-2.4.2.2/libHSAgda-2.4.2.2-ghc7.8.4.so
/usr/share/Agda-2.4.2.2
/usr/share/Agda-2.4.2.2/Agda.css
/usr/share/Agda-2.4.2.2/agda.sty
/usr/share/Agda-2.4.2.2/lib
/usr/share/Agda-2.4.2.2/lib/prim
/usr/share/Agda-2.4.2.2/lib/prim/Agda
/usr/share/Agda-2.4.2.2/lib/prim/Agda/Primitive.agda
/usr/share/Agda-2.4.2.2/lib/prim/Agda/Primitive.agdai
/usr/share/Agda-2.4.2.2/postprocess-latex.pl
/usr/share/doc/ghc-Agda
/usr/share/doc/ghc-Agda/LICENSE

  
ICM