ghc-copilot-theorem-3.19.1-2.fc40 RPM for ppc64le

From Fedora 40 updates for ppc64le / Packages / g

Some tools to prove properties on Copilot programs with k-induction model
checking.

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
<https://copilot-language.github.io>.

Provides

• ghc-copilot-theorem
• ghc-copilot-theorem(ppc-64)
• libHScopilot-theorem-3.19.1-Di73mZ0cmeMDafxdpMnO5m-ghc9.4.5.so()(64bit)

Requires

• libHSBoundedChan-1.0.3.0-BsK8RZFMOqu7m4Wcmqa5zI-ghc9.4.5.so()(64bit)
• libHSOneTuple-0.4.1.1-Fgk8ylTtnzLBSBvZAI1OoV-ghc9.4.5.so()(64bit)
• libHSStateVar-1.2.2-GlWluWgK8kgE7IUHzo2idN-ghc9.4.5.so()(64bit)
• libHSadjunctions-4.4.2-3SSqAbIuWcgG1izc2Kvio2-ghc9.4.5.so()(64bit)
• libHSarray-0.5.4.0-ghc9.4.5.so()(64bit)
• libHSassoc-1.1-H3gdf0Ue1d5sn9822dJ4G-ghc9.4.5.so()(64bit)
• libHSasync-2.2.4-Is3H7ZPNMkM5reIoCaqYrF-ghc9.4.5.so()(64bit)
• libHSattoparsec-0.14.4-1rgNxdaX2hcAlnLLYxTxu4-ghc9.4.5.so()(64bit)
• libHSattoparsec-0.14.4-K6WkGQxU67DICICjfpE0Kf-attoparsec-internal-ghc9.4.5.so()(64bit)
• libHSbase-4.17.1.0-ghc9.4.5.so()(64bit)
• libHSbase-compat-0.12.3-EzIEO7DrtWn73MXq9N0DKk-ghc9.4.5.so()(64bit)
• libHSbase-orphans-0.9.0-9apYLvrFDmLG6M4gvFHbpN-ghc9.4.5.so()(64bit)
• libHSbifunctors-5.5.15-6nVSldbcYfb1Hx6EfFS3QB-ghc9.4.5.so()(64bit)
• libHSbimap-0.5.0-HW7mfOFXneU5eY2jmBQkId-ghc9.4.5.so()(64bit)
• libHSbinary-0.8.9.1-ghc9.4.5.so()(64bit)
• libHSbitwise-1.0.0.1-9R1VCDCsdMZEnSrrjDNdZx-ghc9.4.5.so()(64bit)
• libHSbv-sized-1.0.5-Lg2MNmzC2KJHdpDLkOcNYE-ghc9.4.5.so()(64bit)
• libHSbytestring-0.11.4.0-ghc9.4.5.so()(64bit)
• libHScall-stack-0.4.0-K9VxYWjBEvtITBfD6bL7Dk-ghc9.4.5.so()(64bit)
• libHScase-insensitive-1.2.1.0-AumZoR4Lds63HJj8OQwHY3-ghc9.4.5.so()(64bit)
• libHScomonad-5.0.8-FA2TFGr0sUX2CXTeetXIjJ-ghc9.4.5.so()(64bit)
• libHSconcurrent-extra-0.7.0.12-60CfEPJcC9N6j9EXVFkWgP-ghc9.4.5.so()(64bit)
• libHSconfig-value-0.8.3-BvX0WJVkRV7IHsOL5yNnQA-ghc9.4.5.so()(64bit)
• libHSconstraints-0.13.4-8c0InBhz3htJzug27IqVE7-ghc9.4.5.so()(64bit)
• libHScontainers-0.6.7-ghc9.4.5.so()(64bit)
• libHScontravariant-1.5.5-K71YSUvfKnA5wfNaE05Lao-ghc9.4.5.so()(64bit)
• libHScopilot-core-3.19.1-35OhQWh5Cl1FTJo0MOIsXn-ghc9.4.5.so()(64bit)
• libHScopilot-prettyprinter-3.19.1-3D6phfPyg6uDI9MgS0tJEE-ghc9.4.5.so()(64bit)
• libHSdata-default-0.7.1.1-JPWOgkHC05bEP4GKfTBTHA-ghc9.4.5.so()(64bit)
• libHSdata-default-class-0.1.2.0-2LD1I8dZmn7BW4dkzEwdGZ-ghc9.4.5.so()(64bit)
• libHSdata-default-instances-containers-0.0.1-GsTPO88BTeU5gVKxrRffFz-ghc9.4.5.so()(64bit)
• libHSdata-default-instances-dlist-0.0.1-DrMcxeYn4qvEqmFRUYCht7-ghc9.4.5.so()(64bit)
• libHSdata-default-instances-old-locale-0.0.1-7AZu0A9Np87C6EgyuU2uGo-ghc9.4.5.so()(64bit)
• libHSdeepseq-1.4.8.0-ghc9.4.5.so()(64bit)
• libHSderiving-compat-0.6.6-7n55cjI5CIjLMgfFOkf7c9-ghc9.4.5.so()(64bit)
• libHSdirectory-1.3.7.1-ghc9.4.5.so()(64bit)
• libHSdistributive-0.6.2.1-1BZ9uzs8FJL3Ql0Nb5N15f-ghc9.4.5.so()(64bit)
• libHSdlist-1.0-IFuzLQmoMUfAx3b8iqx3U0-ghc9.4.5.so()(64bit)
• libHSexceptions-0.10.5-ghc9.4.5.so()(64bit)
• libHSfilepath-1.4.2.2-ghc9.4.5.so()(64bit)
• libHSfingertree-0.1.5.0-FUFklhsmvEUIccokQwwqia-ghc9.4.5.so()(64bit)
• libHSfoldable1-classes-compat-0.1-JP9wXcYYGsT10VsvIV9rpl-ghc9.4.5.so()(64bit)
• libHSfree-5.1.10-6mT3HnazCdtv62m36wML4-ghc9.4.5.so()(64bit)
• libHSghc-bignum-1.3-ghc9.4.5.so()(64bit)
• libHSghc-boot-th-9.4.5-ghc9.4.5.so()(64bit)
• libHSghc-prim-0.9.0-ghc9.4.5.so()(64bit)
• libHSgitrev-1.3.1-9WU70hQk1XM9r7en55a626-ghc9.4.5.so()(64bit)
• libHShashable-1.4.2.0-FFBRhuY0w4YLmuLEs5uQAt-ghc9.4.5.so()(64bit)
• libHShashtables-1.3.1-In3nuaqumJk1jHTAUuAziv-ghc9.4.5.so()(64bit)
• libHSindexed-traversable-0.1.2.1-1XiSi5jKFt6BqKufaNXxBs-ghc9.4.5.so()(64bit)
• libHSindexed-traversable-instances-0.1.1.2-FygVB8lg04g7si54bMCK2n-ghc9.4.5.so()(64bit)
• libHSinteger-logarithms-1.0.3.1-Hm9v2fsfG1DA5soPSLssZu-ghc9.4.5.so()(64bit)
• libHSinvariant-0.6-9wez2HM4dviC1LUdEqwf0q-ghc9.4.5.so()(64bit)
• libHSio-streams-1.5.2.2-3LnN898pLO42raUGjhA8UZ-ghc9.4.5.so()(64bit)
• libHSkan-extensions-5.2.5-63mZijgMhpjHcWIqVUjH70-ghc9.4.5.so()(64bit)
• libHSlens-5.2.2-DYkGnrVvoRhEHkm30dtKFl-ghc9.4.5.so()(64bit)
• libHSlibBF-0.6.8-HzlO9XxcmhRBjej6mrF8AB-ghc9.4.5.so()(64bit)
• libHSmegaparsec-9.3.1-ERDjI2v4kmMC2kpf7sry0n-ghc9.4.5.so()(64bit)
• libHSmtl-2.2.2-ghc9.4.5.so()(64bit)
• libHSnetwork-3.1.4.0-FvtFepOtuCUH79FCWyNxIc-ghc9.4.5.so()(64bit)
• libHSold-locale-1.0.0.7-B5o2Qz0CVVSCB1XGw7OfzR-ghc9.4.5.so()(64bit)
• libHSordered-containers-0.2.3-2vvzHwtaKIjK7BBzxceSWT-ghc9.4.5.so()(64bit)
• libHSpanic-0.4.0.1-KE1kWsGbhWV3H8Kvc1TljL-ghc9.4.5.so()(64bit)
• libHSparallel-3.2.2.0-36KAHtmQlbB59K6tPbQ0Jr-ghc9.4.5.so()(64bit)
• libHSparameterized-utils-2.1.8.0-FTY8CINQLZc2e6rvWHCaAB-ghc9.4.5.so()(64bit)
• libHSparsec-3.1.16.1-ghc9.4.5.so()(64bit)
• libHSparser-combinators-1.3.0-69OkkuibEVDB76y6u8xJBt-ghc9.4.5.so()(64bit)
• libHSpretty-1.1.3.6-ghc9.4.5.so()(64bit)
• libHSprettyprinter-1.7.1-1jjh6iCiPNl8MgeqtPsio2-ghc9.4.5.so()(64bit)
• libHSprimitive-0.8.0.0-9akshChOwtr20iwuM0c3WJ-ghc9.4.5.so()(64bit)
• libHSprocess-1.6.16.0-ghc9.4.5.so()(64bit)
• libHSprofunctors-5.6.2-IRp7useQQauDMRZryLTjXB-ghc9.4.5.so()(64bit)
• libHSrandom-1.2.1.1-I0wUgAAbf0g3qHR3e8uT0o-ghc9.4.5.so()(64bit)
• libHSreflection-2.1.7-HIVUFuxZ3THH9N1VAJskyt-ghc9.4.5.so()(64bit)
• libHSs-cargot-0.1.6.0-7FXTmlijgPhEDh874hlNmV-ghc9.4.5.so()(64bit)
• libHSsafe-exceptions-0.1.7.4-8XVKrMBchTjCLhdcvBwBNb-ghc9.4.5.so()(64bit)
• libHSscientific-0.3.7.0-6Dx8mxA4OUsLpkNxWfBzuf-ghc9.4.5.so()(64bit)
• libHSsemigroupoids-5.3.7-EwVAefNzd7V4YfDIPx08VG-ghc9.4.5.so()(64bit)
• libHSsemigroups-0.20-KtsaS4jNcGkoC9puVZ6vB-ghc9.4.5.so()(64bit)
• libHSsplitmix-0.1.0.4-7e8CibdlMRLAGh7KO5VlFe-ghc9.4.5.so()(64bit)
• libHSstm-2.5.1.0-ghc9.4.5.so()(64bit)
• libHSstrict-0.5-BMGWBclA5sg312fCUlbuTw-ghc9.4.5.so()(64bit)
• libHStagged-0.8.7-CYOhX22Df3PFW5V1S0dOJa-ghc9.4.5.so()(64bit)
• libHStemplate-haskell-2.19.0.0-ghc9.4.5.so()(64bit)
• libHStemporary-1.3-KN2n9biIwqhKwQrFoVkYR8-ghc9.4.5.so()(64bit)
• libHStext-2.0.2-ghc9.4.5.so()(64bit)
• libHSth-abstraction-0.4.5.0-8bY5lBPMorfFW3yG6gFNZT-ghc9.4.5.so()(64bit)
• libHSth-lift-0.8.3-BVnK9vFPlpnBx7d6MzGvJN-ghc9.4.5.so()(64bit)
• libHSth-lift-instances-0.1.20-7PDFdFhhtKdIjQzz59JRnl-ghc9.4.5.so()(64bit)
• libHSthese-1.2-3gvRWs9hjHpLbWG1JfTveA-ghc9.4.5.so()(64bit)
• libHStime-1.12.2-ghc9.4.5.so()(64bit)
• libHStransformers-0.5.6.2-ghc9.4.5.so()(64bit)
• libHStransformers-base-0.4.6-IYemkF4CogK2gtyDXbEIHa-ghc9.4.5.so()(64bit)
• libHStransformers-compat-0.7.2-7jAnhjvxTABIymoNGHTOwd-ghc9.4.5.so()(64bit)
• libHStype-equality-1-FqVAbwBXnIKCXHvrA6xdY8-ghc9.4.5.so()(64bit)
• libHSunbounded-delays-0.1.1.1-59HKKrxcyoLL6CfTRUkGwa-ghc9.4.5.so()(64bit)
• libHSunix-2.7.3-ghc9.4.5.so()(64bit)
• libHSunliftio-0.2.25.0-Ha39z31RkA5NmQ3KqmuRg-ghc9.4.5.so()(64bit)
• libHSunliftio-core-0.2.1.0-AEtYfdyUWlJCLfz2d4hPbj-ghc9.4.5.so()(64bit)
• libHSunordered-containers-0.2.19.1-KblUXVJ0SvRCcK89PoBx7E-ghc9.4.5.so()(64bit)
• libHSutf8-string-1.0.2-H5J3QXynvqU96sNfi3QV7u-ghc9.4.5.so()(64bit)
• libHSvector-0.13.0.0-DgEUYCaCm1GEZ2KanedKXr-ghc9.4.5.so()(64bit)
• libHSvector-stream-0.1.0.0-C5Yyq3DPEhXAQSqkM8V92s-ghc9.4.5.so()(64bit)
• libHSversions-6.0.7-axhWQjhcbeEWzSlMaqKqE-ghc9.4.5.so()(64bit)
• libHSvoid-0.7.3-GHzyjd8VkpoJvEZLjo6Bsz-ghc9.4.5.so()(64bit)
• libHSwhat4-1.5.1-DmiX3QcuQyI5nVOdJueABW-ghc9.4.5.so()(64bit)
• libHSxml-1.3.14-BBPDUWQuUpt3QYOr4h6J5g-ghc9.4.5.so()(64bit)
• libHSzenc-0.1.2-Enl048lGqPpJE68SIincuI-ghc9.4.5.so()(64bit)
• libHSzlib-0.6.3.0-BAWUEienEPJI6tqKZ6w5vO-ghc9.4.5.so()(64bit)
• libHSzlib-bindings-0.1.1.5-852v758fxgoCwAE3cyfKMb-ghc9.4.5.so()(64bit)
• libc.so.6()(64bit)
• libc.so.6(GLIBC_2.17)(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 Sep 02 2024 Frank Dedden <frank@systemf.dev> - 3.19.1-1
  - spec file generated by cabal-rpm-2.2.1

Files

/usr/lib/.build-id
/usr/lib/.build-id/0c
/usr/lib/.build-id/0c/af5cdd9c98cdcf5ae4be0a998675ab56240380
/usr/lib64/ghc-9.4.5/lib/libHScopilot-theorem-3.19.1-Di73mZ0cmeMDafxdpMnO5m-ghc9.4.5.so
/usr/share/licenses/ghc-copilot-theorem
/usr/share/licenses/ghc-copilot-theorem/LICENSE

Generated by rpm2html 1.8.1

Fabrice Bellet, Thu Jun 5 05:08:07 2025