Metadata for ghc-copilot-core-3.19.1-3.el10_0.ppc64le.rpm

0 directories 0 files
Go up

INFO

Name: ghc-copilot-core
Version: 3.19.1-3.el10_0
Arch: ppc64le
Summary: An intermediate representation for Copilot
License: BSD-3-Clause
Vendor: Fedora Project
Build Host: buildvm-ppc64le-17.iad2.fedoraproject.org
Build Date: Fri May  2 16:13:50 2025
Size: 288725
URL: https://hackage.haskell.org/package/copilot-core
Description: Intermediate representation for Copilot.

Copilot is a stream (i.e., infinite lists) domain-specific language (DSL) in
Haskell that compiles into embedded C. Copilot contains an interpreter,
multiple back-end compilers, and other verification tools.

A tutorial, examples, and other information are available at
.

FILES

/usr/lib/.build-id
/usr/lib/.build-id/4b
/usr/lib/.build-id/4b/3fad4c3c7405ea1a865a194afd51c75c94b481
/usr/lib64/ghc-9.6.6/lib/libHScopilot-core-3.19.1-AoQQLKf9axCFpdbpRVfXEn-ghc9.6.6.so
/usr/share/licenses/ghc-copilot-core
/usr/share/licenses/ghc-copilot-core/LICENSE

REQUIRES

libHSbase-4.18.2.1-ghc9.6.6.so()(64bit)
libHSghc-bignum-1.3-ghc9.6.6.so()(64bit)
libHSghc-prim-0.10.0-ghc9.6.6.so()(64bit)
libc.so.6()(64bit)
libc.so.6(GLIBC_2.17)(64bit)
libc.so.6(GLIBC_ABI_DT_RELR)(64bit)
libgmp.so.10()(64bit)
libm.so.6()(64bit)
rpmlib(CompressedFileNames) 3.0.4-1
rpmlib(FileDigests) 4.6.0-1
rpmlib(PayloadFilesHavePrefix) 4.0-1
rpmlib(PayloadIsZstd) 5.4.18-1
rtld(GNU_HASH)

PROVIDES

ghc-copilot-core 3.19.1-3.el10_0
ghc-copilot-core(ppc-64) 3.19.1-3.el10_0
libHScopilot-core-3.19.1-AoQQLKf9axCFpdbpRVfXEn-ghc9.6.6.so()(64bit)

CONFIG FILES

/usr/lib/.build-id a
/usr/lib/.build-id/4b a
/usr/lib/.build-id/4b/3fad4c3c7405ea1a865a194afd51c75c94b481 a
/usr/lib64/ghc-9.6.6/lib/libHScopilot-core-3.19.1-AoQQLKf9axCFpdbpRVfXEn-ghc9.6.6.so
/usr/share/licenses/ghc-copilot-core
/usr/share/licenses/ghc-copilot-core/LICENSE l

LICENSE FILES

BSD-3-Clause