ghc-copilot-4.5.1-1.fc44 RPM for ppc64le

From Fedora 44 for ppc64le / g

Copilot is a stream-based runtime verification framework implemented as an
embedded domain-specific language (EDSL) in Haskell. Programs can be
interpreted for testing, or translated into C99 code to be incorporated in a
project, or as a standalone application. The C99 backend output is constant in
memory and time, making it suitable for systems with hard realtime
requirements.

This package is the main entry-point for using Copilot.

A tutorial, examples, and other information are available at
<https://copilot-language.github.io>.

Provides

• ghc-copilot
• ghc-copilot(ppc-64)
• libHScopilot-4.5.1-6BTjm0IpFJR9A7HCPv6lcZ-ghc9.10.3.so()(64bit)

Requires

• libHSBoundedChan-1.0.3.0-6BhxAk3qapw4pqrHdOzf7l-ghc9.10.3.so()(64bit)
• libHSOneTuple-0.4.2.1-4MtM0lqzRLKKDPNaXER0nU-ghc9.10.3.so()(64bit)
• libHSStateVar-1.2.2-Ix7fK74pSlg9B6y4NN87Z9-ghc9.10.3.so()(64bit)
• libHSadjunctions-4.4.4-J5kUDnHL3UHHaxvbqXwLu9-ghc9.10.3.so()(64bit)
• libHSansi-terminal-1.1.5-FszpEGPXnXp6vXauWXuziW-ghc9.10.3.so()(64bit)
• libHSansi-terminal-types-1.1.3-BGsCVT2If83CMD8Jun5wzv-ghc9.10.3.so()(64bit)
• libHSarray-0.5.8.0-inplace-ghc9.10.3.so()(64bit)
• libHSassoc-1.1.1-30BCdn01wuCLUYQedFJHQR-ghc9.10.3.so()(64bit)
• libHSasync-2.2.6-660H6DETTCx6ZQbhx08rV4-ghc9.10.3.so()(64bit)
• libHSattoparsec-0.14.4-7iaDcDI7bB43DR5vrtkbTE-attoparsec-internal-ghc9.10.3.so()(64bit)
• libHSattoparsec-0.14.4-LSRiRRjhKavLXaozYdaTgM-ghc9.10.3.so()(64bit)
• libHSbase-4.20.2.0-inplace-ghc9.10.3.so()(64bit)
• libHSbase-compat-0.14.1-I8NVxxidkAABSjbMaU6LWv-ghc9.10.3.so()(64bit)
• libHSbase-orphans-0.9.4-7BfHuMWFviR1vB5XQuLgjl-ghc9.10.3.so()(64bit)
• libHSbifunctors-5.6.3-7WCfw339E5C8BKBzi3kQU4-ghc9.10.3.so()(64bit)
• libHSbimap-0.5.0-Kxwo9R7JTKQBH8eil4JaoH-ghc9.10.3.so()(64bit)
• libHSbinary-0.8.9.3-inplace-ghc9.10.3.so()(64bit)
• libHSbitwise-1.0.0.1-6LyiEOdeM6HCXr5Tr3fLQD-ghc9.10.3.so()(64bit)
• libHSboring-0.2.2-7ouZZCQ6Wiy16E5aJhX95E-ghc9.10.3.so()(64bit)
• libHSbv-sized-1.0.6-ETrTrUTmp1e7kyTAKb5p3h-ghc9.10.3.so()(64bit)
• libHSbytestring-0.12.2.0-inplace-ghc9.10.3.so()(64bit)
• libHScall-stack-0.4.0-EjFBRDTUovx8UGmuZFAQAM-ghc9.10.3.so()(64bit)
• libHScase-insensitive-1.2.1.0-9dTONcB2C6g1QOYuyl7pZW-ghc9.10.3.so()(64bit)
• libHScolour-2.3.6-D7eyWYOF7Vd5VKMTqpDCfA-ghc9.10.3.so()(64bit)
• libHScomonad-5.0.10-GF6Oe2kgyK8JOSIfVLwLHW-ghc9.10.3.so()(64bit)
• libHSconcurrent-extra-0.7.0.12-4lHbQNzCLDo5GXhCIxgm7P-ghc9.10.3.so()(64bit)
• libHSconfig-value-0.8.3-IpF6E1RCTYnALBsLrK00Yp-ghc9.10.3.so()(64bit)
• libHSconstraints-0.14.3-IpgapbvrQafBy69tB8cdlW-ghc9.10.3.so()(64bit)
• libHScontainers-0.7-inplace-ghc9.10.3.so()(64bit)
• libHScontravariant-1.5.6-HYDHBqbMES15617fCl7QV8-ghc9.10.3.so()(64bit)
• libHScopilot-c99-4.5.1-9LMtDgYM3kH9xADrtwDUAh-ghc9.10.3.so()(64bit)
• libHScopilot-core-4.5.1-3i8Bai9O1mZ5VmqWhb74KT-ghc9.10.3.so()(64bit)
• libHScopilot-interpreter-4.5.1-KxPcE8B4D3eJROrk9yt7Mu-ghc9.10.3.so()(64bit)
• libHScopilot-language-4.5.1-C5aT0WOuLpUDkTplHdhZNP-ghc9.10.3.so()(64bit)
• libHScopilot-libraries-4.5.1-Dsp12zvD2TJ7JW0hi1THAF-ghc9.10.3.so()(64bit)
• libHScopilot-prettyprinter-4.5.1-AMNnge6Iz7kIbaiIUuVDbN-ghc9.10.3.so()(64bit)
• libHScopilot-theorem-4.5.1-9UsNOIi61su9zjv4lCWkIq-ghc9.10.3.so()(64bit)
• libHSdata-default-0.8.0.2-227NDr7j64H9WeRS9NSDj6-ghc9.10.3.so()(64bit)
• libHSdata-reify-0.6.4-BxnfVveYZTO47LLJCumL2l-ghc9.10.3.so()(64bit)
• libHSdeepseq-1.5.0.0-inplace-ghc9.10.3.so()(64bit)
• libHSderiving-compat-0.6.8-KTzmA4AmStj8nAfWfTOOx-ghc9.10.3.so()(64bit)
• libHSdirectory-1.3.8.5-inplace-ghc9.10.3.so()(64bit)
• libHSdistributive-0.6.3-DQPaf4vuKFi5nvKi6INTIZ-ghc9.10.3.so()(64bit)
• libHSexceptions-0.10.9-inplace-ghc9.10.3.so()(64bit)
• libHSfilepath-1.5.4.0-inplace-ghc9.10.3.so()(64bit)
• libHSfingertree-0.1.6.3-7cOBGBbD88tC7C10yEtWsV-ghc9.10.3.so()(64bit)
• libHSfree-5.2-CqTuG8ht8NE7nymjArElP-ghc9.10.3.so()(64bit)
• libHSghc-bignum-1.3-inplace-ghc9.10.3.so()(64bit)
• libHSghc-boot-th-9.10.3-inplace-ghc9.10.3.so()(64bit)
• libHSghc-internal-9.1003.0-inplace-ghc9.10.3.so()(64bit)
• libHSghc-prim-0.12.0-inplace-ghc9.10.3.so()(64bit)
• libHSgitrev-1.3.1-8pXRfWJ8R6XCctTa5qsGdI-ghc9.10.3.so()(64bit)
• libHShashable-1.5.1.0-IOVq8g4B58423QXYpDMyNv-ghc9.10.3.so()(64bit)
• libHShashtables-1.4.2-HxUYKd45k1290amSFbt3O8-ghc9.10.3.so()(64bit)
• libHSieee754-0.8.0-LjLHVAK5VgZ5GVZZutKcrh-ghc9.10.3.so()(64bit)
• libHSindexed-traversable-0.1.4-HhGzT2d63m8EdLxDIeBOXO-ghc9.10.3.so()(64bit)
• libHSindexed-traversable-instances-0.1.2-HLowSnAudpOHKdZL2r1UAk-ghc9.10.3.so()(64bit)
• libHSinteger-logarithms-1.0.5-Kd0gsstMnV8L3VrUzzJ6td-ghc9.10.3.so()(64bit)
• libHSinvariant-0.6.5-DUB2TzZyBazFlqse6x3neT-ghc9.10.3.so()(64bit)
• libHSio-streams-1.5.2.2-40mMKQ1Kflu8nrrFaVfHZ0-ghc9.10.3.so()(64bit)
• libHSkan-extensions-5.2.8-5tL9MeQvopkHNP0mTDvGTx-ghc9.10.3.so()(64bit)
• libHSlanguage-c99-0.2.0-93Ge4frPZioCLXyfiShMrV-ghc9.10.3.so()(64bit)
• libHSlanguage-c99-simple-0.3.0-DzKyaqaiCob1LvKLmtBsgQ-ghc9.10.3.so()(64bit)
• libHSlanguage-c99-util-0.2.0-7Qp8foL0cyE26L25FQ7vlf-ghc9.10.3.so()(64bit)
• libHSlens-5.3.6-AbjlnGguBQsBj9YfI9xhpy-ghc9.10.3.so()(64bit)
• libHSlibBF-0.6.8-84pFhsbYdee2BUl0eIcUwy-ghc9.10.3.so()(64bit)
• libHSmegaparsec-9.7.0-2e0P10WYg6sFAopCp2ZI0v-ghc9.10.3.so()(64bit)
• libHSmtl-2.3.1-inplace-ghc9.10.3.so()(64bit)
• libHSnetwork-3.2.8.0-EpoT6TF40y6Dph5NPnICp-ghc9.10.3.so()(64bit)
• libHSoptparse-applicative-0.18.1.0-Iq0oheH6rmaCLXdOmEbtV3-ghc9.10.3.so()(64bit)
• libHSordered-containers-0.2.4-GYHs1WAvSDN3mOaTNi7MpS-ghc9.10.3.so()(64bit)
• libHSos-string-2.0.7-inplace-ghc9.10.3.so()(64bit)
• libHSpanic-0.4.0.1-JGKM83Vd7T2Iiq2cV62hKv-ghc9.10.3.so()(64bit)
• libHSparallel-3.2.2.0-EgO7vbxMOwf76GDIGIfOam-ghc9.10.3.so()(64bit)
• libHSparameterized-utils-2.1.11.0-2hPtFoiOyPM8b34Rb3BzOh-ghc9.10.3.so()(64bit)
• libHSparsec-3.1.18.0-inplace-ghc9.10.3.so()(64bit)
• libHSparser-combinators-1.3.1-87UrKtsUjWoBaxxXdg6KX8-ghc9.10.3.so()(64bit)
• libHSpretty-1.1.3.6-inplace-ghc9.10.3.so()(64bit)
• libHSprettyprinter-1.7.1-K35zp2YrYoHG4xnuHsN7jV-ghc9.10.3.so()(64bit)
• libHSprettyprinter-ansi-terminal-1.1.3-AqhFBHRQ87k6W0a89cfS3C-ghc9.10.3.so()(64bit)
• libHSprimitive-0.9.1.0-CdaaD38w4qB6rrosjqTSfA-ghc9.10.3.so()(64bit)
• libHSprocess-1.6.26.1-inplace-ghc9.10.3.so()(64bit)
• libHSprofunctors-5.6.3-JOfh44z2QLmoExvrGIhU8-ghc9.10.3.so()(64bit)
• libHSrandom-1.2.1.3-EAvZpIsCyhJF2FhxAE9Wl-ghc9.10.3.so()(64bit)
• libHSreflection-2.1.9-CXOabkal4jGCj7VWPjZlWz-ghc9.10.3.so()(64bit)
• libHSs-cargot-0.1.6.0-3jBWq2J90HAbrBOXLIauA-ghc9.10.3.so()(64bit)
• libHSsafe-exceptions-0.1.7.4-6azyOAhjyT72TrXOxfD7SD-ghc9.10.3.so()(64bit)
• libHSscientific-0.3.8.1-FV9hZrEidtHA4BBopkIRz-ghc9.10.3.so()(64bit)
• libHSsemigroupoids-6.0.2-DCahbQIetib6vIZGx80rul-ghc9.10.3.so()(64bit)
• libHSsplitmix-0.1.3.2-99T4YbtgOkJKPjdjelFKhJ-ghc9.10.3.so()(64bit)
• libHSstm-2.5.3.1-inplace-ghc9.10.3.so()(64bit)
• libHSstrict-0.5.1-IdN0ln3lhLKsZStBB6i9f-ghc9.10.3.so()(64bit)
• libHStagged-0.8.9-EraSdp0lx7uJnqESyrqLTP-ghc9.10.3.so()(64bit)
• libHStemplate-haskell-2.22.0.0-inplace-ghc9.10.3.so()(64bit)
• libHStemporary-1.3-6z23OoFsxj1AkwShIXSN3L-ghc9.10.3.so()(64bit)
• libHStext-2.1.3-inplace-ghc9.10.3.so()(64bit)
• libHSth-abstraction-0.7.2.0-HPv2KLw6EHiLyT9CKbQOH5-ghc9.10.3.so()(64bit)
• libHSth-lift-0.8.7-ExwqflZ3tIO4msuGG2j9Bs-ghc9.10.3.so()(64bit)
• libHSth-lift-instances-0.1.20-ARwgDCrGJiKHJnxD5kgVXc-ghc9.10.3.so()(64bit)
• libHSthese-1.2.1-7mljAF64etU4CVCoqkqsT1-ghc9.10.3.so()(64bit)
• libHStime-1.12.2-inplace-ghc9.10.3.so()(64bit)
• libHStransformers-0.6.1.1-inplace-ghc9.10.3.so()(64bit)
• libHStransformers-base-0.4.6-HjcpYmHyxfnGVgByFzJFLm-ghc9.10.3.so()(64bit)
• libHStransformers-compat-0.7.2-Ae7ETlFaZlOK8cn61TY4Ft-ghc9.10.3.so()(64bit)
• libHSunbounded-delays-0.1.1.1-GQv2n7tNAbEAuKxqynoq9X-ghc9.10.3.so()(64bit)
• libHSunix-2.8.7.0-inplace-ghc9.10.3.so()(64bit)
• libHSunliftio-0.2.25.1-31fk4dfpJfP6XUcBnnPUto-ghc9.10.3.so()(64bit)
• libHSunliftio-core-0.2.1.0-4w0XdrbbaozL3byKowXR47-ghc9.10.3.so()(64bit)
• libHSunordered-containers-0.2.20.1-L6NxKsF2RqAJYXFlD8aPdL-ghc9.10.3.so()(64bit)
• libHSutf8-string-1.0.2-4QgsVolsKRD9VpNbFUYpVs-ghc9.10.3.so()(64bit)
• libHSvector-0.13.2.0-IcEG6qxpVPV6k6ubVJ8elJ-ghc9.10.3.so()(64bit)
• libHSvector-stream-0.1.0.1-L5IRJehMu456v60fOpKQRk-ghc9.10.3.so()(64bit)
• libHSversions-6.0.8-8wznO7nUlt14KfaQKp8Hkx-ghc9.10.3.so()(64bit)
• libHSwhat4-1.6.3-CSnlvIcPYhV7pU8APos0DX-ghc9.10.3.so()(64bit)
• libHSxml-1.3.14-DfDcwX6S3f86dPD2cqZusc-ghc9.10.3.so()(64bit)
• libHSzenc-0.1.2-EKh20Xs4VnoDknZsdPUatx-ghc9.10.3.so()(64bit)
• libHSzlib-0.7.1.1-I99sa8AEdgn8eHGSLkw63W-ghc9.10.3.so()(64bit)
• libHSzlib-bindings-0.1.1.5-9Oi5Rl02AJIDQJodMjV5Rl-ghc9.10.3.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)
• libz.so.1()(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)

