SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

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

Name : ghc-Agda
Version : 2.5.4.2 Vendor : Fedora Project
Release : 17.fc30 Date : 2019-02-28 11:07:24
Group : Unspecified Source RPM : Agda-2.5.4.2-17.fc30.src.rpm
Size : 114.76 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-secondary/releases/30/Everything/i386/os/Packages/g

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  ghc-Agda-2.5.4.2-17.fc30.i686.rpm
ftp.icm.edu.pl  ghc-Agda-2.5.4.2-17.fc30.i686.rpm
     Search for other platforms
ghc-Agda-2.5.4.2-17.fc30.sparc.rpm
ghc-Agda-2.5.4.2-17.fc30.alpha.rpm
ghc-Agda-2.5.4.2-17.fc30.ppc.rpm
ghc-Agda-2.5.4.2-17.fc30.ia64.rpm
ghc-Agda-2.5.4.2-17.fc30.s390.rpm

Provides :
ghc-Agda
ghc-Agda(x86-32)
libHSAgda-2.5.4.2-InGDsWAF3F84S162rsCB4Y-ghc8.4.4.so

Requires :
Agda-common = 2.5.4.2-17.fc30
libHSEdisonCore-1.3.2.1-FzcjTQ6J4Tn9kq8OF1wE18-ghc8.4.4.so
libHSSTMonadTrans-0.4.3-BLPQeQVytvDAmw0w5bw9b9-ghc8.4.4.so
libHSarray-0.5.2.0-ghc8.4.4.so
libHSasync-2.2.1-Bdgq0Bblhz1F5RxDJqqwi6-ghc8.4.4.so
libHSbase-4.11.1.0-ghc8.4.4.so
libHSbinary-0.8.5.1-ghc8.4.4.so
libHSblaze-html-0.9.1.1-CmiEotcLUcg4g79Q9JAw9e-ghc8.4.4.so
libHSblaze-markup-0.8.2.2-qawq6c4zOZD1LHagCzpxm-ghc8.4.4.so
libHSboxes-0.1.5-3WsLjIJep3y7twGn1C08RF-ghc8.4.4.so
libHSbytestring-0.10.8.2-ghc8.4.4.so
libHScontainers-0.5.11.0-ghc8.4.4.so
libHSdata-hash-0.2.0.1-D2pljNnFjuv5cOCQdMozWU-ghc8.4.4.so
libHSdeepseq-1.4.3.0-ghc8.4.4.so
libHSdirectory-1.3.1.5-ghc8.4.4.so
libHSedit-distance-0.2.2.1-B7XvzAt3DQ5DrMTYu2eW2w-ghc8.4.4.so
libHSequivalence-0.3.3-FFaksTgZV9s3xSQvxT3Gyb-ghc8.4.4.so
libHSfilepath-1.4.2-ghc8.4.4.so
libHSgeniplate-mirror-0.7.6-BOyiF6L7w2F4l39KglniJW-ghc8.4.4.so
libHSghc-prim-0.5.2.0-ghc8.4.4.so
libHShashable-1.2.7.0-3xR4vjMEYHR2eJ7DAZRhaE-ghc8.4.4.so
libHShashtables-1.2.3.1-Gp5z1QhkcpFBnyLVjU0opJ-ghc8.4.4.so
libHShaskeline-0.7.4.2-ghc8.4.4.so
libHSieee754-0.8.0-KmEF4YGiqmIDu40b1SLx46-ghc8.4.4.so
libHSinteger-gmp-1.0.2.0-ghc8.4.4.so
libHSmtl-2.2.2-ghc8.4.4.so
libHSmurmur-hash-0.1.0.9-Ce2PF3vuSih2JvgNjQCn0O-ghc8.4.4.so
libHSnetwork-uri-2.6.1.0-AstEwZoXrlUJQq4VkxaVo9-ghc8.4.4.so
libHSpretty-1.1.3.6-ghc8.4.4.so
libHSprocess-1.6.3.0-ghc8.4.4.so
libHSregex-base-0.93.2-98bD2PeVUkV8MO804tnXmq-ghc8.4.4.so
libHSregex-tdfa-1.2.3.1-9PkkapJrmiKFVG38JA02jN-ghc8.4.4.so
libHSstm-2.4.5.1-ghc8.4.4.so
libHSstrict-0.3.2-FUXfVuv1I9pDkeq770AklR-ghc8.4.4.so
libHStemplate-haskell-2.13.0.0-ghc8.4.4.so
libHStext-1.2.3.1-ghc8.4.4.so
libHStime-1.8.0.2-ghc8.4.4.so
libHStransformers-0.5.5.0-ghc8.4.4.so
libHSunix-2.7.2.2-ghc8.4.4.so
libHSunordered-containers-0.2.9.0-D29DBTdibk7GcEJszMbIZV-ghc8.4.4.so
libHSuri-encode-1.5.0.5-2g8gRrKEBFYGvTGwlHH4GM-ghc8.4.4.so
libHSzlib-0.6.2-FP80mWgJNoyCiVcPtw6kKj-ghc8.4.4.so
libc.so.6
libc.so.6(GLIBC_2.0)
libc.so.6(GLIBC_2.1)
libc.so.6(GLIBC_2.1.3)
libc.so.6(GLIBC_2.11)
libc.so.6(GLIBC_2.2)
libc.so.6(GLIBC_2.28)
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.6)
libc.so.6(GLIBC_2.7)
libdl.so.2
libdl.so.2(GLIBC_2.0)
libdl.so.2(GLIBC_2.1)
libffi.so.6
libgmp.so.10
libm.so.6
libm.so.6(GLIBC_2.0)
libm.so.6(GLIBC_2.27)
libm.so.6(GLIBC_2.29)
libpthread.so.0
libpthread.so.0(GLIBC_2.0)
libpthread.so.0(GLIBC_2.1)
libpthread.so.0(GLIBC_2.12)
libpthread.so.0(GLIBC_2.2)
libpthread.so.0(GLIBC_2.3.2)
librt.so.1
librt.so.1(GLIBC_2.2)
libtinfo.so.6
libz.so.1
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsXz) <= 5.2-1
rtld(GNU_HASH)


Content of RPM :
/usr/bin/agda
/usr/lib/.build-id
/usr/lib/.build-id/a6
/usr/lib/.build-id/a6/9c14992267019f91e16a6f9e47ad70c922b62c
/usr/lib/.build-id/ff
/usr/lib/.build-id/ff/e392a3b9f328822099b20cbe250a58cb84def6
/usr/lib/libHSAgda-2.5.4.2-InGDsWAF3F84S162rsCB4Y-ghc8.4.4.so

  
ICM