ghc-copilot-theorem-4.1-1.fc43 RPM for ppc64le

From Fedora Rawhide for ppc64le / 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-4.1-1XML3gflwkn5jo90Duvsfp-ghc9.8.4.so()(64bit)

Requires

• libHSBoundedChan-1.0.3.0-1jFibdWhJ5pzjiA5qQUtb-ghc9.8.4.so()(64bit)
• libHSOneTuple-0.4.2-2EjrIQAovweHghis7vhCrx-ghc9.8.4.so()(64bit)
• libHSStateVar-1.2.2-EwLvSX9c1jc58Nh1zUFWMV-ghc9.8.4.so()(64bit)
• libHSadjunctions-4.4.2-7v9fBJ88WJVAxz1hlePBPD-ghc9.8.4.so()(64bit)
• libHSarray-0.5.8.0-dd30-ghc9.8.4.so()(64bit)
• libHSassoc-1.1.1-2Lre75o2Scc5MVAgyoe2q4-ghc9.8.4.so()(64bit)
• libHSasync-2.2.5-JbZJ7V8Drp32m7kTl9lbhr-ghc9.8.4.so()(64bit)
• libHSattoparsec-0.14.4-6iKaJtpWaIx7VRZ5dXcY23-attoparsec-internal-ghc9.8.4.so()(64bit)
• libHSattoparsec-0.14.4-AhhJpIbD1fl1B5tm3HW4nO-ghc9.8.4.so()(64bit)
• libHSbase-4.19.2.0-5123-ghc9.8.4.so()(64bit)
• libHSbase-compat-0.13.1-LyOIoUB0dpW61fudGD9Dci-ghc9.8.4.so()(64bit)
• libHSbase-orphans-0.9.3-DFPfwc2OJrBb86hPkXYHD-ghc9.8.4.so()(64bit)
• libHSbifunctors-5.6.2-H8fj9wfdbQVEduTuzB4uXK-ghc9.8.4.so()(64bit)
• libHSbimap-0.5.0-59PRA74PlZhAxdurUhhdyy-ghc9.8.4.so()(64bit)
• libHSbinary-0.8.9.1-021f-ghc9.8.4.so()(64bit)
• libHSbitwise-1.0.0.1-8VWbIprJyVIE7h4ON9ba8u-ghc9.8.4.so()(64bit)
• libHSboring-0.2.2-2ar0aLtnLcHF3Lpgf6g1PN-ghc9.8.4.so()(64bit)
• libHSbv-sized-1.0.6-5MYMXISzryjCrweAnLJPl2-ghc9.8.4.so()(64bit)
• libHSbytestring-0.12.1.0-b9d4-ghc9.8.4.so()(64bit)
• libHScall-stack-0.4.0-DeBRoUku4cTEUDGELVMINO-ghc9.8.4.so()(64bit)
• libHScase-insensitive-1.2.1.0-1m62GcFVLp8Dbj4UhUvMlr-ghc9.8.4.so()(64bit)
• libHScomonad-5.0.9-Jc4v8F18Ea7KV7wEKZapuI-ghc9.8.4.so()(64bit)
• libHSconcurrent-extra-0.7.0.12-3B7DcKTNABE5zULsYyvDi9-ghc9.8.4.so()(64bit)
• libHSconfig-value-0.8.3-AeBYKiUSdhO14ewbLsz6s-ghc9.8.4.so()(64bit)
• libHSconstraints-0.14.2-8mG0jd3uYRlCFo8m0sQCU2-ghc9.8.4.so()(64bit)
• libHScontainers-0.6.8-5cca-ghc9.8.4.so()(64bit)
• libHScontravariant-1.5.5-AQz8ivs0wI55xI59aw1gZ-ghc9.8.4.so()(64bit)
• libHScopilot-core-4.1-IFFMd0kdgqCKTtcDuBCb4k-ghc9.8.4.so()(64bit)
• libHScopilot-prettyprinter-4.1-KZ67TJfrvX2836Bv3Aq3lz-ghc9.8.4.so()(64bit)
• libHSdata-default-0.7.1.3-JE1JiHk51Np37729tRJvvu-ghc9.8.4.so()(64bit)
• libHSdata-default-class-0.1.2.2-14bUyBhAYDvAIlbDN5jcA3-ghc9.8.4.so()(64bit)
• libHSdata-default-instances-containers-0.1.0.3-B3m9FW1F3wWEqMwCrm6sJR-ghc9.8.4.so()(64bit)
• libHSdata-default-instances-dlist-0.0.1.2-Cu7ZNmU1DRkHCvHLjJOZaU-ghc9.8.4.so()(64bit)
• libHSdata-default-instances-old-locale-0.0.1.2-FbOSGhd5VevDP70sN94rT6-ghc9.8.4.so()(64bit)
• libHSdeepseq-1.5.1.0-6e21-ghc9.8.4.so()(64bit)
• libHSderiving-compat-0.6.7-CKNNSE6QWzl6f8oHghfX2t-ghc9.8.4.so()(64bit)
• libHSdirectory-1.3.8.5-d7ea-ghc9.8.4.so()(64bit)
• libHSdistributive-0.6.2.1-DscqVbbHHGEJRRjwT2NIYw-ghc9.8.4.so()(64bit)
• libHSdlist-1.0-FyB0yHPsnbFIwAjX80yKBb-ghc9.8.4.so()(64bit)
• libHSexceptions-0.10.7-8096-ghc9.8.4.so()(64bit)
• libHSfilepath-1.4.301.0-aa4a-ghc9.8.4.so()(64bit)
• libHSfingertree-0.1.5.0-9tdmHOGW0LE5in7XPNSyTa-ghc9.8.4.so()(64bit)
• libHSfree-5.2-FfmQAzR7HJ894mHLVJlIXx-ghc9.8.4.so()(64bit)
• libHSghc-bignum-1.3-a3fd-ghc9.8.4.so()(64bit)
• libHSghc-boot-th-9.8.4-2286-ghc9.8.4.so()(64bit)
• libHSghc-prim-0.11.0-0834-ghc9.8.4.so()(64bit)
• libHSgitrev-1.3.1-1LGEK39DwvLDcudDZh4gCt-ghc9.8.4.so()(64bit)
• libHShashable-1.4.7.0-EXgORMMsfPuGP4TS82KHlL-ghc9.8.4.so()(64bit)
• libHShashtables-1.3.1-9u2mQIwtg5I1JYX4UNMPkD-ghc9.8.4.so()(64bit)
• libHSindexed-traversable-0.1.4-FLQoOnuQUDW3xoWvIjcTzn-ghc9.8.4.so()(64bit)
• libHSindexed-traversable-instances-0.1.2-2v4QSLghDnY4uerRaA8Adj-ghc9.8.4.so()(64bit)
• libHSinteger-logarithms-1.0.4-A2PJRX0qEILDlTR1Uyn7cN-ghc9.8.4.so()(64bit)
• libHSinvariant-0.6.4-DSlAgjGemoRDhGUuXwGRmE-ghc9.8.4.so()(64bit)
• libHSio-streams-1.5.2.2-Glf3VpAulSE3w3F9soNUAe-ghc9.8.4.so()(64bit)
• libHSkan-extensions-5.2.6-G3jRZJM6I14Fb9x8p0FxRS-ghc9.8.4.so()(64bit)
• libHSlens-5.3.4-Grw1hcJPcjVDvhOsnCz0RT-ghc9.8.4.so()(64bit)
• libHSlibBF-0.6.8-Qj9bao5gv5aBtf2YxHfQ-ghc9.8.4.so()(64bit)
• libHSmegaparsec-9.6.1-BHjhsInNueVDsDXc8HXPsn-ghc9.8.4.so()(64bit)
• libHSmtl-2.3.1-530a-ghc9.8.4.so()(64bit)
• libHSnetwork-3.2.7.0-3lBxzyGmjqm2ZpHhmmlwEG-ghc9.8.4.so()(64bit)
• libHSold-locale-1.0.0.7-ABIm6J7XJNH8UlEZPLP1sI-ghc9.8.4.so()(64bit)
• libHSordered-containers-0.2.4-BW0OxjUBz9xEEfSIm0zjjO-ghc9.8.4.so()(64bit)
• libHSos-string-2.0.7-BqJOnlcKgwi4lkKE13PiDG-ghc9.8.4.so()(64bit)
• libHSpanic-0.4.0.1-36vZHCQZNXQ3XwD60ZKXnO-ghc9.8.4.so()(64bit)
• libHSparallel-3.2.2.0-8sSfvRtEO717rJIvZ3T1kP-ghc9.8.4.so()(64bit)
• libHSparameterized-utils-2.1.10.0-JXKEfTNhIJa5r4kZR41JwK-ghc9.8.4.so()(64bit)
• libHSparsec-3.1.17.0-e14c-ghc9.8.4.so()(64bit)
• libHSparser-combinators-1.3.0-9bPvv4ujJYS5EDI34QBoUR-ghc9.8.4.so()(64bit)
• libHSpretty-1.1.3.6-d1ee-ghc9.8.4.so()(64bit)
• libHSprettyprinter-1.7.1-3QjdSd6qFOcFvq52CAIsVB-ghc9.8.4.so()(64bit)
• libHSprimitive-0.9.0.0-APddjY7gJ9SIcVd1R2scGs-ghc9.8.4.so()(64bit)
• libHSprocess-1.6.25.0-c567-ghc9.8.4.so()(64bit)
• libHSprofunctors-5.6.2-8OSOI0L8eMNHQAnib1rUQz-ghc9.8.4.so()(64bit)
• libHSrandom-1.2.1.3-7jCcalZL5ltIDYuBxXIlfr-ghc9.8.4.so()(64bit)
• libHSreflection-2.1.9-D1sVSVGARR36IQQeCQMwaK-ghc9.8.4.so()(64bit)
• libHSs-cargot-0.1.6.0-9QRv7onb5Vq8j4yACqkp5J-ghc9.8.4.so()(64bit)
• libHSsafe-exceptions-0.1.7.4-FFeMUpXoBuK60ghdBhyp7m-ghc9.8.4.so()(64bit)
• libHSscientific-0.3.8.0-CdhRzFZouRsDYIKCyiivLL-ghc9.8.4.so()(64bit)
• libHSsemigroupoids-6.0.1-J9wN9kII8OCqiTvvpTAE4-ghc9.8.4.so()(64bit)
• libHSsemigroups-0.20-FZrvxUS2nh75WBVvdRe5uV-ghc9.8.4.so()(64bit)
• libHSsplitmix-0.1.1-41mqBUo3BeCFhUvFZ3rchp-ghc9.8.4.so()(64bit)
• libHSstm-2.5.3.1-fabd-ghc9.8.4.so()(64bit)
• libHSstrict-0.5.1-6ggU4WSM9JzGuF0Penalzt-ghc9.8.4.so()(64bit)
• libHStagged-0.8.8-6sa7CCU08YAIM6c6vVpNVE-ghc9.8.4.so()(64bit)
• libHStemplate-haskell-2.21.0.0-e252-ghc9.8.4.so()(64bit)
• libHStemporary-1.3-GqBdzf1KhkE9Ygk6ePWxvD-ghc9.8.4.so()(64bit)
• libHStext-2.1.1-907f-ghc9.8.4.so()(64bit)
• libHSth-abstraction-0.7.1.0-DkqeggOZSY01V0tgOozaMK-ghc9.8.4.so()(64bit)
• libHSth-lift-0.8.6-3Bt7EUrxdro9pui36ZO2up-ghc9.8.4.so()(64bit)
• libHSth-lift-instances-0.1.20-FoyNWpdWimFCPff5WmGk0y-ghc9.8.4.so()(64bit)
• libHSthese-1.2.1-8fSCdIhY63ZIdeJLDfBqrH-ghc9.8.4.so()(64bit)
• libHStime-1.12.2-4d78-ghc9.8.4.so()(64bit)
• libHStransformers-0.6.1.0-20df-ghc9.8.4.so()(64bit)
• libHStransformers-base-0.4.6-AsQzJTdY4m482AG0scecJc-ghc9.8.4.so()(64bit)
• libHStransformers-compat-0.7.2-IZ6a2Wcjosp26vinXmwaE-ghc9.8.4.so()(64bit)
• libHSunbounded-delays-0.1.1.1-F1KxzMlRv8KClTVGnrX2vW-ghc9.8.4.so()(64bit)
• libHSunix-2.8.6.0-6317-ghc9.8.4.so()(64bit)
• libHSunliftio-0.2.25.1-G0XR8nm5U1V2rBoQ6IxLYN-ghc9.8.4.so()(64bit)
• libHSunliftio-core-0.2.1.0-EgDD2nfy4YR45CnlrPosCd-ghc9.8.4.so()(64bit)
• libHSunordered-containers-0.2.20-C4EE9lk9ZwMEnc88gMafwJ-ghc9.8.4.so()(64bit)
• libHSutf8-string-1.0.2-2vttzOdDSi51TwzbFtLqB-ghc9.8.4.so()(64bit)
• libHSvector-0.13.2.0-5BOXOCXOUfNJHnPoTUKf4d-ghc9.8.4.so()(64bit)
• libHSvector-stream-0.1.0.1-B0HJuCXc4ic5BEFAD6wIEX-ghc9.8.4.so()(64bit)
• libHSversions-6.0.8-7sNd6Bm5Zmk4Qx7WU66rG8-ghc9.8.4.so()(64bit)
• libHSvoid-0.7.3-EF6T8BLgDRQ3C13ZUFfhQO-ghc9.8.4.so()(64bit)
• libHSwhat4-1.6.3-JNdiA98petK62oKyxXcgnA-ghc9.8.4.so()(64bit)
• libHSxml-1.3.14-LW4lJpXRBfzIB0ppBIMQrZ-ghc9.8.4.so()(64bit)
• libHSzenc-0.1.2-GAfsBbnvw3B5qqwYGNbunV-ghc9.8.4.so()(64bit)
• libHSzlib-0.7.1.0-Gg2WoSD3jVYBLhzhamDrCh-ghc9.8.4.so()(64bit)
• libHSzlib-bindings-0.1.1.5-FN7pnuPGrMD6MyLtsCmDZ-ghc9.8.4.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

* Sun Mar 30 2025 Jens Petersen <petersen@redhat.com> - 4.1-1
  - https://hackage.haskell.org/package/copilot-theorem-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
* Mon Sep 02 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-theorem-4.1-1XML3gflwkn5jo90Duvsfp-ghc9.8.4.so
/usr/share/licenses/ghc-copilot-theorem
/usr/share/licenses/ghc-copilot-theorem/LICENSE

Generated by rpm2html 1.8.1

Fabrice Bellet, Sat Apr 26 02:19:03 2025