Metadata for ghc-copilot-prettyprinter-3.19.1-2.el10_0.ppc64le.rpm

0 directories 0 files
Go up

INFO

Name: ghc-copilot-prettyprinter
Version: 3.19.1-2.el10_0
Arch: ppc64le
Summary: A prettyprinter of Copilot Specifications
License: BSD-3-Clause
Vendor: Fedora Project
Build Host: buildvm-ppc64le-19.iad2.fedoraproject.org
Build Date: Fri May  2 16:53:23 2025
Size: 144582
URL: https://hackage.haskell.org/package/copilot-prettyprinter
Description: A prettyprinter of Copilot specifications.

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/70
/usr/lib/.build-id/70/71c7cd7e4e2467d0eafb6a8bc5e50d4073e833
/usr/lib64/ghc-9.6.6/lib/libHScopilot-prettyprinter-3.19.1-DnnVrq9R0C943HhJjKPk0l-ghc9.6.6.so
/usr/share/licenses/ghc-copilot-prettyprinter
/usr/share/licenses/ghc-copilot-prettyprinter/LICENSE

REQUIRES

libHSarray-0.5.6.0-ghc9.6.6.so()(64bit)
libHSbase-4.18.2.1-ghc9.6.6.so()(64bit)
libHScopilot-core-3.19.1-AoQQLKf9axCFpdbpRVfXEn-ghc9.6.6.so()(64bit)
libHSdeepseq-1.4.8.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)
libHSpretty-1.1.3.6-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-prettyprinter 3.19.1-2.el10_0
ghc-copilot-prettyprinter(ppc-64) 3.19.1-2.el10_0
libHScopilot-prettyprinter-3.19.1-DnnVrq9R0C943HhJjKPk0l-ghc9.6.6.so()(64bit)

CONFIG FILES

/usr/lib/.build-id a
/usr/lib/.build-id/70 a
/usr/lib/.build-id/70/71c7cd7e4e2467d0eafb6a8bc5e50d4073e833 a
/usr/lib64/ghc-9.6.6/lib/libHScopilot-prettyprinter-3.19.1-DnnVrq9R0C943HhJjKPk0l-ghc9.6.6.so
/usr/share/licenses/ghc-copilot-prettyprinter
/usr/share/licenses/ghc-copilot-prettyprinter/LICENSE l

LICENSE FILES

BSD-3-Clause