ghc-copilot-4.1-1.fc43 RPM for x86_64

From Fedora Rawhide for x86_64 / 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(x86-64)
• libHScopilot-4.1-IZssdstkQINHeIlf00Euxw-ghc9.8.4.so()(64bit)

Requires

• libHSBoundedChan-1.0.3.0-L3tt0td2xuuAfHcodOtgZZ-ghc9.8.4.so()(64bit)
• libHSOneTuple-0.4.2-JdYQTzVZvDwGTkWqXjHkCy-ghc9.8.4.so()(64bit)
• libHSStateVar-1.2.2-JiXIFd7ycvv2DVTXgNl5Sl-ghc9.8.4.so()(64bit)
• libHSadjunctions-4.4.2-KbyKkI6wPsP7lmYhvXJfw5-ghc9.8.4.so()(64bit)
• libHSansi-terminal-1.1.2-1Q34nNS1MHH1dMBPyp1n1m-ghc9.8.4.so()(64bit)
• libHSansi-terminal-types-1.1-32q8COnL2DhEOpnTTxQSYb-ghc9.8.4.so()(64bit)
• libHSarray-0.5.8.0-fb6f-ghc9.8.4.so()(64bit)
• libHSassoc-1.1.1-KIaHsSxUnU4KC0E35UVVI5-ghc9.8.4.so()(64bit)
• libHSasync-2.2.5-5ytXJ8qNtQsAETic2xDdeM-ghc9.8.4.so()(64bit)
• libHSattoparsec-0.14.4-FGGhm6Kr6vwJ7vcmTTqaEe-ghc9.8.4.so()(64bit)
• libHSattoparsec-0.14.4-HxnGxd5dxNvGUyaHJ2eOD-attoparsec-internal-ghc9.8.4.so()(64bit)
• libHSbase-4.19.2.0-6e03-ghc9.8.4.so()(64bit)
• libHSbase-compat-0.13.1-8EVu2xoT8jZ6TTyyGOgihm-ghc9.8.4.so()(64bit)
• libHSbase-orphans-0.9.3-6ZvEtEcQN8bAC5hVcbpbvH-ghc9.8.4.so()(64bit)
• libHSbifunctors-5.6.2-IRemgndUqeGCjhIYjBtUNs-ghc9.8.4.so()(64bit)
• libHSbimap-0.5.0-Is0ndezDkP14G9iCowlVQb-ghc9.8.4.so()(64bit)
• libHSbinary-0.8.9.1-3bda-ghc9.8.4.so()(64bit)
• libHSbitwise-1.0.0.1-Lvm0Gd0Zvr63oyp605O2l-ghc9.8.4.so()(64bit)
• libHSboring-0.2.2-3PZreCc9LzN8gyMHcQB3aO-ghc9.8.4.so()(64bit)
• libHSbv-sized-1.0.6-H1HOo2uX2wTEO9rfrjDEes-ghc9.8.4.so()(64bit)
• libHSbytestring-0.12.1.0-bb11-ghc9.8.4.so()(64bit)
• libHScall-stack-0.4.0-95nNoRpKjENLPLiYtIAG1w-ghc9.8.4.so()(64bit)
• libHScase-insensitive-1.2.1.0-Gs3rlLE7v4z3cXcWJFZUQt-ghc9.8.4.so()(64bit)
• libHScolour-2.3.6-2POPnVwLUyZFrjjZBtVd1H-ghc9.8.4.so()(64bit)
• libHScomonad-5.0.9-2WEDJQNruA7BWfoDTisgJT-ghc9.8.4.so()(64bit)
• libHSconcurrent-extra-0.7.0.12-58a8lkHnNADDJVzsdRHgWw-ghc9.8.4.so()(64bit)
• libHSconfig-value-0.8.3-JPHqnb8IVHAFCuYNee3z2t-ghc9.8.4.so()(64bit)
• libHSconstraints-0.14.2-2dKMSLSt3oiGSKS2nXYkDX-ghc9.8.4.so()(64bit)
• libHScontainers-0.6.8-b2d8-ghc9.8.4.so()(64bit)
• libHScontravariant-1.5.5-JZEuMViZbMOERhRQ9f2EK4-ghc9.8.4.so()(64bit)
• libHScopilot-c99-4.1-EtGE36J3AkHABq66BcrUid-ghc9.8.4.so()(64bit)
• libHScopilot-core-4.1-2wrxPj2AgPTAJJbpyyxlcG-ghc9.8.4.so()(64bit)
• libHScopilot-interpreter-4.1-8HzWXZCnGUJ3s2vx1EPJRd-ghc9.8.4.so()(64bit)
• libHScopilot-language-4.1-GNJ8EITvTPnC4cvkaOKWUn-ghc9.8.4.so()(64bit)
• libHScopilot-libraries-4.1-L7XlT1s2Ckm1F5MWOunhgF-ghc9.8.4.so()(64bit)
• libHScopilot-prettyprinter-4.1-EqeUyYfBeQ54ZWw70f4XMz-ghc9.8.4.so()(64bit)
• libHScopilot-theorem-4.1-9tEBomsEMt84yLeN8WBY7e-ghc9.8.4.so()(64bit)
• libHSdata-default-0.7.1.3-4dvnc1y4K8Y6qjAGWp0BfZ-ghc9.8.4.so()(64bit)
• libHSdata-default-class-0.1.2.2-HuTVHBnPCtwHGpYRzVPOof-ghc9.8.4.so()(64bit)
• libHSdata-default-instances-containers-0.1.0.3-EfReXQ67XvpIHx6sBqLzDQ-ghc9.8.4.so()(64bit)
• libHSdata-default-instances-dlist-0.0.1.2-8saEkCNrN3ILt1MoTXAjS9-ghc9.8.4.so()(64bit)
• libHSdata-default-instances-old-locale-0.0.1.2-11ggjwLTcR5WTmkAOBCsK-ghc9.8.4.so()(64bit)
• libHSdata-reify-0.6.4-91waJ6JwBvmBKdeohKTUZ5-ghc9.8.4.so()(64bit)
• libHSdeepseq-1.5.1.0-0513-ghc9.8.4.so()(64bit)
• libHSderiving-compat-0.6.7-IGS6nAPaFtUCuxUEJ5VVEy-ghc9.8.4.so()(64bit)
• libHSdirectory-1.3.8.5-6679-ghc9.8.4.so()(64bit)
• libHSdistributive-0.6.2.1-JsMJNI6TslfIkRDXlWRu4x-ghc9.8.4.so()(64bit)
• libHSdlist-1.0-H2yjbd4lEhUOfbwdbL7xX-ghc9.8.4.so()(64bit)
• libHSexceptions-0.10.7-302f-ghc9.8.4.so()(64bit)
• libHSfilepath-1.4.301.0-b305-ghc9.8.4.so()(64bit)
• libHSfingertree-0.1.5.0-FEJXMew4wuMBWkBI3QUSUV-ghc9.8.4.so()(64bit)
• libHSfree-5.2-CI25IDPeBIPKX3aIg97Sga-ghc9.8.4.so()(64bit)
• libHSghc-bignum-1.3-6046-ghc9.8.4.so()(64bit)
• libHSghc-boot-th-9.8.4-73a9-ghc9.8.4.so()(64bit)
• libHSghc-prim-0.11.0-a7b1-ghc9.8.4.so()(64bit)
• libHSgitrev-1.3.1-DIUsM1fOKzW8LvbhXVn3i6-ghc9.8.4.so()(64bit)
• libHShashable-1.4.7.0-4sYUjiqCRWp1Ivr6Bfittp-ghc9.8.4.so()(64bit)
• libHShashtables-1.3.1-59rLHtxbG6R2VhVtPUtuli-ghc9.8.4.so()(64bit)
• libHSieee754-0.8.0-BmY7VU5BQB9G5s1zSEdINg-ghc9.8.4.so()(64bit)
• libHSindexed-traversable-0.1.4-LAa2TiQLgC0L6nx10uqu30-ghc9.8.4.so()(64bit)
• libHSindexed-traversable-instances-0.1.2-2eGEJSt9Qiu6VE7IgiYmrz-ghc9.8.4.so()(64bit)
• libHSinteger-logarithms-1.0.4-FUO74u7wCELK1xUt9Vj8EO-ghc9.8.4.so()(64bit)
• libHSinvariant-0.6.4-E5BQq1H6Wav3uVh5NShK6J-ghc9.8.4.so()(64bit)
• libHSio-streams-1.5.2.2-1cU12YK4nAULXBTnRWCkpL-ghc9.8.4.so()(64bit)
• libHSkan-extensions-5.2.6-D5Ge0d4U5DSJyme6RN0tLi-ghc9.8.4.so()(64bit)
• libHSlanguage-c99-0.2.0-9qQsbDyPU6T9bA1zkwFauT-ghc9.8.4.so()(64bit)
• libHSlanguage-c99-simple-0.3.0-FBwxF0pi15T7XxUk8a0Tj6-ghc9.8.4.so()(64bit)
• libHSlanguage-c99-util-0.2.0-CXAI1nkyUZd201e8pQNEbm-ghc9.8.4.so()(64bit)
• libHSlens-5.3.4-6LFHTyYop2R8ME5U8w2Pr9-ghc9.8.4.so()(64bit)
• libHSlibBF-0.6.8-Cup52vDtbuFKwWSDSfYJt4-ghc9.8.4.so()(64bit)
• libHSmegaparsec-9.6.1-EPWOr847m933axH9VwOgHD-ghc9.8.4.so()(64bit)
• libHSmtl-2.3.1-7365-ghc9.8.4.so()(64bit)
• libHSnetwork-3.2.7.0-BvZM0eas1aI18ZJwxJo5Gx-ghc9.8.4.so()(64bit)
• libHSold-locale-1.0.0.7-Brjug09F8Km9iYB5iCCIRM-ghc9.8.4.so()(64bit)
• libHSoptparse-applicative-0.18.1.0-6SiwfevFjtXKkiaV6FwIqE-ghc9.8.4.so()(64bit)
• libHSordered-containers-0.2.4-2r4NY9B5vvQGir5vNfnwu5-ghc9.8.4.so()(64bit)
• libHSos-string-2.0.7-LjoE4uZSBZ73BbdeBYQJa6-ghc9.8.4.so()(64bit)
• libHSpanic-0.4.0.1-9a3QnBZDwrbIjbsfZTDQis-ghc9.8.4.so()(64bit)
• libHSparallel-3.2.2.0-3NztSNkePq58iniLNBZqFm-ghc9.8.4.so()(64bit)
• libHSparameterized-utils-2.1.10.0-ASSH5GDg5pQ4zMiuKTjVvf-ghc9.8.4.so()(64bit)
• libHSparsec-3.1.17.0-db41-ghc9.8.4.so()(64bit)
• libHSparser-combinators-1.3.0-69vxCsbyj8u6h6EeqtbB1i-ghc9.8.4.so()(64bit)
• libHSpretty-1.1.3.6-b6ac-ghc9.8.4.so()(64bit)
• libHSprettyprinter-1.7.1-69HZb3TFwAH4WjBm9DLwuS-ghc9.8.4.so()(64bit)
• libHSprettyprinter-ansi-terminal-1.1.3-FHUHHFtsemR9IZCqkQqEoM-ghc9.8.4.so()(64bit)
• libHSprimitive-0.9.0.0-9lWW508Z1zq4f32hztDYir-ghc9.8.4.so()(64bit)
• libHSprocess-1.6.25.0-7a71-ghc9.8.4.so()(64bit)
• libHSprofunctors-5.6.2-DAxkv8ofjRhLFr9QWJt0H-ghc9.8.4.so()(64bit)
• libHSrandom-1.2.1.3-ILLUQbUmpZA0bdz7RIdNQ-ghc9.8.4.so()(64bit)
• libHSreflection-2.1.9-HhWTmwY9xas8JLNrQibfOr-ghc9.8.4.so()(64bit)
• libHSs-cargot-0.1.6.0-HiB5iGEW9IDGz44Q4Lj9tn-ghc9.8.4.so()(64bit)
• libHSsafe-exceptions-0.1.7.4-B2s9ZOy4oHL3JBLRgsSlDD-ghc9.8.4.so()(64bit)
• libHSscientific-0.3.8.0-4FfTWjk2XJoF0zwjyZyzdv-ghc9.8.4.so()(64bit)
• libHSsemigroupoids-6.0.1-1GoTWiN3v41BUik9ozh3aE-ghc9.8.4.so()(64bit)
• libHSsemigroups-0.20-GDz1eVAAYYC1VU6zKmduoN-ghc9.8.4.so()(64bit)
• libHSsplitmix-0.1.1-EOOzlisW0ha6xqy8OmZkpY-ghc9.8.4.so()(64bit)
• libHSstm-2.5.3.1-ca51-ghc9.8.4.so()(64bit)
• libHSstrict-0.5.1-gzmuAqAdvt3TUspeushIr-ghc9.8.4.so()(64bit)
• libHStagged-0.8.8-GyrslFoLiphJ2P1vvH48n6-ghc9.8.4.so()(64bit)
• libHStemplate-haskell-2.21.0.0-98b0-ghc9.8.4.so()(64bit)
• libHStemporary-1.3-IaHCSaDhIRq6Zfn44yhB6i-ghc9.8.4.so()(64bit)
• libHStext-2.1.1-1bf1-ghc9.8.4.so()(64bit)
• libHSth-abstraction-0.7.1.0-80oylQNbrmxDZOJexbHcoi-ghc9.8.4.so()(64bit)
• libHSth-lift-0.8.6-3BWZTIj8M7mCUr9JBsh6nU-ghc9.8.4.so()(64bit)
• libHSth-lift-instances-0.1.20-7bZili8FwxbbzbZAoeHgi-ghc9.8.4.so()(64bit)
• libHSthese-1.2.1-DbZnELJ2IRTI8Xi0i4r2hP-ghc9.8.4.so()(64bit)
• libHStime-1.12.2-7526-ghc9.8.4.so()(64bit)
• libHStransformers-0.6.1.0-da7f-ghc9.8.4.so()(64bit)
• libHStransformers-base-0.4.6-CutCrrNkBikHTM5yZ0KM0u-ghc9.8.4.so()(64bit)
• libHStransformers-compat-0.7.2-9uBIUn9bgjL3AwHN60vb9R-ghc9.8.4.so()(64bit)
• libHSunbounded-delays-0.1.1.1-BON69d21mSA1RoOhG3hL52-ghc9.8.4.so()(64bit)
• libHSunix-2.8.6.0-1a2e-ghc9.8.4.so()(64bit)
• libHSunliftio-0.2.25.1-7gT8REVkY8rG0RkBgU6gjd-ghc9.8.4.so()(64bit)
• libHSunliftio-core-0.2.1.0-LRnT2Y9h8O7FnQr7N1kcu5-ghc9.8.4.so()(64bit)
• libHSunordered-containers-0.2.20-KA9cmPMMMq97KcjgGqmnLp-ghc9.8.4.so()(64bit)
• libHSutf8-string-1.0.2-EeOLwISm4Cq6iTMYFaF5F9-ghc9.8.4.so()(64bit)
• libHSvector-0.13.2.0-WoGhxe9rar2AgNN1w6KXF-ghc9.8.4.so()(64bit)
• libHSvector-stream-0.1.0.1-KENGI2ESqaZ3hdcHDMqAVW-ghc9.8.4.so()(64bit)
• libHSversions-6.0.8-BjqHpz5FcrhVqOajx9ciP-ghc9.8.4.so()(64bit)
• libHSvoid-0.7.3-9i2OSkRjhidFo9RKbdtN64-ghc9.8.4.so()(64bit)
• libHSwhat4-1.6.3-LNZrbBeHRQxFcMay3uQPdb-ghc9.8.4.so()(64bit)
• libHSxml-1.3.14-2Xm6RHRULuK4jQhZgg8gGi-ghc9.8.4.so()(64bit)
• libHSzenc-0.1.2-HyToAAmy8cj861unGBR3R-ghc9.8.4.so()(64bit)
• libHSzlib-0.7.1.0-4CQEBn7GbFb5AAdGSuqb3A-ghc9.8.4.so()(64bit)
• libHSzlib-bindings-0.1.1.5-98Mb1bmjTnPIwmR08aa278-ghc9.8.4.so()(64bit)
• libc.so.6()(64bit)
• libc.so.6(GLIBC_2.2.5)(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

* 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.8.4/lib/libHScopilot-4.1-IZssdstkQINHeIlf00Euxw-ghc9.8.4.so
/usr/share/licenses/ghc-copilot
/usr/share/licenses/ghc-copilot/LICENSE

Generated by rpm2html 1.8.1

Fabrice Bellet, Thu Apr 24 00:11:26 2025