ghc-copilot-theorem-3.19.1-2.fc42 RPM for x86_64

From Fedora Rawhide for x86_64 / 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(x86-64)
• libHScopilot-theorem-3.19.1-5xBVUx8ZMum8TmUpbPsRA6-ghc9.6.6.so()(64bit)

Requires

• libHSBoundedChan-1.0.3.0-KC4GwTTdtFBGyIaMAN8c52-ghc9.6.6.so()(64bit)
• libHSOneTuple-0.4.2-7od06fXUUXRBNk1V3VY0g5-ghc9.6.6.so()(64bit)
• libHSStateVar-1.2.2-A6sCENWC9xLH02ziP9IDyb-ghc9.6.6.so()(64bit)
• libHSadjunctions-4.4.2-DR6oqnMdCoxBqhdDFvlmdF-ghc9.6.6.so()(64bit)
• libHSarray-0.5.6.0-ghc9.6.6.so()(64bit)
• libHSassoc-1.1.1-LimEe8pF5RrAGc6oZe3mfa-ghc9.6.6.so()(64bit)
• libHSasync-2.2.5-GMWeTaoaded4Wz7DAkFLAR-ghc9.6.6.so()(64bit)
• libHSattoparsec-0.14.4-GAKm7J8Gleq2k06HFjeIeY-attoparsec-internal-ghc9.6.6.so()(64bit)
• libHSattoparsec-0.14.4-GMRn5HuvZQNAmR4tMlBF9B-ghc9.6.6.so()(64bit)
• libHSbase-4.18.2.1-ghc9.6.6.so()(64bit)
• libHSbase-compat-0.13.1-Dtt5em6saazHWsbVLVBeTy-ghc9.6.6.so()(64bit)
• libHSbase-orphans-0.9.2-5KrayDGKJf32IfEBx9TBiS-ghc9.6.6.so()(64bit)
• libHSbifunctors-5.6.2-12p6wi2wnzhJ5Ko2JvLlVw-ghc9.6.6.so()(64bit)
• libHSbimap-0.5.0-7xXK3bsJVmhBL74wTtka32-ghc9.6.6.so()(64bit)
• libHSbinary-0.8.9.1-ghc9.6.6.so()(64bit)
• libHSbitwise-1.0.0.1-2DxYIjAuiDa30WWLo8XlFV-ghc9.6.6.so()(64bit)
• libHSboring-0.2.2-I0tBY1I8sYa9lVAnLMQgBW-ghc9.6.6.so()(64bit)
• libHSbv-sized-1.0.5-CcOtVpvEiNF8sUw6uEB68C-ghc9.6.6.so()(64bit)
• libHSbytestring-0.11.5.3-ghc9.6.6.so()(64bit)
• libHScall-stack-0.4.0-GZ3nSiFdomD3K5ojbP90a6-ghc9.6.6.so()(64bit)
• libHScase-insensitive-1.2.1.0-Ig8WgaPQ5k4KQd4WU8lDCy-ghc9.6.6.so()(64bit)
• libHScomonad-5.0.8-6z2oFUa3fJi9bdDseQ1IV-ghc9.6.6.so()(64bit)
• libHSconcurrent-extra-0.7.0.12-D9YuD3SuJvlCaumJhgsBnR-ghc9.6.6.so()(64bit)
• libHSconfig-value-0.8.3-IWIlPmbx9u07ZPnTUBDeDU-ghc9.6.6.so()(64bit)
• libHSconstraints-0.14.2-DBQLI6vI2UvA6qVcpEpOKN-ghc9.6.6.so()(64bit)
• libHScontainers-0.6.7-ghc9.6.6.so()(64bit)
• libHScontravariant-1.5.5-A7lal0hcJpG2Mk9fe5J59Z-ghc9.6.6.so()(64bit)
• libHScopilot-core-3.19.1-AoQQLKf9axCFpdbpRVfXEn-ghc9.6.6.so()(64bit)
• libHScopilot-prettyprinter-3.19.1-DnnVrq9R0C943HhJjKPk0l-ghc9.6.6.so()(64bit)
• libHSdata-default-0.7.1.1-DpysxdNbXrFKlCHYRosISy-ghc9.6.6.so()(64bit)
• libHSdata-default-class-0.1.2.0-BWLo43avd8G7UXQOJgP1zg-ghc9.6.6.so()(64bit)
• libHSdata-default-instances-containers-0.0.1-9HmbPVDc5Un8FuaFvPP8ST-ghc9.6.6.so()(64bit)
• libHSdata-default-instances-dlist-0.0.1-2gkcIfRFInIErMeAmVsrRr-ghc9.6.6.so()(64bit)
• libHSdata-default-instances-old-locale-0.0.1-1sjcAq4dNEj38cCTGW1HGJ-ghc9.6.6.so()(64bit)
• libHSdeepseq-1.4.8.1-ghc9.6.6.so()(64bit)
• libHSderiving-compat-0.6.6-BZAse9X3FgdCgeRopZUN4f-ghc9.6.6.so()(64bit)
• libHSdirectory-1.3.8.5-ghc9.6.6.so()(64bit)
• libHSdistributive-0.6.2.1-Ak4SWutYoMcKj7F268v0Mi-ghc9.6.6.so()(64bit)
• libHSdlist-1.0-7vDlnn0Hdvg35SyXLwMaWr-ghc9.6.6.so()(64bit)
• libHSexceptions-0.10.7-ghc9.6.6.so()(64bit)
• libHSfilepath-1.4.300.1-ghc9.6.6.so()(64bit)
• libHSfingertree-0.1.5.0-Giwitp12LPIDULoEcsvbRk-ghc9.6.6.so()(64bit)
• libHSfree-5.2-2rCe6bpLJWpA9b9i5VsVod-ghc9.6.6.so()(64bit)
• libHSghc-bignum-1.3-ghc9.6.6.so()(64bit)
• libHSghc-boot-th-9.6.6-ghc9.6.6.so()(64bit)
• libHSghc-prim-0.10.0-ghc9.6.6.so()(64bit)
• libHSgitrev-1.3.1-Hgj6OsBlk7sBP78WE2r3Dn-ghc9.6.6.so()(64bit)
• libHShashable-1.4.4.0-G2ZOstJIf88CQkCQLrODQe-ghc9.6.6.so()(64bit)
• libHShashtables-1.3.1-NKxkWBizXBD6lggB7bbdl-ghc9.6.6.so()(64bit)
• libHSindexed-traversable-0.1.4-8j5HZpShpE5BqFup9Ojenr-ghc9.6.6.so()(64bit)
• libHSindexed-traversable-instances-0.1.2-2oqxTHiGyOuJR1BsLvzrk8-ghc9.6.6.so()(64bit)
• libHSinteger-logarithms-1.0.3.1-6uUFCUhH0MHDrcFfWqxKEn-ghc9.6.6.so()(64bit)
• libHSinvariant-0.6.3-GBIUprIJTjq1eiKXRa81Vd-ghc9.6.6.so()(64bit)
• libHSio-streams-1.5.2.2-6r6D7qySpqbGI5nO0QZw1P-ghc9.6.6.so()(64bit)
• libHSkan-extensions-5.2.6-BIgSDonUxaHBZj7VHsk6vd-ghc9.6.6.so()(64bit)
• libHSlens-5.2.3-FNehLn69AsbHuDfy3Kg0ht-ghc9.6.6.so()(64bit)
• libHSlibBF-0.6.8-G2lhyPLJSyWBXF1H3oxoCv-ghc9.6.6.so()(64bit)
• libHSmegaparsec-9.5.0-81q7R26puLL6FUAd1155SX-ghc9.6.6.so()(64bit)
• libHSmtl-2.3.1-ghc9.6.6.so()(64bit)
• libHSnetwork-3.1.4.0-I6jFfdQwj0Q5FZzAobit5e-ghc9.6.6.so()(64bit)
• libHSold-locale-1.0.0.7-Gunit3UBy5P9OGDVFY5MhC-ghc9.6.6.so()(64bit)
• libHSordered-containers-0.2.4-8q6tOEUItdz71CjmZZ7kh5-ghc9.6.6.so()(64bit)
• libHSos-string-2.0.6-IlBa2UQjH7mL18YjMu1jzE-ghc9.6.6.so()(64bit)
• libHSpanic-0.4.0.1-8m6CSS5w8at3aBKorC5EVe-ghc9.6.6.so()(64bit)
• libHSparallel-3.2.2.0-4GFGhbl8Ae06nPoqdIyBUD-ghc9.6.6.so()(64bit)
• libHSparameterized-utils-2.1.8.0-6jKi0M8WjA69t0Fa6lRLnl-ghc9.6.6.so()(64bit)
• libHSparsec-3.1.16.1-ghc9.6.6.so()(64bit)
• libHSparser-combinators-1.3.0-7dECKLyoqfd8EW2UfNTkZ3-ghc9.6.6.so()(64bit)
• libHSpretty-1.1.3.6-ghc9.6.6.so()(64bit)
• libHSprettyprinter-1.7.1-CDxAO72IL6lFavjzsDUSDp-ghc9.6.6.so()(64bit)
• libHSprimitive-0.8.0.0-G7z1XrhwN0bFkYsIqIr1QU-ghc9.6.6.so()(64bit)
• libHSprocess-1.6.19.0-ghc9.6.6.so()(64bit)
• libHSprofunctors-5.6.2-Ex6a4raT7NS3ARkdIavGdg-ghc9.6.6.so()(64bit)
• libHSrandom-1.2.1.2-9nSipNyPzIK3OtGny4BWjI-ghc9.6.6.so()(64bit)
• libHSreflection-2.1.8-DukIK09Udl4IELGyn4qsSv-ghc9.6.6.so()(64bit)
• libHSs-cargot-0.1.6.0-AJ9P71NUngVAyhLNeQCXN2-ghc9.6.6.so()(64bit)
• libHSsafe-exceptions-0.1.7.4-G1fs5SY5i1W7EEbU0Su8pW-ghc9.6.6.so()(64bit)
• libHSscientific-0.3.7.0-2UwdviWB0CH1nqOoguwg4m-ghc9.6.6.so()(64bit)
• libHSsemigroupoids-6.0.1-32bnlDo08uWKppaK8Ib2rA-ghc9.6.6.so()(64bit)
• libHSsemigroups-0.20-FifEs3zbUBKDT9bErGELTt-ghc9.6.6.so()(64bit)
• libHSsplitmix-0.1.0.5-1g4Y67JB8lK4ODDsw0vzN6-ghc9.6.6.so()(64bit)
• libHSstm-2.5.1.0-ghc9.6.6.so()(64bit)
• libHSstrict-0.5-2Ih5J4boI0o4YQYnrtRDYI-ghc9.6.6.so()(64bit)
• libHStagged-0.8.8-Kzng2lnKElzJiyKd9g735c-ghc9.6.6.so()(64bit)
• libHStemplate-haskell-2.20.0.0-ghc9.6.6.so()(64bit)
• libHStemporary-1.3-LMyaaf7YeRfLDOLTsEMncs-ghc9.6.6.so()(64bit)
• libHStext-2.0.2-ghc9.6.6.so()(64bit)
• libHSth-abstraction-0.5.0.0-HAFjiAO2nGN58SdxVZCnLH-ghc9.6.6.so()(64bit)
• libHSth-lift-0.8.4-1nDn5GaGtOI9q63njtRfou-ghc9.6.6.so()(64bit)
• libHSth-lift-instances-0.1.20-267kS75CPlFAUdpPe9wWwB-ghc9.6.6.so()(64bit)
• libHSthese-1.2.1-Lmhp9aSRg20H3DMUOaCHTJ-ghc9.6.6.so()(64bit)
• libHStime-1.12.2-ghc9.6.6.so()(64bit)
• libHStransformers-0.6.1.0-ghc9.6.6.so()(64bit)
• libHStransformers-base-0.4.6-AFroRD7LLlU6BPVd6EHPcA-ghc9.6.6.so()(64bit)
• libHStransformers-compat-0.7.2-LmnlcpbfHuuAOWEWPuyobH-ghc9.6.6.so()(64bit)
• libHSunbounded-delays-0.1.1.1-HsgcuRTUZLCDZTX0AINS0o-ghc9.6.6.so()(64bit)
• libHSunix-2.8.4.0-ghc9.6.6.so()(64bit)
• libHSunliftio-0.2.25.0-HtwgMuIDrh016F2b6JZvmk-ghc9.6.6.so()(64bit)
• libHSunliftio-core-0.2.1.0-6sOpIonHj8t5wIbPhWbPHY-ghc9.6.6.so()(64bit)
• libHSunordered-containers-0.2.20-EuYFGw8XOtG6Qjyq0KzKlk-ghc9.6.6.so()(64bit)
• libHSutf8-string-1.0.2-JbA27QG8axS8Qz2DLqBtSE-ghc9.6.6.so()(64bit)
• libHSvector-0.13.1.0-Jdel1KiNlSEIXGg2MpN3IL-ghc9.6.6.so()(64bit)
• libHSvector-stream-0.1.0.1-B3eeou3yuYd7g2aD4u5s22-ghc9.6.6.so()(64bit)
• libHSversions-6.0.7-7Sd4BmrKpeaEiEyrWMxlNn-ghc9.6.6.so()(64bit)
• libHSvoid-0.7.3-G4YN601gfJi8uMn6vxUCAZ-ghc9.6.6.so()(64bit)
• libHSwhat4-1.5.1-1yqxCkdqCTABIoRcsgiohr-ghc9.6.6.so()(64bit)
• libHSxml-1.3.14-3CsuYrgQlhu1X5fBOwcswt-ghc9.6.6.so()(64bit)
• libHSzenc-0.1.2-BNjDLBKiUVIJGU0oVtqYES-ghc9.6.6.so()(64bit)
• libHSzlib-0.6.3.0-1wL1ZnD0mNDIbG0f7fYWIS-ghc9.6.6.so()(64bit)
• libHSzlib-bindings-0.1.1.5-wtxm7T9ybl4c1shHXeSn1-ghc9.6.6.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

* 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/f3
/usr/lib/.build-id/f3/23e50628dc943295e4813d1529bde25c02fbd0
/usr/lib64/ghc-9.6.6/lib/libHScopilot-theorem-3.19.1-5xBVUx8ZMum8TmUpbPsRA6-ghc9.6.6.so
/usr/share/licenses/ghc-copilot-theorem
/usr/share/licenses/ghc-copilot-theorem/LICENSE

Generated by rpm2html 1.8.1

Fabrice Bellet, Fri Nov 1 01:25:25 2024