License

BSD-3-Clause

Changelog

* Mon Jan 26 2026 Jens Petersen <petersen@redhat.com> - 4.5.1-1
  - https://hackage.haskell.org/package/copilot-4.5.1/changelog
* Mon Jan 26 2026 Jens Petersen <petersen@redhat.com> - 4.1-4
  - refresh to cabal-rpm-2.3.2
* Fri Jan 16 2026 Fedora Release Engineering <releng@fedoraproject.org> - 4.1-3
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild
* Wed Jul 23 2025 Fedora Release Engineering <releng@fedoraproject.org> - 4.1-2
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild
* Sun Mar 30 2025 Jens Petersen <petersen@redhat.com> - 4.1-1
  - https://hackage.haskell.org/package/copilot-4.1/changelog
* Sun Mar 30 2025 Jens Petersen <petersen@redhat.com> - 3.19.1-4
  - refresh to cabal-rpm-2.3.0
* Thu Jan 16 2025 Fedora Release Engineering <releng@fedoraproject.org> - 3.19.1-3
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild
* Fri Sep 06 2024 Frank Dedden <frank@systemf.dev> - 3.19.1-1
  - spec file generated by cabal-rpm-2.2.1

Files

/usr/lib64/ghc-9.10.3/lib/libHScopilot-4.5.1-6BTjm0IpFJR9A7HCPv6lcZ-ghc9.10.3.so
/usr/share/licenses/ghc-copilot
/usr/share/licenses/ghc-copilot/LICENSE

Generated by rpm2html 1.8.1

Fabrice Bellet, Sun Apr 26 02:37:53 2026